2015-01-06 08:54:11 +00:00
|
|
|
diff -Naur pakcs-1.11.4-upstream/Makefile pakcs-1.11.4/Makefile
|
|
|
|
|
--- pakcs-1.11.4-upstream/Makefile 2014-10-24 05:12:37.000000000 -0430
|
|
|
|
|
+++ pakcs-1.11.4/Makefile 2015-01-05 16:26:39.256709080 -0430
|
|
|
|
|
@@ -94,7 +94,6 @@
|
|
|
|
|
install: cleanoldinfos installscripts copylibs
|
|
|
|
|
@echo "PAKCS installation configuration (file pakcsinitrc):"
|
|
|
|
|
@cat pakcsinitrc
|
2013-05-10 13:40:59 +01:00
|
|
|
- $(MAKE) frontend
|
|
|
|
|
# pre-compile all libraries:
|
|
|
|
|
@cd lib && $(MAKE) fcy
|
|
|
|
|
# install the Curry2Prolog compiler as a saved system:
|
2015-01-06 08:54:11 +00:00
|
|
|
@@ -145,10 +144,6 @@
|
2014-02-04 03:10:23 +00:00
|
|
|
# compile the tools:
|
|
|
|
|
.PHONY: tools
|
|
|
|
|
tools:
|
2013-05-10 13:40:59 +01:00
|
|
|
- # compile the Curry Port Name Server demon:
|
2014-02-04 03:10:23 +00:00
|
|
|
- @if [ -r bin/pakcs ] ; then cd cpns && $(MAKE) ; fi
|
2013-05-10 13:40:59 +01:00
|
|
|
- # compile the event handler demon for dynamic web pages:
|
2014-02-04 03:10:23 +00:00
|
|
|
- @if [ -r bin/pakcs ] ; then cd www && $(MAKE) ; fi
|
|
|
|
|
@if [ -r bin/pakcs ] ; then cd currytools && $(MAKE) ; fi
|
|
|
|
|
@if [ -r bin/pakcs ] ; then cd tools && $(MAKE) ; fi
|
2013-05-10 13:40:59 +01:00
|
|
|
|
2015-01-06 08:54:11 +00:00
|
|
|
diff -Naur pakcs-1.11.4-upstream/scripts/pakcs.sh pakcs-1.11.4/scripts/pakcs.sh
|
|
|
|
|
--- pakcs-1.11.4-upstream/scripts/pakcs.sh 2014-10-24 05:06:07.000000000 -0430
|
|
|
|
|
+++ pakcs-1.11.4/scripts/pakcs.sh 2015-01-05 16:26:15.697982791 -0430
|
2013-05-10 13:40:59 +01:00
|
|
|
@@ -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
|
