Merge pull request #2061 from GaloisInc/2060-build-crux-mir-comp

Build crux-mir-comp by default in build.sh.
GaloisInc · Jul 3, 2024 · 45d64dd · 45d64dd
2 parents b61a0c2 + aa0ed80
commit 45d64dd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -5,12 +5,16 @@ function install() {
   cp $(find dist-newstyle -type f -name $1 | sort -g | tail -1) bin/
 }
 
-cabal build exe:cryptol exe:saw exe:saw-remote-api
+cabal build exe:cryptol exe:saw exe:saw-remote-api \
+            exe:crux-mir-comp exe:extcore-info exe:verif-viewer
 
 rm -rf bin && mkdir bin
 install cryptol
 install saw
 install saw-remote-api
+install crux-mir-comp
+install extcore-info
+install verif-viewer
 
 echo
 echo "COPIED EXECUTABLES TO `pwd`/bin."