 #!/bin/bash

set -ex

pwd
ls


# install minizinc
mkdir minizinc_install
cd minizinc_install
curl -o minizinc.AppImage -L https://github.com/MiniZinc/MiniZincIDE/releases/download/2.8.5/MiniZincIDE-2.8.5-x86_64.AppImage
chmod +x minizinc.AppImage
./minizinc.AppImage --appimage-extract
cd ..
export PATH="$(pwd)/minizinc_install/squashfs-root/usr/bin/":$PATH
export LD_LIBRARY_PATH="$(pwd)/minizinc_install/squashfs-root/usr/lib":$LD_LIBRARY_PATH
minizinc --version


# install nightly build (only for master version binder environment)
using_nightly_version=true
if [ "$using_nightly_version" = "true" ]; then
    python ~/binder/install_nightly_build.py
fi
