From b3e1dfe446d60b18bf030ca9bfc4a8c722b035ed Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Wed, 16 Jun 2021 10:22:06 +1000 Subject: [PATCH] Build using multiple threads --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 2b6e3db..067acea 100755 --- a/install.sh +++ b/install.sh @@ -11,6 +11,6 @@ mkdir -p software/{build,install} for dir in "chuffed" "gecode" "gecode_on_record" "gecode_on_replay" do cmake -S software/${dir} -B software/build/${dir} -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/${dir} - cmake --build software/build/${dir} --config Release --target install + cmake --build software/build/${dir} --config Release --target install -- -j4 done