diff options
Diffstat (limited to 'pkgs/development/compilers/pakcs/adjust-buildsystem.patch')
-rw-r--r-- | pkgs/development/compilers/pakcs/adjust-buildsystem.patch | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/pkgs/development/compilers/pakcs/adjust-buildsystem.patch b/pkgs/development/compilers/pakcs/adjust-buildsystem.patch new file mode 100644 index 000000000000..4de7683dcdd3 --- /dev/null +++ b/pkgs/development/compilers/pakcs/adjust-buildsystem.patch @@ -0,0 +1,44 @@ +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 |