File size: 650 Bytes
e67d561 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
#!/bin/bash
# Stop if any command fails
set -e
# Define version and paths
VERSION=2.9.3
MZN_DIR=/home/user/minizinc
# Download and extract MiniZinc
wget https://github.com/MiniZinc/MiniZincIDE/releases/download/${VERSION}/MiniZincIDE-${VERSION}-bundle-linux-x86_64.tgz
mkdir -p $MZN_DIR
tar -xzf MiniZincIDE-${VERSION}-bundle-linux-x86_64.tgz -C $MZN_DIR --strip-components=1
rm MiniZincIDE-${VERSION}-bundle-linux-x86_64.tgz
# Export path for the runtime
echo "export PATH=$MZN_DIR/bin:\$PATH" >> ~/.bashrc
echo "export PATH=$MZN_DIR/bin:\$PATH" >> ~/.profile
export PATH=$MZN_DIR/bin:$PATH
echo "✅ setup.sh finished running" > setup_log.txt
|