Skip to content

Commit 9124cdf

Browse files
garesrtetley
authored andcommitted
add vscoq language server
1 parent b5f217c commit 9124cdf

File tree

2 files changed

+8
-0
lines changed

2 files changed

+8
-0
lines changed

linux/snap/snapcraft.yaml.in

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -94,6 +94,10 @@ apps:
9494
plugs: [home,network-bind]
9595
command-chain: [ coq-platform/bin/coq_wrapper ]
9696
command: coq-platform/bin/coqidetop.opt
97+
vscoqtop:
98+
plugs: [home,network-bind]
99+
command-chain: [ coq-platform/bin/coq_wrapper ]
100+
command: coq-platform/bin/vscoqtop
97101
coqdep:
98102
plugs: [home]
99103
command-chain: [ coq-platform/bin/coq_wrapper ]

package_picks/package-pick-dev.sh

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -186,4 +186,8 @@ then
186186
# Bedrock2, fiat crypto, ...
187187
PACKAGES="${PACKAGES} coq-coqutil.dev"
188188
# PACKAGES="${PACKAGES} coq-bedrock2.dev" # Error: "sed: illegal option -- z"
189+
190+
# VSCoq
191+
PACKAGES="${PACKAGES} vscoq-language-server.dev"
192+
189193
fi

0 commit comments

Comments
 (0)