No commit message

No commit message

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

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"(:|$) ]]

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/