Set QUICKFAST_ROOT if it's not previously defined.

enewhuis · Feb 22, 2017 · ad962b7 · ad962b7
1 parent 25b0c5e
commit ad962b7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/env.sh b/env.sh
@@ -31,6 +31,10 @@ if [ -z "$LIQUIBOOK_ROOT" ]; then
   export LIQUIBOOK_ROOT=`$READLINK -f $SOURCE_DIR`
     fi
 fi
+if [ -z "$QUICKFAST_ROOT" ]; then
+  export QUICKFAST_ROOT=`pwd`/noQuickFAST
+  echo QuickFAST support disabled
+fi
 LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$LIQUIBOOK_ROOT/lib
 # CIAO is not used, set so MPC does not give warning
 export CIAO_ROOT=/dev/null