···

       
11
       
11
       
 
       
for dir in "chuffed" "gecode" "gecode_on_record" "gecode_on_replay"

     

       
12
       
12
       
 
       
do

     

       
13
       
13
       
 
       
	cmake -S software/${dir} -B software/build/${dir} -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/${dir}

     

       
14
       
14
       
-
       
	cmake --build software/build/${dir} --config Release --target install

     

       
14
       
14
       
+
       
	cmake --build software/build/${dir} --config Release --target install -- -j4

     

       
15
       
15
       
 
       
done

     

       
16
       
16