iterating3...

.travis.yml

@@ -10,7 +10,7 @@ before_install:
   - cd ..
 install:
   # If env is not provided by the cache, build it.
-  - ( cd warp-v/warpv_formal && if [ ! -e env ]; then ./make_env.sh; fi )
+  - ( cd warp-v/warpv_formal && if [[ ! -e env/PASSED ]]; then ./make_env.sh; fi )
   # Clone riscv-formal.
   - ( git clone https://github.com/cliffordwolf/riscv-formal.git && cd riscv-formal && git checkout 51076e93d70648cf813ef00d7e4cd93b94ea55f5 )
 

warpv_formal/make_env.sh

@@ -5,7 +5,7 @@
 # installed in an 'env' directory also within the current working directory. Each tool is built
 # in its own directory within 'env_build'. If this directory already exists, the tool will not
 # be built. Each tool is built sequentially even if preceding builds failed. Passing tools will
-# touch a "PASSED" file in their directory.
+# touch a "PASSED" file in their directory, and the entire script will touch "PASSED" in /env.
 
 die() { echo "$*" 1>&2 ; exit 1; }
 skip() { true; }  # Use this to skip a command.
@@ -107,12 +107,16 @@ if [ $? -eq 1 ]; then
 fi
 
 cd "$BUILD_DIR"
-if [[ $STATUS[yosys] || $STATUS[SymbiYosys] || $STATUS[boolector] ]]; then
+if (( $STATUS[yosys] || $STATUS[SymbiYosys] || $STATUS[boolector] )); then
   echo && \
   echo "*********************" && \
   echo "Some build(s) FAILED." && \
   echo "*********************" && \
   echo "($STATUS[yosys], $STATUS[SymbiYosys], $STATUS[boolector])"
   echo `ls */PASSED` && \
   echo
+  touch ../env/PASSED
+  exit 1
+else
+  exit 0
 fi