Gecode: disable cp-profiler (by default) and compile without -j

conjure-cp · Jun 22, 2019 · 42d0e32 · 42d0e32
1 parent 4d5351e
commit 42d0e32
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/etc/build/install-gecode.sh b/etc/build/install-gecode.sh
@@ -13,8 +13,8 @@ cd gecode
 git checkout release-6.0.1
 mkdir build
 cd build
-../configure --enable-cpprofiler --disable-qt --disable-gist --enable-static
-make -j
+../configure --disable-qt --disable-gist --enable-static
+make
 cp tools/flatzinc/fzn-gecode ${BIN_DIR}/fzn-gecode
 echo "gecode executable is at ${BIN_DIR}/fzn-gecode"
 ls -l ${BIN_DIR}/fzn-gecode