diff --git a/build-all.sh b/build-all.sh index ae9a92020207bae31f2a1aa05946505ae8cc6a6d..e865ea5644006e6644eb6e6685d7b49ce7f77082 100755 --- a/build-all.sh +++ b/build-all.sh @@ -61,3 +61,5 @@ cd $SECURITY_TRANSFORMS_HOME cd $PEASOUP_HOME make +cd $ZIPR_HOME +make diff --git a/clean-all.sh b/clean-all.sh index 24cfd210bc001b4c55da385812e864096dca40fa..3df08d166816e04703247b259456ef9597ce63d7 100755 --- a/clean-all.sh +++ b/clean-all.sh @@ -42,3 +42,6 @@ fi cd $SECURITY_TRANSFORMS_HOME make clean +cd $ZIPR_HOME +make clean + diff --git a/set_env_vars b/set_env_vars index b3e2ca91d33b63ec3fd40f23c54d546cb0f634f2..1c15a00e5ec0871d0bd0f40d48708c57542ed44d 100644 --- a/set_env_vars +++ b/set_env_vars @@ -14,6 +14,7 @@ export STRATA=$PEASOUP_UMBRELLA_DIR/strata export STRATA_HOME=$STRATA export STRATA32=$PEASOUP_UMBRELLA_DIR/strata32 export STRATA_HOME32=$STRATA32 +export ZIPR_HOME=$PEASOUP_UMBRELLA_DIR/zipr export SECURITY_TRANSFORMS_HOME=$PEASOUP_UMBRELLA_DIR/security_transforms if [[ ! "$LD_LIBRARY_PATH" =~ (^|:)"$PEASOUP_UMBRELLA_DIR/lib:$PEASOUP_UMBRELLA_DIR/grace/concolic/bin:$STRATA/lib"(:|$) ]]