4 files changed, 0 insertions, 68 deletions
diff --git a/lang/polyml/files/patch-driver-Makefile.in b/lang/polyml/files/patch-driver-Makefile.in
deleted file mode 100644
index e64149dea24..00000000000
--- a/lang/polyml/files/patch-driver-Makefile.in
+++ /dev/null
@@ -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 \
diff --git a/lang/polyml/files/patch-driver-configure b/lang/polyml/files/patch-driver-configure
deleted file mode 100644
index dabdb4e83b4..00000000000
--- a/lang/polyml/files/patch-driver-configure
+++ /dev/null
@@ -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`
diff --git a/lang/polyml/files/patch-driver-mpoly.c b/lang/polyml/files/patch-driver-mpoly.c
deleted file mode 100644
index 278cd860c1c..00000000000
--- a/lang/polyml/files/patch-driver-mpoly.c
+++ /dev/null
@@ -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)
diff --git a/lang/polyml/files/poly.in b/lang/polyml/files/poly.in
deleted file mode 100644
index 3fa3f863eaa..00000000000
--- a/lang/polyml/files/poly.in
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-USERDB="$HOME/.polyml/ML_dbase"
-if [ ! -f "$USERDB" ]; then
-	USERDB=""
-fi
-
-exec %%PREFIX%%/lib/polyml/poly $USERDB $*
-