3 SCRIPT_DIR=`dirname $BASH_SOURCE`
7 rm -rf $DIR/sng $DIR/omp
8 mkdir $DIR/sng $DIR/omp
10 (cd $BASE; (make clean > /dev/null); (./configure --disable-openmp > /dev/null); grep HAVE_OPEN config.h; (make -j 20 > /dev/null); cp tools/ctsimtext src/ctsim $DIR/sng/.)
11 (cd $BASE; (make clean > /dev/null); (./configure --enable-openmp > /dev/null); grep HAVE_OPEN config.h; (make -j 20 > /dev/null); cp tools/ctsimtext src/ctsim $DIR/omp/.)