Admin/polyml/settings
changeset 66761 808e6ddb5a50
parent 66691 a8703e8ee1d3
child 66899 8176914dae84
     1.1 --- a/Admin/polyml/settings	Mon Oct 02 22:48:01 2017 +0200
     1.2 +++ b/Admin/polyml/settings	Tue Oct 03 12:30:36 2017 +0200
     1.3 @@ -12,11 +12,11 @@
     1.4    ML_SYSTEM_64="false"
     1.5  fi
     1.6  
     1.7 -case "${ISABELLE_PLATFORM}:${ML_SYSTEM_64}" in
     1.8 -  *-cygwin:true)
     1.9 +case "${ISABELLE_PLATFORM_FAMILY}:${ML_SYSTEM_64}" in
    1.10 +  windows:true)
    1.11      PLATFORMS="x86_64-windows x86-windows"
    1.12      ;;
    1.13 -  *-cygwin:*)
    1.14 +  windows:*)
    1.15      PLATFORMS="x86-windows x86_64-windows"
    1.16      ;;
    1.17    *:true)
    1.18 @@ -41,7 +41,7 @@
    1.19  
    1.20        # ML settings
    1.21  
    1.22 -      ML_SYSTEM=polyml-5.7
    1.23 +      ML_SYSTEM=polyml-5.7.1
    1.24        ML_PLATFORM="$PLATFORM"
    1.25        ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.26        ML_SOURCES="$POLYML_HOME/src"