updated version checkout

conjure-cp · Feb 23, 2024 · dda20a2 · dda20a2
1 parent 814903f
commit dda20a2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/etc/build/install-minizinc.sh b/etc/build/install-minizinc.sh
@@ -1,6 +1,7 @@
 #!/bin/bash
 
-# version as of 16 November 2023
+# version as of 23 February 2024
+VERSION=2.8.3
 set -o errexit
 set -o nounset
 
@@ -11,6 +12,7 @@ mkdir tmp-install-minizinc
 pushd tmp-install-minizinc
 git clone https://github.com/MiniZinc/libminizinc.git
 cd libminizinc
+git checkout $VERSION
 mkdir build
 cd build
 cmake ..