diff --git a/utils/nightly/gmsh_linux64_coverage.ctest b/utils/nightly/gmsh_linux64_coverage.ctest index f269f9b295a365675932aa0489c0e5249f8b0083..c694fa9d76b525aeafef7a6904eb85481818bb19 100644 --- a/utils/nightly/gmsh_linux64_coverage.ctest +++ b/utils/nightly/gmsh_linux64_coverage.ctest @@ -16,7 +16,13 @@ set(WITH_MEMCHECK FALSE) # check memory with valgrind? ################################################################################# set(CTEST_BUILD_NAME "Linux64-Coverage") set(OPT "-DGMSH_EXTRA_VERSION=${EXTRA_VERSION}") -set(OPT "${OPT} -DENABLE_FLTK=0") + +# minimal build for current test cases +set(OPT "${OPT} -DENABLE_FLTK=0 -DENABLE_NETGEN=0 -DENABLE_DINTEGRATION=0") +set(OPT "${OPT} -DENABLE_GMM=0 -DENABLE_METIS=0 -DENABLE_CHACO=0") +set(OPT "${OPT} -DENABLE_ONELAB=0 -DENABLE_OPTHOM=0 -DENABLE_SALOME=0") +set(OPT "${OPT} -DENABLE_VORO3D=0") + set(OPT "${OPT} -DCMAKE_PREFIX_PATH:path=/usr/local/opencascade;/usr/local") set(OPT "${OPT} -DENABLE_NATIVE_FILE_CHOOSER:bool=FALSE") set(OPT "${OPT} -DPETSC_ARCH=linux_complex_mumps_seq")