Admin/polyml/settings
changeset 53686 432edb1a2469
parent 51060 9effce0ce1e1
child 56958 b2c2f74d1c93
--- 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"