add vscoq language server

coq · Jun 17, 2023 · de8f2c7 · de8f2c7
1 parent 83ffdf7
commit de8f2c7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/linux/snap/snapcraft.yaml.in b/linux/snap/snapcraft.yaml.in
@@ -93,6 +93,10 @@ apps:
     plugs: [home,network-bind]
     command-chain: [ coq-platform/bin/coq_wrapper ]
     command: coq-platform/bin/coqidetop.opt
+  vscoqtop:
+    plugs: [home,network-bind]
+    command-chain: [ coq-platform/bin/coq_wrapper ]
+    command: coq-platform/bin/vscoqtop
   coqdep:
     plugs: [home]
     command-chain: [ coq-platform/bin/coq_wrapper ]

diff --git a/package_picks/package-pick-dev.sh b/package_picks/package-pick-dev.sh
@@ -186,4 +186,8 @@ then
   # Bedrock2, fiat crypto, ...
   PACKAGES="${PACKAGES} coq-coqutil.dev"
   # PACKAGES="${PACKAGES} coq-bedrock2.dev"                   # Error: "sed: illegal option -- z"
+
+  # VSCoq
+  PACKAGES="${PACKAGES} vscoq-language-server.dev"
+
 fi