# HG changeset patch # User wenzelm # Date 1379445161 -7200 # Node ID 432edb1a24696dafcee459c914e103469f39fa5e # Parent 983711bc98e0c71db786506d4eb7fdbdccea4028 updated to polyml-5.5.1; prefer explicit POLYML_HOME to simplify additional user settings; diff -r 983711bc98e0 -r 432edb1a2469 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Tue Sep 17 17:17:55 2013 +0200 +++ b/Admin/components/components.sha1 Tue Sep 17 21:12:41 2013 +0200 @@ -46,6 +46,7 @@ 7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz b3d776e6744f0cd2773d467bc2cfe1de3d1ca2fd polyml-5.5.0-3.tar.gz 1812e9fa6d163f63edb93e37d1217640a166cf3e polyml-5.5.0.tar.gz +36f78f27291a9ceb13bf1120b62a45625afd44a6 polyml-5.5.1.tar.gz 8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz 847b52c0676b5eb0fbf0476f64fc08c2d72afd0c ProofGeneral-4.1.tar.gz 8472221c876a430cde325841ce52893328302712 ProofGeneral-4.2.tar.gz diff -r 983711bc98e0 -r 432edb1a2469 Admin/components/main --- a/Admin/components/main Tue Sep 17 17:17:55 2013 +0200 +++ b/Admin/components/main Tue Sep 17 21:12:41 2013 +0200 @@ -7,7 +7,7 @@ jedit_build-20130910 jfreechart-1.0.14-1 kodkodi-1.5.2 -polyml-5.5.0-3 +polyml-5.5.1 scala-2.10.2 spass-3.8ds z3-3.2 diff -r 983711bc98e0 -r 432edb1a2469 Admin/polyml/README --- a/Admin/polyml/README Tue Sep 17 17:17:55 2013 +0200 +++ b/Admin/polyml/README Tue Sep 17 21:12:41 2013 +0200 @@ -1,8 +1,9 @@ Poly/ML for Isabelle ==================== -This compilation of Poly/ML 5.5.0 (http://www.polyml.org) is based on -svn://svn.code.sf.net/p/polyml/code/fixes-5.5 version 1658. +This compilation of Poly/ML 5.5.1 (http://www.polyml.org) is based on the +official source distribution polyml.5.5.1.tar.gz from +http://sourceforge.net/projects/polyml/. The included build script is used like this: @@ -17,4 +18,4 @@ Makarius - 28-Jan-2013 + 17-Sep-2013 diff -r 983711bc98e0 -r 432edb1a2469 Admin/polyml/settings --- a/Admin/polyml/settings Tue Sep 17 17:17:55 2013 +0200 +++ b/Admin/polyml/settings Tue Sep 17 21:12:41 2013 +0200 @@ -1,22 +1,25 @@ # -*- shell-script -*- :mode=shellscript: +POLYML_HOME="$COMPONENT" + + # basic settings -#ML_SYSTEM=polyml-5.5.0 -#ML_PLATFORM="$ISABELLE_PLATFORM" -#ML_HOME="$COMPONENT/$ML_PLATFORM" +#ML_SYSTEM=polyml-5.5.1 +#ML_PLATFORM="$ISABELLE_PLATFORM32" +#ML_HOME="$POLYML_HOME/$ML_PLATFORM" #ML_OPTIONS="-H 500" -#ML_SOURCES="$ML_HOME/../src" +#ML_SOURCES="$POLYML_HOME/src" # smart settings -ML_SYSTEM=polyml-5.5.0 +ML_SYSTEM=polyml-5.5.1 case "$ISABELLE_PLATFORM" in *-linux) - if env LD_LIBRARY_PATH="$COMPONENT/$ISABELLE_PLATFORM32:$LD_LIBRARY_PATH" \ - "$COMPONENT/$ISABELLE_PLATFORM32/poly" -v >/dev/null 2>/dev/null + if env LD_LIBRARY_PATH="$POLYML_HOME/$ISABELLE_PLATFORM32:$LD_LIBRARY_PATH" \ + "$POLYML_HOME/$ISABELLE_PLATFORM32/poly" -v >/dev/null 2>/dev/null then ML_PLATFORM="$ISABELLE_PLATFORM32" else @@ -42,6 +45,6 @@ ;; esac -ML_HOME="$COMPONENT/$ML_PLATFORM" -ML_SOURCES="$COMPONENT/src" +ML_HOME="$POLYML_HOME/$ML_PLATFORM" +ML_SOURCES="$POLYML_HOME/src"