Add Github Codespaces configuration.

[Build]

Author: lemmy

.devcontainer/devcontainer.json

@@ -0,0 +1,22 @@
+{
+    "name": "TLA+ CommunityModules",
+  
+    // Install optional extension. If this fails, it just degrades the convenience factor.
+    "extensions": [
+      "alygin.vscode-tlaplus-nightly",
+      "mhutchie.git-graph",
+      "vscjava.vscode-java-pack"
+    ],
+  
+    // - Do not automatically update extensions (E.g. better-code ext is patched for TLA+)
+    // - Use Java GC that works best with TLC.
+    // - https://github.com/alygin/vscode-tlaplus/wiki/Automatic-Module-Parsing
+    "settings": {
+      "tlaplus.tlc.statisticsSharing": "share",
+      "tlaplus.java.options": "-XX:+UseParallelGC",
+      "tlaplus.java.home": "/home/codespace/.java/current/",
+      "[tlaplus]": {"editor.codeActionsOnSave": {"source": true} }
+      },
+  
+    "postCreateCommand": "bash -i .devcontainer/install.sh",
+  }

.devcontainer/install.sh

@@ -0,0 +1,32 @@
+#!/bin/bash -i
+
+## Place to install TLC, TLAPS, Apalache, ...
+mkdir -p tools
+
+## PATH below has two locations because of inconsistencies between Gitpod and Codespaces.
+## Gitpod:     /workspace/...
+## Codespaces: /workspaces/...
+
+## Install TLA+ Tools (download from github instead of nightly.tlapl.us (inria) to only rely on github)
+wget -qN https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar -P tools/
+echo "alias tlcrepl='java -cp /workspace/ewd998/tools/tla2tools.jar:/workspaces/ewd998/tools/tla2tools.jar tlc2.REPL'" >> $HOME/.bashrc
+echo "alias tlc='java -cp /workspace/ewd998/tools/tla2tools.jar:/workspaces/ewd998/tools/tla2tools.jar tlc2.TLC'" >> $HOME/.bashrc
+
+## Install TLAPS (proof system)
+wget -N https://github.com/tlaplus/tlapm/releases/download/v1.4.5/tlaps-1.4.5-x86_64-linux-gnu-inst.bin -P /tmp
+chmod +x /tmp/tlaps-1.4.5-x86_64-linux-gnu-inst.bin
+/tmp/tlaps-1.4.5-x86_64-linux-gnu-inst.bin -d tools/tlaps
+echo 'export PATH=$PATH:/workspace/ewd998/tools/tlaps/bin:/workspaces/ewd998/tools/tlaps/bin' >> $HOME/.bashrc
+
+## Install Apalache
+wget -qN https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -P /tmp
+mkdir -p tools/apalache
+tar xvfz /tmp/apalache.tgz --directory tools/apalache/
+echo 'export PATH=$PATH:/workspace/ewd998/tools/apalache/bin:/workspaces/ewd998/tools/apalache/bin' >> $HOME/.bashrc
+tools/apalache/bin/apalache-mc config --enable-stats=true
+
+## Install Apache Ant that builds CommunityModules (see build.xml)
+sudo apt-get install -y ant
+
+## Do initial build
+ant -f build.xml