From cd7850f85703005a10c38614132142419c9a05b2 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <2n8rn1w1f@mozmail.com>
Date: Sun, 14 Jan 2024 10:45:52 -0500
Subject: [PATCH] Install TLAUC in gitpod & codespaces

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
---
 .devcontainer/install.sh | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.devcontainer/install.sh b/.devcontainer/install.sh
index b1b70b10..0cccca5d 100644
--- 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
\ No newline at end of file
+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
+