updated minizinc installation

conjure-cp · Feb 23, 2024 · 814903f · 814903f
1 parent 6a005fc
commit 814903f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/etc/build/install-minizinc.sh b/etc/build/install-minizinc.sh
@@ -20,5 +20,7 @@ mkdir -p ${BIN_DIR}/share
 cp -r ../share/minizinc ${BIN_DIR}/share/minizinc
 echo "minizinc executable is at ${BIN_DIR}/minizinc"
 ls -l ${BIN_DIR}/minizinc
+export MZN_STDLIB_DIR=${BIN_DIR}/share/minizinc/
+echo "set env variable MZN_STDLIB_DIR to ${BIN_DIR}/share/minizinc. Please consider making it permanent"
 popd
 rm -rf tmp-install-minizinc