Merge pull request #104 from ahelwer/devcontainer-tlauc

Install TLAUC in gitpod & codespaces
tlaplus · Jan 18, 2024 · a46ca79 · a46ca79
2 parents ab9049a + cd7850f
commit a46ca79
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/.devcontainer/install.sh b/.devcontainer/install.sh
@@ -40,6 +40,13 @@ echo 'export PATH=$PATH:/workspace/Examples/tools/tlaps/bin:/workspaces/Examples
 ## Install Apalache
 wget -qN https://github.com/informalsystems/apalache/releases/latest/download/apalache.tgz -P /tmp
 mkdir -p tools/
-tar xvfz /tmp/apalache.tgz --directory tools/
+tar -xvfz /tmp/apalache.tgz --directory tools/
 echo 'export PATH=$PATH:/workspace/Examples/tools/apalache/bin:/workspaces/Examples/tools/apalache/bin' >> $HOME/.bashrc
-tools/apalache/bin/apalache-mc config --enable-stats=true
+tools/apalache/bin/apalache-mc config --enable-stats=true
+
+## Install TLAUC
+wget -qN https://github.com/tlaplus-community/tlauc/releases/latest/download/tlauc-linux.tar.gz -P /tmp
+mkdir -p tools/tlauc
+tar -xvfz /tmp/tlauc-linux.tar.gz --directory tools/tlauc/
+echo 'export PATH=$PATH:/workspace/Examples/tools/tlauc:/workspaces/Examples/tools/tlauc' >> $HOME/.bashrc
+