# HG changeset patch
# User wenzelm
# Date 1188421587 -7200
# Node ID 97c0ef49fa8f567c32953576c0a296f072bf424c
# Parent  b272d7998193d3cbfefbc0f846a4edcaec492770
renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS;

diff -r b272d7998193 -r 97c0ef49fa8f etc/settings
--- a/etc/settings	Wed Aug 29 22:47:01 2007 +0200
+++ b/etc/settings	Wed Aug 29 23:06:27 2007 +0200
@@ -41,7 +41,7 @@
 #ML_HOME=/usr/local/polyml/x86-cygwin
 #ML_SYSTEM=polyml-5.1
 #ML_OPTIONS="-H 500"
-#POLYML_LINK_OPTIONS="-lstdc++"
+#POLY_LINK_OPTIONS="-lstdc++"
 
 # Poly/ML 4.2.0
 #ML_PLATFORM=x86-linux
diff -r b272d7998193 -r 97c0ef49fa8f lib/scripts/run-polyml-5.0
--- a/lib/scripts/run-polyml-5.0	Wed Aug 29 22:47:01 2007 +0200
+++ b/lib/scripts/run-polyml-5.0	Wed Aug 29 23:06:27 2007 +0200
@@ -87,7 +87,7 @@
 
 if [ -n "$OUTFILE" ]; then
   if [ -e "${OUTFILE}.o" ]; then
-    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_LINK_OPTIONS || fail_out
+    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLY_LINK_OPTIONS || fail_out
     rm -f "${OUTFILE}.o"
     [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
   fi
diff -r b272d7998193 -r 97c0ef49fa8f lib/scripts/run-polyml-5.1
--- a/lib/scripts/run-polyml-5.1	Wed Aug 29 22:47:01 2007 +0200
+++ b/lib/scripts/run-polyml-5.1	Wed Aug 29 23:06:27 2007 +0200
@@ -87,7 +87,7 @@
 
 if [ -n "$OUTFILE" ]; then
   if [ -e "${OUTFILE}.o" ]; then
-    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_LINK_OPTIONS || fail_out
+    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLY_LINK_OPTIONS || fail_out
     rm -f "${OUTFILE}.o"
     [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
   fi