Bootstrap tla tooling

This commit is contained in:
Nicole Tietz-Sokolskaya 2021-09-11 21:27:50 -04:00
parent 524b1cbcad
commit 13547ac967

View file

@ -25,5 +25,13 @@ if ! [ -a config ]; then
cd config cd config
fi fi
mkdir -p ~/Code/vendor
cd ~/Code/vendor
if ! [ -a tla-bin ]; then
git clone https://github.com/pmer/tla-bin.git
fi
cd tla-bin
./download_or_update_tla.sh
sudo ./install.sh /usr/local