summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarijn Schouten <hkbst@gentoo.org>2012-10-19 09:31:59 +0000
committerMarijn Schouten <hkbst@gentoo.org>2012-10-19 09:31:59 +0000
commitd1f057306a29a63cb020296af5230f89aa5c5213 (patch)
treece840582f0a4331320080e9d5e5ffcfbb7acc814 /dev-lang/smlnj/files
parentMissing DEPEND for virtual/pkgconfig. For last commit. (diff)
downloadgentoo-2-d1f057306a29a63cb020296af5230f89aa5c5213.tar.gz
gentoo-2-d1f057306a29a63cb020296af5230f89aa5c5213.tar.bz2
gentoo-2-d1f057306a29a63cb020296af5230f89aa5c5213.zip
bump and remove old stuff
(Portage version: 2.1.11.30/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'dev-lang/smlnj/files')
-rwxr-xr-xdev-lang/smlnj/files/fetch_files.sh57
-rw-r--r--dev-lang/smlnj/files/ml-makedepend.patch11
-rw-r--r--dev-lang/smlnj/files/smlnj-110.0.7-bindir.patch11
-rw-r--r--dev-lang/smlnj/files/smlnj-110.0.7-gcc33-quirk-fix.patch15
4 files changed, 0 insertions, 94 deletions
diff --git a/dev-lang/smlnj/files/fetch_files.sh b/dev-lang/smlnj/files/fetch_files.sh
deleted file mode 100755
index c8cd899dc260..000000000000
--- a/dev-lang/smlnj/files/fetch_files.sh
+++ /dev/null
@@ -1,57 +0,0 @@
-#!/bin/bash
-
-PV=$1
-P=smlnj-${PV}
-TARGET_DIR=${2:-"/space/distfiles-local"}
-
-BASE_URI="http://smlnj.cs.uchicago.edu/dist/working/${PV}/"
-
-ARCHES="
-ppc
-sparc
-x86
-"
-
-FILES="
-config.tgz
-
-cm.tgz
-compiler.tgz
-runtime.tgz
-system.tgz
-MLRISC.tgz
-smlnj-lib.tgz
-
-ckit.tgz
-nlffi.tgz
-
-cml.tgz
-eXene.tgz
-
-ml-lex.tgz
-ml-yacc.tgz
-ml-burg.tgz
-ml-lpt.tgz
-
-pgraph.tgz
-trace-debug-profile.tgz
-
-heap2asm.tgz
-
-smlnj-c.tgz
-"
-
-for arch in ${ARCHES}; do
- FILES+="boot.${arch}-unix.tgz "
-done
-
-echo ${BASE_URI}
-echo ${FILES}
-
-#FILES="heap2asm.tgz"
-
-for file in ${FILES}; do
- wget ${BASE_URI}/${file} -O ${TARGET_DIR}/${P}-${file}
-done
-
-
diff --git a/dev-lang/smlnj/files/ml-makedepend.patch b/dev-lang/smlnj/files/ml-makedepend.patch
deleted file mode 100644
index 13c07ca4fa47..000000000000
--- a/dev-lang/smlnj/files/ml-makedepend.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- usr/bin/ml-makedepend.old 2008-03-27 11:35:09.000000000 +0100
-+++ usr/bin/ml-makedepend 2008-03-27 11:43:18.000000000 +0100
-@@ -4,7 +4,7 @@
- if [ x${SMLNJ_HOME} = x ] ; then
- BIN_DIR="/var/tmp/portage/dev-lang/smlnj-110.67-r1/work/bin"
- else
-- if x${CM_PATHCONFIG} = x ] ; then
-+ if [ x${CM_PATHCONFIG} = x ] ; then
- CM_PATHCONFIG=${SMLNJ_HOME}/lib/pathconfig
- export CM_PATHCONFIG
- fi
diff --git a/dev-lang/smlnj/files/smlnj-110.0.7-bindir.patch b/dev-lang/smlnj/files/smlnj-110.0.7-bindir.patch
deleted file mode 100644
index 4ebecef7e3ce..000000000000
--- a/dev-lang/smlnj/files/smlnj-110.0.7-bindir.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- config.orig/_run-sml 2000-10-20 18:02:25.000000000 +0200
-+++ config/_run-sml 2004-02-27 01:04:16.273394488 +0100
-@@ -21,7 +21,7 @@
- #
-
- # the path of the directory in which executables (like this file) are kept.
--BIN_DIR=@BINDIR@
-+BIN_DIR=$SMLNJ_HOME/bin
-
- # the path of the directory in which the runtime system executables are kept.
- RUN_DIR=$BIN_DIR/.run
diff --git a/dev-lang/smlnj/files/smlnj-110.0.7-gcc33-quirk-fix.patch b/dev-lang/smlnj/files/smlnj-110.0.7-gcc33-quirk-fix.patch
deleted file mode 100644
index 9056a977bf20..000000000000
--- a/dev-lang/smlnj/files/smlnj-110.0.7-gcc33-quirk-fix.patch
+++ /dev/null
@@ -1,15 +0,0 @@
-diff -Naurp src.orig/runtime/objs/mk.x86-linux src/runtime/objs/mk.x86-linux
---- src.orig/runtime/objs/mk.x86-linux 2004-06-09 16:48:42.214121992 +0200
-+++ src/runtime/objs/mk.x86-linux 2004-06-09 16:49:05.758542696 +0200
-@@ -4,9 +4,9 @@
- SHELL = /bin/sh
-
- MAKE = make
--CC = gcc -ansi
-+CC = gcc
- CFLAGS = -O2
--CPP = gcc -x c -E -P -ansi
-+CPP = gcc -x assembler-with-cpp -E -P
- #XOBJS = xmonitor.o
- #LD_LIBS = -lX11
- #BASE_DEFS = -DHEAP_MONITOR