Added a Dockerfile and spec for a VSCode dev container for CN. (#56)

Author: aschwerdfeger-galois

.devcontainer/devcontainer.json

@@ -0,0 +1,22 @@
+{
+	"name": "CN Development",
+	"image": "ghcr.io/rems-project/cn:release-devcontainer",
+	// Uncomment to build the dev container locally.
+	//	"build": {
+	//		"dockerfile": "../Dockerfile.devcontainer"
+	//	},
+	"features": {},
+	"postCreateCommand": "",
+	"customizations": {
+		"vscode": {
+			"extensions": [
+				"ms-vscode.cpptools",
+				"ms-vscode.cpptools-themes",
+				"ms-vscode.cmake-tools",
+				"ocamllabs.ocaml-platform",
+				"ms-vscode.cpptools-extension-pack",
+				"xaver.clang-format"
+			]
+		}
+	}
+}

.github/workflows/docker.yml

@@ -26,7 +26,7 @@ jobs:
 
     strategy:
       matrix:
-        os: [ubuntu, redhat]
+        os: [ubuntu, redhat, devcontainer]
         runner: [latest, 24.04-arm]
 
     runs-on: ubuntu-${{ matrix.runner }}
@@ -62,7 +62,7 @@ jobs:
 
     strategy:
       matrix:
-        os: [ubuntu, redhat]
+        os: [ubuntu, redhat, devcontainer]
     runs-on: ubuntu-latest
     needs: [build-and-release]
 
@@ -91,7 +91,7 @@ jobs:
 
     strategy:
       matrix:
-        os: [ubuntu, redhat]
+        os: [ubuntu, redhat, devcontainer]
     runs-on: ubuntu-latest
     needs: [combine-multiplatform]
 
@@ -101,4 +101,4 @@ jobs:
     - name: Run CI tests
       run: |
         docker pull ${{env.CN_IMAGE_ID}}:release-${{ matrix.os }}
-        docker run -v $PWD:/work -w /work ${{env.CN_IMAGE_ID}}:release-${{ matrix.os }} bash tests/run-cn.sh
+        docker run -v $PWD:/work -w /work ${{env.CN_IMAGE_ID}}:release-${{ matrix.os }} bash tests/run-cn.sh

Dockerfile.devcontainer

@@ -0,0 +1,32 @@
+# Build an image suitable for use as a VSCode dev container for CN development.
+FROM ubuntu:24.04
+
+# Install system packages
+RUN apt-get update
+RUN apt-get upgrade -y
+RUN apt-get install -y opam libgmp-dev libmpfr-dev software-properties-common
+RUN wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add -
+RUN add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble-19 main"
+RUN add-apt-repository "deb-src http://apt.llvm.org/noble/ llvm-toolchain-noble-19 main"
+RUN apt-get update
+RUN apt-get install -y clang-format-19
+RUN ln -s /usr/bin/clang-format-19 /usr/bin/clang-format
+
+ENV OPAMCONFIRMLEVEL=unsafe-yes
+RUN opam init --disable-sandboxing
+
+ADD . /opt/cerberus
+WORKDIR /opt/cerberus
+RUN opam install --deps-only ./cn.opam
+RUN opam install z3
+RUN opam install ocaml-lsp-server ocamlformat
+
+RUN eval `opam env`
+
+WORKDIR /opt
+
+COPY docker_entry_point.sh /opt/docker_entry_point.sh
+RUN chmod +x /opt/docker_entry_point.sh
+RUN echo "source /opt/docker_entry_point.sh" >> /root/.bashrc
+WORKDIR /data
+ENTRYPOINT ["/opt/docker_entry_point.sh"]