Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
on-restart-benchmarks install.sh
992 B · 21 lines
Shell
at develop
12345678910111213141516171819202122#!/usr/bin/env bashset -e
module load Bisonmodule load CMakemodule load flex
mkdir -p software/{build,install}
# Build for dir in "chuffed" "gecode" "gecode_base" "gecode_on_record" "gecode_on_replay" "minizinc"do cmake -S software/${dir} -B software/build/${dir} -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/${dir} -DCMAKE_POSITION_INDEPENDENT_CODE=ON cmake --build software/build/${dir} --config Release --target install -- -j4done
cmake -S software/mza -B software/build/mza -DGECODE_ROOT=`pwd`/software/install/gecode_base/ -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/mza -DCMAKE_POSITION_INDEPENDENT_CODE=ONcmake --build software/build/mza --config Release --target install -- -j4
ln -s `pwd`/software/install/gecode/share/minizinc/gecode/mznlib `pwd`/software/install/minizinc/share/minizinc/gecodeln -s `pwd`/software/install/chuffed/share/minizinc/chuffed `pwd`/software/install/minizinc/share/minizinc/chuffed