- Remove patchset (forget in last commit)

Submitted by: pointyhat and maintainer

lang/polyml/files/patch-driver-Makefile.in

@@ -1,13 +0,0 @@
---- Makefile.in.orig	Thu Nov 24 20:54:04 2005
-+++ Makefile.in	Thu Nov 24 20:56:19 2005
-@@ -32,7 +32,9 @@
- all: $(TARGETS)
- 
- install: $(TARGETS)
--	cp $(TARGETS) $(INSTALLDIR)
-+	mkdir -p $(INSTALLDIR)
-+	$(BSD_INSTALL_PROGRAM) $(TARGETS) $(INSTALLDIR)
-+	$(BSD_INSTALL_DATA) COPYING $(INSTALLDIR)
-  
- POLYOBJS = \
-   mpoly.o \

lang/polyml/files/patch-driver-configure

@@ -1,13 +0,0 @@
---- configure.orig	Mon Sep 30 19:25:39 2002
-+++ configure	Sun Jun 12 11:57:31 2005
-@@ -12,8 +12,8 @@
- INCLUDES=""
- LIBS=""
- OBJS=""
--INSTALLDIR="/usr/bin"
--DEFAULT_POLYPATH=.:/usr/lib/poly:/usr/local/lib/poly
-+INSTALLDIR=$1/lib/polyml
-+DEFAULT_POLYPATH=.:$1/lib/polyml
- 
- # Basic operating system.  Use this to find the other parameters.
- OS=`uname`

lang/polyml/files/patch-driver-mpoly.c

@@ -1,33 +0,0 @@
---- mpoly.c.orig	Thu Nov 24 20:11:47 2005
-+++ mpoly.c	Thu Nov 24 20:50:45 2005
-@@ -648,6 +648,30 @@
-   if (! be_silent)
-   {
-   proper_printf("Poly/ML RTS version %s\n",poly_runtime_system_version);
-+
-+#if defined(FREEBSD)
-+    /* FreeBSD 5.x links dynamic libraries above the user heap, rather
-+       than below the user stack. It determines the base address from
-+       the allowed process data size (ulimit -d, limit datasize), the
-+       maximum value of which is set by the kernel maxdsiz parameter.
-+       If this datasize value is too low, there will be conflicts
-+       with the Poly/ML heaps, database or IO Area. Such problems are
-+       difficult to diagnose, thus the check here.
-+    */
-+    struct rlimit rlim;
-+    if (getrlimit(RLIMIT_DATA, &rlim) != 0) {
-+      proper_fprintf(stderr, "unable to check the datasize resource limit.\n");
-+      rlim.rlim_max = 0;
-+    }
-+    if (rlim.rlim_max < ((rlim_t)IO_TOP - 0x08000000)) {
-+      proper_fprintf(stderr,
-+	  "WARNING: The maximum datasize limit is too low (>= 896M recommended).\n");
-+      proper_fprintf(stderr,
-+	  "WARNING: Large databases may cause problematic behaviour.\n");
-+      proper_fprintf(stderr,
-+      "WARNING: Please increase resources with limit/ulimit and/or kern.maxdsiz\n");
-+    }
-+#endif
-   }
- 
-   if (A.filename == 0)

lang/polyml/files/poly.in

@@ -1,9 +0,0 @@
-#!/bin/sh
-
-USERDB="$HOME/.polyml/ML_dbase"
-if [ ! -f "$USERDB" ]; then
-	USERDB=""
-fi
-
-exec %%PREFIX%%/lib/polyml/poly $USERDB $*
-