diff --git a/compile_linux.sh b/compile_linux.sh index 2931c4576..8a2cb7b27 100755 --- a/compile_linux.sh +++ b/compile_linux.sh @@ -52,14 +52,14 @@ if test "$1" = "d"; then echo "configuring for 64 bit debug" echo # You may add --enable-adms to the following command for adding adms generated devices - ../configure --with-x --enable-cider --with-readline=yes --enable-openmp --enable-osdi --enable-predictor CFLAGS="-g -m64 -O0 -Wall -Wno-unused-but-set-variable" LDFLAGS="-m64 -g" + ../configure --without-x --enable-cider --with-readline=yes --enable-openmp --enable-osdi --enable-predictor CFLAGS="-g -m64 -O0 -Wall -Wno-unused-but-set-variable" LDFLAGS="-m64 -g" else cd release if [ $? -ne 0 ]; then echo "cd release failed"; exit 1 ; fi echo "configuring for 64 bit release" echo # You may add --enable-adms to the following command for adding adms generated devices - ../configure --with-x --enable-cider --with-readline=yes --enable-openmp --enable-osdi --enable-predictor --disable-debug CFLAGS="-m64 -O2" LDFLAGS="-m64 -s" + ../configure --without-x --enable-cider --with-readline=yes --enable-openmp --enable-osdi --enable-predictor --disable-debug CFLAGS="-m64 -O2 -Wall" LDFLAGS="-m64 -s " fi if [ $? -ne 0 ]; then echo "../configure failed"; exit 1 ; fi