diff --git a/.github/test.sh b/.github/test.sh index a744f6d5b08..cf69ebee955 100755 --- a/.github/test.sh +++ b/.github/test.sh @@ -3,11 +3,10 @@ FACTOR=$1 set -ex cd Polyhedron/demo -LIST_OF_PLUGINS=$(/usr/local/bin/cmake --build . -t help | egrep 'plugin$' |& cut -d\ -f2) +/usr/local/bin/cmake -S Polyhedron -B build -DCGAL_DIR=$2 +LIST_OF_PLUGINS=$(/usr/local/bin/cmake --build build -t help | egrep 'plugin$' |& cut -d\ -f2) PLUGINS_ARRAY=(${LIST_OF_PLUGINS}); NB_OF_PLUGINS=${#PLUGINS_ARRAY[@]} DEL=$(($NB_OF_PLUGINS / 4)) -mkdir build cd build -/usr/local/bin/cmake -DCGAL_DIR=$2 ../Polyhedron make -j2 ${PLUGINS_ARRAY[@]:$(($FACTOR * $DEL)):$((($FACTOR + 1) * $DEL))}