From 12efca4d13dc7bf4f1df4248d16eb889e9c009d5 Mon Sep 17 00:00:00 2001
From: Didrik Lundberg <didrikl@kth.se>
Date: Mon, 22 Jan 2024 11:09:22 +0100
Subject: [PATCH] Initial test of new PolyML and HOL4 versions compatibility

---
 .github/workflows/build.yaml         | 4 ++--
 README.md                            | 4 ++--
 scripts/setup/install_hol4.sh        | 2 +-
 scripts/setup/install_hol4_latest.sh | 2 +-
 scripts/setup/install_poly.sh        | 2 +-
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index a45d6f365..a53dba75b 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -19,9 +19,9 @@ jobs:
 
     strategy:
       matrix:
-        polyml: ['v5.7.1', 'v5.9']
+        polyml: ['v5.7.1', 'v5.9.1']
         z3: ['4.8.4']
-        hol4: ['kananaskis-14']
+        hol4: ['master']
 
     env:
       HOLBA_POLYML_VERSION: ${{ matrix.polyml }}
diff --git a/README.md b/README.md
index 2e270b000..74025f94d 100644
--- a/README.md
+++ b/README.md
@@ -60,8 +60,8 @@ ${HOLBA_HOLMAKE}
 ### Software versions
 
 - HOL4 (`https://github.com/HOL-Theorem-Prover/HOL`)
-  - tag: kananaskis-14
-- Poly/ML 5.9
+  - tag: trindemossen-1
+- Poly/ML 5.9.1
   - alternatively, Poly/ML 5.7.1 (version packaged for Ubuntu 20.04)
 - Z3 v4.8.4
 
diff --git a/scripts/setup/install_hol4.sh b/scripts/setup/install_hol4.sh
index 6e306a406..3d88baa05 100755
--- a/scripts/setup/install_hol4.sh
+++ b/scripts/setup/install_hol4.sh
@@ -16,7 +16,7 @@ source "${SETUP_DIR}/env_config_gen.sh" "${OPT_DIR_PARAM}"
 ##################################################################
 
 # use a default polyml version if it is not specified in the environment
-POLY_VERSION="v5.9"
+POLY_VERSION="v5.9.1"
 if [[ ! -z "${HOLBA_POLYML_VERSION}" ]]; then
   POLY_VERSION=${HOLBA_POLYML_VERSION}
 fi
diff --git a/scripts/setup/install_hol4_latest.sh b/scripts/setup/install_hol4_latest.sh
index 21e89b911..e774926a0 100755
--- a/scripts/setup/install_hol4_latest.sh
+++ b/scripts/setup/install_hol4_latest.sh
@@ -16,7 +16,7 @@ source "${SETUP_DIR}/env_config_gen.sh" "${OPT_DIR_PARAM}"
 ##################################################################
 
 # use a default polyml version if it is not specified in the environment
-POLY_VERSION="v5.9"
+POLY_VERSION="v5.9.1"
 if [[ ! -z "${HOLBA_POLYML_VERSION}" ]]; then
   POLY_VERSION=${HOLBA_POLYML_VERSION}
 fi
diff --git a/scripts/setup/install_poly.sh b/scripts/setup/install_poly.sh
index 0c3318825..c6e937fa1 100755
--- a/scripts/setup/install_poly.sh
+++ b/scripts/setup/install_poly.sh
@@ -21,7 +21,7 @@ source "${SETUP_DIR}/env_config_gen.sh" "${OPT_DIR_PARAM}"
 POLY_BASE="https://github.com/polyml/polyml"
 
 # use a default polyml version if it is not specified in the environment
-POLY_VERSION="v5.9"
+POLY_VERSION="v5.9.1"
 if [[ ! -z "${HOLBA_POLYML_VERSION}" ]]; then
   POLY_VERSION=${HOLBA_POLYML_VERSION}
 fi