Merge pull request diffblue#495 from diffblue/owen-jones-diffblue/dspace-script

Make DSpace.sh run in a reasonable time

Author: NathanJPhillips

benchmarks/GENUINE/DSpace.sh

@@ -41,14 +41,19 @@ if [[ ! -d $REPO_DIR ]]; then
     ant init_configs
     ant install_code
     ant copy_webapps
+
+    # To exclude libraries we move only what we need to another directory
+    mkdir -p $DEPLOY_DIR/fake_build/WEB-INF/lib
+    cp -r $DEPLOY_DIR/webapps/jspui/WEB-INF/classes $DEPLOY_DIR/fake_build/WEB-INF
+    cp $DEPLOY_DIR/webapps/jspui/WEB-INF/lib/dspace-api-6.0-SNAPSHOT.jar $DEPLOY_DIR/fake_build/WEB-INF/lib
 fi
 
 # Run security-analyser
 cd $SECURITY_SCANNER_HOME
 
 python3 $SCRIPT_DIR/../../driver/run.py \
 -C $SCRIPT_DIR/DSpace_rules.json \
--I $DEPLOY_DIR/webapps/jspui \
+-I $DEPLOY_DIR/fake_build \
 -L $SCRIPT_DIR/DSpace_files/DI/target \
 -R $OUTPUT_DIR/DSpace/results \
 -T $OUTPUT_DIR/DSpace/temp \