From 42d0e32dbb587d21f0656bc0eb5ed0f2bac0155b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?O=CC=88zgu=CC=88r=20Akgu=CC=88n?= <ozgurakgun@gmail.com>
Date: Sat, 22 Jun 2019 11:58:58 +0300
Subject: [PATCH] Gecode: disable cp-profiler (by default) and compile without
 -j

---
 etc/build/install-gecode.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/build/install-gecode.sh b/etc/build/install-gecode.sh
index 6f273cf969..6f4235c6d2 100755
--- 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