From 96d42a82a5d7f7026a368229d33dbfcdf39f0b0b Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 8 Jun 2014 09:07:58 +0000
Subject: [PATCH]
---
utils/nightly/gmsh_linux64_coverage.ctest | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/utils/nightly/gmsh_linux64_coverage.ctest b/utils/nightly/gmsh_linux64_coverage.ctest
index f269f9b295..c694fa9d76 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")
--
GitLab