devcontainer config

coq-community · Jan 5, 2024 · 49eb9ce · 49eb9ce
1 parent 31c5a7b
commit 49eb9ce
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 6 deletions.
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -0,0 +1,6 @@
+FROM coqorg/coq:8.17.1
+RUN eval $(opam env "--switch=${COMPILER}" --set-switch)
+RUN opam update -y
+RUN opam install -y coq-lsp
+RUN git clone -b strat --depth 1 https://github.com/ecranceMERCE/coq-elpi
+RUN opam install -y ./coq-elpi
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,10 @@
+{
+    "name": "Trocq",
+    "image": "cohencyril/trocq-deps",
+    "postAttachCommand": "make -j8 -k",
+    "customizations": {
+        "vscode": {
+            "extensions": ["ejgallego.coq-lsp", "gares.elpi-lang", "gares.coq-elpi-lang"],
+        }
+    }
+}
diff --git a/Dockerfile b/Dockerfile