# HG changeset patch
# User wenzelm
# Date 1429294794 -7200
# Node ID d990db067a3df21f9fd8b8b422d1ae0be669d3f5
# Parent  eb08fefd5c0563ce0c694cf4e614b6ba2a6c2a6b
updated polyml according to fixes-5.5.2 SVN version 2007;

diff -r eb08fefd5c05 -r d990db067a3d Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Apr 17 19:01:42 2015 +0200
+++ b/Admin/components/components.sha1	Fri Apr 17 20:19:54 2015 +0200
@@ -83,6 +83,7 @@
 b3d776e6744f0cd2773d467bc2cfe1de3d1ca2fd  polyml-5.5.0-3.tar.gz
 1812e9fa6d163f63edb93e37d1217640a166cf3e  polyml-5.5.0.tar.gz
 36f5b8224f484721749682a3655c796a55a2718d  polyml-5.5.1-1.tar.gz
+4b690390946f7bfb777b89eb16d6f08987cca12f  polyml-5.5.2-2.tar.gz
 36f78f27291a9ceb13bf1120b62a45625afd44a6  polyml-5.5.1.tar.gz
 a588640dbf5da9ae15455b02ef709764a48637dc  polyml-5.5.2-1.tar.gz
 532f6e8814752aeb406c62fabcfd2cc05f8a7ca8  polyml-5.5.2.tar.gz
diff -r eb08fefd5c05 -r d990db067a3d Admin/components/main
--- a/Admin/components/main	Fri Apr 17 19:01:42 2015 +0200
+++ b/Admin/components/main	Fri Apr 17 20:19:54 2015 +0200
@@ -9,7 +9,7 @@
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2
-polyml-5.5.2-1
+polyml-5.5.2-2
 scala-2.11.6
 spass-3.8ds
 xz-java-1.2-1
diff -r eb08fefd5c05 -r d990db067a3d Admin/polyml/CHECKLIST
--- a/Admin/polyml/CHECKLIST	Fri Apr 17 19:01:42 2015 +0200
+++ b/Admin/polyml/CHECKLIST	Fri Apr 17 20:19:54 2015 +0200
@@ -13,3 +13,4 @@
 
 * linux: include copy of libgmp.so with symlinks from build host
 
+* include copy of "polyml" script
diff -r eb08fefd5c05 -r d990db067a3d Admin/polyml/README
--- a/Admin/polyml/README	Fri Apr 17 19:01:42 2015 +0200
+++ b/Admin/polyml/README	Fri Apr 17 20:19:54 2015 +0200
@@ -3,7 +3,7 @@
 
 This compilation of Poly/ML 5.5.2 is based on
 http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
-1955.  See also fixes-5.5.2.diff for the differences to the official
+2007.  See also fixes-5.5.2.diff for the differences to the official
 source distribution polyml.5.5.2.tar.gz from
 http://sourceforge.net/projects/polyml/.
 
@@ -21,4 +21,4 @@
 
 
         Makarius
-        25-Jul-2014
+        17-Apr-2015
diff -r eb08fefd5c05 -r d990db067a3d Admin/polyml/polyml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/polyml	Fri Apr 17 20:19:54 2015 +0200
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+#
+# Minimal Poly/ML startup script
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH"
+export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH"
+
+exec "$THIS/poly" "$@"
+