From 13547ac967a2badc4a230d20012448713527124e Mon Sep 17 00:00:00 2001
From: Nicole Tietz-Sokolskaya <me@ntietz.com>
Date: Sat, 11 Sep 2021 21:27:50 -0400
Subject: [PATCH] Bootstrap tla tooling

---
 bootstrap.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/bootstrap.sh b/bootstrap.sh
index 2582492..0b1b33f 100644
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -25,5 +25,13 @@ if ! [ -a config ]; then
     cd config
 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