Commit f7da410b authored by Michael Hanus 's avatar Michael Hanus
Browse files

Changes for SWI-Prolog 7.x

parent b0ab4615
......@@ -12,7 +12,7 @@ SICSTUS=`pwd`/../bin/sicstusprolog
SWI=`pwd`/../bin/swiprolog
# Standard options for SWI-Prolog
SWIOPTIONS=-q -L0 -G0 -T0 -O
SWIOPTIONS=--traditional -q -L0 -G0 -T0 -O
# standard name in bin dirctory:
INSTALLBIN = ../bin/curry
......
......@@ -74,6 +74,12 @@ else
TMPSTATE=$STATE
fi
if [ -z "$SICSTURDIR" ] ; then
# patch option "--traditional" into SWI-Prolog saved states:
sed "3s/-x/--traditional -x/" < $TMPSTATE > $TMPSTATE$$
mv $TMPSTATE$$ $TMPSTATE
fi
TMPFILE=TMPSAVEDSTATE$$
echo "#!/bin/sh" > $TMPFILE
if test -n "$LANG" ; then
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment