Merge pull request #2282 from GaloisInc/build-sh-targets

build.sh: Move to a model where build.sh takes an optional target arg

Author: sauclovian-g

build.sh

@@ -1,25 +1,74 @@
 #!/bin/sh
 # build.sh: build SAW
-# usage: ./build.sh
+# usage: ./build.sh [target]
+#
+# Valid targets are:
+#    build (the default)
+#    submodules (included in build, at least for now)
+#    clean
+
 set -e
 
-git submodule update --init
+##############################
+# submodules
+
+tgt_submodules() {
+    echo "git submodule update --init"
+    git submodule update --init
+}
+
+##############################
+# build
 
 install() {
   PROG=$(cabal list-bin -v0 exe:$1)
+  echo "cp $PROG bin/"
   cp $PROG bin/
 }
 
-cabal build exe:cryptol exe:saw exe:saw-remote-api \
-            exe:crux-mir-comp exe:extcore-info exe:verif-viewer
+tgt_build() {
+    tgt_submodules
+
+    echo "cabal build ..."
+    cabal build exe:cryptol exe:saw exe:saw-remote-api \
+                exe:crux-mir-comp exe:extcore-info exe:verif-viewer
+
+    echo "rm -rf bin && mkdir bin"
+    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."
+}
+
+##############################
+# clean
+
+tgt_clean() {
+    echo "cabal clean"
+    cabal clean
+    if [ -d bin ]; then
+        echo "rm -rf bin"
+        rm -rf bin
+    fi
+}
 
-rm -rf bin && mkdir bin
-install cryptol
-install saw
-install saw-remote-api
-install crux-mir-comp
-install extcore-info
-install verif-viewer
+##############################
+# top level
 
-echo
-echo "COPIED EXECUTABLES TO `pwd`/bin."
+case "X$1" in
+    Xsubmodules) tgt_submodules;;
+    X|Xbuild) tgt_build;;
+    Xclean) tgt_clean;;
+    *)
+        echo "$0: Don't know how to build $1" 1>&2
+        exit 1
+        ;;
+esac
+exit 0