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