Build CommunityModules before installing TLAPS and Apalache.

[IDE]

Author: lemmy

.devcontainer/install.sh

@@ -12,6 +12,12 @@ wget -qN https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.j
 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 Apache Ant that builds CommunityModules (see build.xml)
+sudo apt-get install -y ant
+
+## Do initial build
+ant -d -f build.xml
+
 ## 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
@@ -24,9 +30,3 @@ 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 -d -f build.xml