1 files changed, 0 insertions, 43 deletions
diff --git a/pkgs/development/compilers/pakcs/adjust-buildsystem.patch b/pkgs/development/compilers/pakcs/adjust-buildsystem.patch
deleted file mode 100644
index ce0b42c9e344..000000000000
--- a/pkgs/development/compilers/pakcs/adjust-buildsystem.patch
+++ /dev/null
@@ -1,43 +0,0 @@
-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
--	$(MAKE) frontend
- 	# pre-compile all libraries:
- 	@cd lib && $(MAKE) fcy
- 	# install the Curry2Prolog compiler as a saved system:
-@@ -145,10 +144,6 @@
- # compile the tools:
- .PHONY: tools
- tools:
--	# 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
- 	@if [ -r bin/pakcs ] ; then cd currytools && $(MAKE) ; fi
- 	@if [ -r bin/pakcs ] ; then cd tools      && $(MAKE) ; fi
- 
-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
-@@ -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