export CXX=g++
fi
-#supernovae DEFAULT CONF
+#DEFAULT CONF
cmake -Drelease=on .
ctest -D NightlyStart
ctest -D NightlyConfigure
-Denable_coverage=on \
-Denable_model-checking=on \
-Denable_compile_optimizations=off \
--Drelease=on \
--Denable_supernovae=off .
+-Drelease=on .
ctest -D NightlyStart
ctest -D NightlyConfigure
ctest -D NightlyBuild