Skip to content
Snippets Groups Projects
Commit ae8b1307 authored by jdh8d's avatar jdh8d
Browse files

No commit message

No commit message
parent e6c88ced
No related branches found
No related tags found
No related merge requests found
......@@ -61,3 +61,5 @@ cd $SECURITY_TRANSFORMS_HOME
cd $PEASOUP_HOME
make
cd $ZIPR_HOME
make
......@@ -42,3 +42,6 @@ fi
cd $SECURITY_TRANSFORMS_HOME
make clean
cd $ZIPR_HOME
make clean
......@@ -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"(:|$) ]]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment