glucose 4.2.1

conjure-cp · Nov 21, 2022 · 152b89e · 152b89e
1 parent 0990bc0
commit 152b89e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/etc/build/install-glucose.sh b/etc/build/install-glucose.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # version as of 18 November 2022
-VERSION=4.1
+VERSION=4.2.1
 
 source "download.sh" 2> /dev/null               # if called from the script dir
 source "etc/build/download.sh" 2> /dev/null     # if called from the repo base (the common case)
@@ -17,9 +17,9 @@ rm -rf tmp-install-glucose
 mkdir -p tmp-install-glucose
 pushd tmp-install-glucose
 
-download http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup-$VERSION.tgz
-tar zxf glucose-syrup-$VERSION.tgz
-cd glucose-syrup-$VERSION/
+download http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-$VERSION.zip
+unzip glucose-$VERSION.zip
+cd glucose-$VERSION/sources
 (
     cd simp
     make -j${PROCESSES} r