32 lines
1.1 KiB
Bash
32 lines
1.1 KiB
Bash
if [[ "${BASH_SOURCE[0]}" = "${0}" ]]; then
|
|
>&2 echo "Remember: you need to run me as 'source bench_env.sh', not execute it!"
|
|
exit
|
|
fi
|
|
|
|
# Create or activate Python virtual environment
|
|
if [ -d venv ]; then
|
|
source venv/bin/activate
|
|
else
|
|
python3 -m venv venv
|
|
source venv/bin/activate
|
|
python3 -m pip install git+https://github.com/MiniZinc/mzn-bench.git
|
|
fi
|
|
|
|
# Set other environment variables and load cluster modules
|
|
module load Bison
|
|
module load CMake
|
|
module load Cbc/2.10.5-foss-2020a
|
|
module load CPLEX/12.10-GCCcore-9.3.0
|
|
module load flex
|
|
module load Gecode/431520083a51fc2f31c22fbc7b0378e7a1588e42-GCCcore-9.3.0
|
|
module load Gurobi/9.1.0
|
|
module load SCIPOptSuite/7.0.0-gompi-2020a
|
|
|
|
cmake -S software/minizinc -B software/minizinc/build -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/
|
|
cmake --build software/minizinc/build --config Release --target install
|
|
cmake -S software/chuffed -B software/chuffed/build -DCMAKE_INSTALL_PREFIX=`pwd`/software/install/
|
|
cmake --build software/chuffed/build --config Release --target install
|
|
|
|
export PATH=`pwd`/software/install/bin:$PATH
|
|
export LD_LIBRARY_PATH=`pwd`/software/install/lib:$LD_LIBRARY_PATH
|