--- a/Admin/components/components.sha1 Mon Oct 02 22:48:01 2017 +0200
+++ b/Admin/components/components.sha1 Tue Oct 03 12:30:36 2017 +0200
@@ -156,6 +156,7 @@
5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e polyml-test-7a7b742897e9.tar.gz
c629cd499a724bbe37b962f727e4ff340c50299d polyml-test-8529546198aa.tar.gz
+b4ceeaac47f3baae41c2491a8368b03217946166 polyml-test-e7a662f8f9c4.tar.gz
53123dc011b2d4b4e8fe307f3c9fa355718ad01a postgresql-42.1.1.tar.gz
3a5d31377ec07a5069957f5477a4848cfc89a594 postgresql-42.1.4.tar.gz
f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
--- a/Admin/polyml/CHECKLIST Mon Oct 02 22:48:01 2017 +0200
+++ b/Admin/polyml/CHECKLIST Tue Oct 03 12:30:36 2017 +0200
@@ -2,7 +2,7 @@
===============================================
* component skeleton:
- $ isabelle build_polyml_component -s sha1 component
+ $ isabelle build_polyml -s sha1 component
* include full source (without symlink), for example:
$ wget https://github.com/polyml/polyml/archive/master.zip
--- a/Admin/polyml/settings Mon Oct 02 22:48:01 2017 +0200
+++ b/Admin/polyml/settings Tue Oct 03 12:30:36 2017 +0200
@@ -12,11 +12,11 @@
ML_SYSTEM_64="false"
fi
-case "${ISABELLE_PLATFORM}:${ML_SYSTEM_64}" in
- *-cygwin:true)
+case "${ISABELLE_PLATFORM_FAMILY}:${ML_SYSTEM_64}" in
+ windows:true)
PLATFORMS="x86_64-windows x86-windows"
;;
- *-cygwin:*)
+ windows:*)
PLATFORMS="x86-windows x86_64-windows"
;;
*:true)
@@ -41,7 +41,7 @@
# ML settings
- ML_SYSTEM=polyml-5.7
+ ML_SYSTEM=polyml-5.7.1
ML_PLATFORM="$PLATFORM"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_SOURCES="$POLYML_HOME/src"