refactored into SDK, plugin, callback modules.

set_env_vars

@@ -17,6 +17,8 @@ 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 ZIPR_SDK=$PEASOUP_UMBRELLA_DIR/zipr_sdk
+export ZIPR_SCFI_PLUGIN=$PEASOUP_UMBRELLA_DIR/zipr_scfi_plugin
 
 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

@@ -9,3 +9,4 @@ 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/
+zipr_sdk             http://svn.zephyr-software.com/repos/zipr_sdk/trunk/