#!/bin/bash
-if [ -d $WORKSPACE/build ]
-then
- rm -rf $WORKSPACE/build
-fi
-if [ -d $WORKSPACE/install ]
-then
- rm -rf $WORKSPACE/install
-fi
+WORKSPACE=$1
+build_mode=$2
+
+rm -rf $WORKSPACE/build
+rm -rf $WORKSPACE/install
+
mkdir $WORKSPACE/build
mkdir $WORKSPACE/install
cd $WORKSPACE/build
if [ "$build_mode" = "ModelChecker" ]
then
-cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON .
+cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON .
fi
if [ "$build_mode" = "DynamicAnalysis" ]
if [ "$build_mode" = "ModelChecker" ]
then
-cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON .
+cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON .
fi
if [ "$build_mode" = "DynamicAnalysis" ]