Initial test of new PolyML and HOL4 versions compatibility

.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 }}

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
 

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

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

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