# 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"