1.1 --- a/etc/settings	Wed Aug 29 20:18:23 2007 +0200
     1.2 +++ b/etc/settings	Wed Aug 29 22:47:01 2007 +0200
     1.3 @@ -30,11 +30,18 @@
     1.4  ML_OPTIONS="-H 500"
     1.5  ML_DBASE=""
     1.6  
     1.7 -# Poly/ML 5.0
     1.8 +# Poly/ML 5.1 on 64bit Linux
     1.9  #ML_PLATFORM=x86_64-linux
    1.10  #ML_HOME=/usr/local/polyml/x86_64-linux
    1.11 -#ML_SYSTEM=polyml-5.0
    1.12 +#ML_SYSTEM=polyml-5.1
    1.13 +#ML_OPTIONS="-H 1000"
    1.14 +
    1.15 +# Poly/ML 5.1 on Cygwin
    1.16 +#ML_PLATFORM=x86-cygwin
    1.17 +#ML_HOME=/usr/local/polyml/x86-cygwin
    1.18 +#ML_SYSTEM=polyml-5.1
    1.19  #ML_OPTIONS="-H 500"
    1.20 +#POLYML_LINK_OPTIONS="-lstdc++"
    1.21  
    1.22  # Poly/ML 4.2.0
    1.23  #ML_PLATFORM=x86-linux

     2.1 --- a/lib/scripts/run-polyml-5.0	Wed Aug 29 20:18:23 2007 +0200
     2.2 +++ b/lib/scripts/run-polyml-5.0	Wed Aug 29 22:47:01 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 || fail_out
     2.8 +    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_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 20:18:23 2007 +0200
     3.2 +++ b/lib/scripts/run-polyml-5.1	Wed Aug 29 22:47:01 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 || fail_out
     3.8 +    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml $POLYML_LINK_OPTIONS || fail_out
     3.9      rm -f "${OUTFILE}.o"
    3.10      [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
    3.11    fi