OPTIONS=""
#OPTIONS="$OPTIONS --enable-timelimit=120"
-OPTIONS="$OPTIONS --enable-optimization=2"
-#OPTIONS="$OPTIONS --enable-optimization=3 --enable-g5opt"
+#OPTIONS="$OPTIONS --enable-optimization=2"
+OPTIONS="$OPTIONS --enable-optimization=3 --enable-g5opt"
#OPTIONS="$OPTIONS --disable-optimization"
OPTIONS="$OPTIONS --disable-debug"
-OPTIONS="$OPTIONS --with-vimage"
+#OPTIONS="$OPTIONS --with-vimage"
CC=gcc
CXX=g++