# HG changeset patch
# User wenzelm
# Date 1507026636 -7200
# Node ID 808e6ddb5a504ca2db532d074482e3fffaf1c37d
# Parent  d44ea023ac09efb09ea6dacf3735f2076e44ed18
more recent polyml-test version;

diff -r d44ea023ac09 -r 808e6ddb5a50 Admin/components/components.sha1
--- 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
diff -r d44ea023ac09 -r 808e6ddb5a50 Admin/polyml/CHECKLIST
--- 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
diff -r d44ea023ac09 -r 808e6ddb5a50 Admin/polyml/settings
--- 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"