diff --git a/build-all.sh b/build-all.sh index c0cf7ba9fadc2707578f9408848d4916524aec2b..a4148532458bb5585d5e4bff6dfffe256a3acfef 100755 --- a/build-all.sh +++ b/build-all.sh @@ -62,5 +62,10 @@ cd $SECURITY_TRANSFORMS_HOME cd $PEASOUP_HOME make +cd $ZIPR_CALLBACKS +./configure --enable-p1 --prefix=$ZIPR_INSTALL +make +make install + cd $ZIPR_HOME -make +./configure --prefix=$ZIPR_INSTALL; make; make install diff --git a/set_env_vars b/set_env_vars index 3041f099171c9587d210cf56b8dbcc3a0a219e55..8a515e1c41d52ecf7b64e13d9a3810ddfc851d98 100644 --- a/set_env_vars +++ b/set_env_vars @@ -15,6 +15,8 @@ export STRATA_HOME=$STRATA export STRATA32=$PEASOUP_UMBRELLA_DIR/strata32 export STRATA_HOME32=$STRATA32 export ZIPR_HOME=$PEASOUP_UMBRELLA_DIR/zipr +export ZIPR_INSTALL=$PEASOUP_UMBRELLA_DIR/zipr_install +export ZIPR_CALLBACKS=$PEASOUP_UMBRELLA_DIR/zipr_callbacks 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"(:|$) ]] diff --git a/svn.externals.uva_dev b/svn.externals.uva_dev index 191ca2fa53831f01a1ab6cd85dbb47c69c4e9e29..9aa1c4a721bebcdac50fb4a8ea291b80b88e5ea9 100644 --- a/svn.externals.uva_dev +++ b/svn.externals.uva_dev @@ -7,3 +7,5 @@ security_transforms http://svn.zephyr-software.com/repos/security_transforms/tr SMPStaticAnalyzer http://svn.zephyr-software.com/repos/SMPStaticAnalyzer/trunk/ stratafier http://svn.zephyr-software.com/repos/stratafier/trunk/ zipr http://svn.zephyr-software.com/repos/zipr/trunk/ +zipr_install http://svn.zephyr-software.com/repos/zipr_install/trunk/ +zipr_callbacks http://svn.zephyr-software.com/repos/zipr_callbacks/trunk/