diff -Naur pakcs-1.11.2-upstream/Makefile pakcs-1.11.2/Makefile --- pakcs-1.11.2-upstream/Makefile 2013-03-21 04:58:38.000000000 -0430 +++ pakcs-1.11.2/Makefile 2013-05-09 15:04:48.035646127 -0430 @@ -55,7 +55,6 @@ # .PHONY: install install: installscripts - $(MAKE) frontend # pre-compile all libraries: @cd lib && $(MAKE) fcy # install the Curry2Prolog compiler as a saved system: @@ -66,11 +65,6 @@ @cd lib && $(MAKE) acy # prepare for separate compilation by compiling all librariers to Prolog code: @if [ -r bin/pakcs ] ; then cd lib && $(MAKE) pl ; fi - # compile the Curry Port Name Server demon: - @if [ -r bin/pakcs ] ; then cd cpns && $(MAKE) ; fi - # compile the event handler demon for dynamic web pages: - @if [ -r bin/pakcs ] ; then cd www && $(MAKE) ; fi - $(MAKE) tools $(MAKE) docs chmod -R go+rX . diff -Naur pakcs-1.11.2-upstream/scripts/pakcs.sh pakcs-1.11.2/scripts/pakcs.sh --- pakcs-1.11.2-upstream/scripts/pakcs.sh 2013-03-21 04:52:59.000000000 -0430 +++ pakcs-1.11.2/scripts/pakcs.sh 2013-05-09 03:14:23.500876628 -0430 @@ -16,7 +16,7 @@ # use readline wrapper rlwrap if it is installed and we have tty as stdin: USERLWRAP=no if tty -s ; then - RLWRAP=`which rlwrap` + RLWRAP=`type -P rlwrap` if [ -x "$RLWRAP" ] ; then USERLWRAP=yes fi @@ -29,7 +29,7 @@ done if [ $USERLWRAP = yes ] ; then - exec rlwrap -c -f "$PAKCSHOME/tools/rlwrap" "$REPL" ${1+"$@"} + exec rlwrap -a -c -f "$PAKCSHOME/tools/rlwrap" "$REPL" ${1+"$@"} else exec "$REPL" ${1+"$@"} fi