1.1 --- a/etc/settings	Wed Aug 29 22:47:01 2007 +0200
     1.2 +++ b/etc/settings	Wed Aug 29 23:06:27 2007 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  #ML_HOME=/usr/local/polyml/x86-cygwin
     1.5  #ML_SYSTEM=polyml-5.1
     1.6  #ML_OPTIONS="-H 500"
     1.7 -#POLYML_LINK_OPTIONS="-lstdc++"
     1.8 +#POLY_LINK_OPTIONS="-lstdc++"
     1.9  
    1.10  # Poly/ML 4.2.0
    1.11  #ML_PLATFORM=x86-linux

     2.1 --- a/lib/scripts/run-polyml-5.0	Wed Aug 29 22:47:01 2007 +0200
     2.2 +++ b/lib/scripts/run-polyml-5.0	Wed Aug 29 23:06:27 2007 +0200
     2.3 @@ -87,7 +87,7 @@
     2.4  
     2.5  if [ -n "$OUTFILE" ]; then
     2.6    if [ -e "${OUTFILE}.o" ]; then
     2.7 -    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_LINK_OPTIONS || fail_out
     2.8 +    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLY_LINK_OPTIONS || fail_out
     2.9      rm -f "${OUTFILE}.o"
    2.10      [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
    2.11    fi

     3.1 --- a/lib/scripts/run-polyml-5.1	Wed Aug 29 22:47:01 2007 +0200
     3.2 +++ b/lib/scripts/run-polyml-5.1	Wed Aug 29 23:06:27 2007 +0200
     3.3 @@ -87,7 +87,7 @@
     3.4  
     3.5  if [ -n "$OUTFILE" ]; then
     3.6    if [ -e "${OUTFILE}.o" ]; then
     3.7 -    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_LINK_OPTIONS || fail_out
     3.8 +    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLY_LINK_OPTIONS || fail_out
     3.9      rm -f "${OUTFILE}.o"
    3.10      [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
    3.11    fi