more recent polyml-test version;
authorwenzelm
Tue Oct 03 12:30:36 2017 +0200 (18 months ago)
changeset 66761808e6ddb5a50
parent 66760 d44ea023ac09
child 66762 9bef97f78b60
more recent polyml-test version;
Admin/components/components.sha1
Admin/polyml/CHECKLIST
Admin/polyml/settings
     1.1 --- a/Admin/components/components.sha1	Mon Oct 02 22:48:01 2017 +0200
     1.2 +++ b/Admin/components/components.sha1	Tue Oct 03 12:30:36 2017 +0200
     1.3 @@ -156,6 +156,7 @@
     1.4  5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
     1.5  853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
     1.6  c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
     1.7 +b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
     1.8  53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
     1.9  3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
    1.10  f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
     2.1 --- a/Admin/polyml/CHECKLIST	Mon Oct 02 22:48:01 2017 +0200
     2.2 +++ b/Admin/polyml/CHECKLIST	Tue Oct 03 12:30:36 2017 +0200
     2.3 @@ -2,7 +2,7 @@
     2.4  ===============================================
     2.5  
     2.6  * component skeleton:
     2.7 -  $ isabelle build_polyml_component -s sha1 component
     2.8 +  $ isabelle build_polyml -s sha1 component
     2.9  
    2.10  * include full source (without symlink), for example:
    2.11    $ wget https://github.com/polyml/polyml/archive/master.zip
     3.1 --- a/Admin/polyml/settings	Mon Oct 02 22:48:01 2017 +0200
     3.2 +++ b/Admin/polyml/settings	Tue Oct 03 12:30:36 2017 +0200
     3.3 @@ -12,11 +12,11 @@
     3.4    ML_SYSTEM_64="false"
     3.5  fi
     3.6  
     3.7 -case "${ISABELLE_PLATFORM}:${ML_SYSTEM_64}" in
     3.8 -  *-cygwin:true)
     3.9 +case "${ISABELLE_PLATFORM_FAMILY}:${ML_SYSTEM_64}" in
    3.10 +  windows:true)
    3.11      PLATFORMS="x86_64-windows x86-windows"
    3.12      ;;
    3.13 -  *-cygwin:*)
    3.14 +  windows:*)
    3.15      PLATFORMS="x86-windows x86_64-windows"
    3.16      ;;
    3.17    *:true)
    3.18 @@ -41,7 +41,7 @@
    3.19  
    3.20        # ML settings
    3.21  
    3.22 -      ML_SYSTEM=polyml-5.7
    3.23 +      ML_SYSTEM=polyml-5.7.1
    3.24        ML_PLATFORM="$PLATFORM"
    3.25        ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    3.26        ML_SOURCES="$POLYML_HOME/src"