summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPacho Ramos <pacho@gentoo.org>2015-04-26 12:44:07 +0000
committerPacho Ramos <pacho@gentoo.org>2015-04-26 12:44:07 +0000
commit7a22d3451076a07775f5fce083a16e7dddd3aaca (patch)
treecc6787c5a9d30c64dbbb68f317f7b199afef48e8 /dev-lang/mosml
parentRemove masked for removal package (diff)
downloadgentoo-2-7a22d3451076a07775f5fce083a16e7dddd3aaca.tar.gz
gentoo-2-7a22d3451076a07775f5fce083a16e7dddd3aaca.tar.bz2
gentoo-2-7a22d3451076a07775f5fce083a16e7dddd3aaca.zip
Remove masked for removal package
Diffstat (limited to 'dev-lang/mosml')
-rw-r--r--dev-lang/mosml/ChangeLog77
-rw-r--r--dev-lang/mosml/Manifest19
-rw-r--r--dev-lang/mosml/files/mosml-2.01-malloc.patch19
-rw-r--r--dev-lang/mosml/metadata.xml7
-rw-r--r--dev-lang/mosml/mosml-2.01-r1.ebuild57
5 files changed, 0 insertions, 179 deletions
diff --git a/dev-lang/mosml/ChangeLog b/dev-lang/mosml/ChangeLog
deleted file mode 100644
index 686bbe35d224..000000000000
--- a/dev-lang/mosml/ChangeLog
+++ /dev/null
@@ -1,77 +0,0 @@
-# ChangeLog for dev-lang/mosml
-# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/ChangeLog,v 1.18 2012/10/12 13:28:31 kensington Exp $
-
- 12 Oct 2012; Michael Palimaka <kensington@gentoo.org> -mosml-2.01.ebuild:
- Remove old.
-
- 10 Oct 2012; Brent Baude <ranger@gentoo.org> mosml-2.01-r1.ebuild:
- Marking mosml-2.01-r1 ppc for bug 393891
-
- 21 Dec 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org> mosml-2.01-r1.ebuild:
- x86 stable wrt bug #393891
-
- 16 Dec 2011; Agostino Sarubbo <ago@gentoo.org> mosml-2.01-r1.ebuild:
- Stable for AMD64, wrt bug #393891
-
- 13 Jan 2011; Dane Smith <c1pher@gentoo.org> mosml-2.01-r1.ebuild:
- QA: Fix LDFLAGS respect wrt bug 351040.
- *Fix lack of jobserver respect.
- *Remove what I believe to be an unnecessary -j1 on emake install. I was
- unable
- to replecate a parallel-make issue, and was unable to find a bug
- specifying
- there ever was one.
- *Ebuild cleanup.
-
- 06 Apr 2010; Jonathan Callen <abcd@gentoo.org> mosml-2.01-r1.ebuild:
- Bump to EAPI=3, add prefix keywords
-
- 17 Aug 2009; Víctor Ostorga <vostorga@gentoo.org> mosml-2.01.ebuild,
- mosml-2.01-r1.ebuild:
- Respecting CPP
-
- 23 Jul 2009; Víctor Ostorga <vostorga@gentoo.org> mosml-2.01.ebuild,
- mosml-2.01-r1.ebuild:
- Respecting CC variable, closes bug #243880
-
- 30 May 2009; Jeremy Olexa <darkside@gentoo.org> mosml-2.01-r1.ebuild:
- (non maintainer commit) Fix by Victor Ostorga to no longer pre-strip files,
- bug 240215
-
-*mosml-2.01-r1 (06 Jun 2008)
-
- 06 Jun 2008; Jeremy Olexa <darkside@gentoo.org>
- +files/mosml-2.01-malloc.patch, +mosml-2.01-r1.ebuild:
- Fixed HOMEPAGE/SRC_URI. Added patch provided from upstream to fix: 'may
- crash on 64 bit architectures as well as on those 32 bit architectures that
- use glibc 2.7'. Thanks Michael Helmling for reporting, bug #154859
-
- 19 Mar 2007; Bryan Østergaard <kloeri@gentoo.org> metadata.xml:
- Remove plasmaroo from metadata.xml due to retirement.
-
- 09 Feb 2007; Diego Pettenò <flameeyes@gentoo.org> ChangeLog:
- Regenerate digest in Manifest2 format.
-
- 09 Feb 2007; Diego Pettenò <flameeyes@gentoo.org> ChangeLog:
- Regenerate digest in Manifest2 format.
-
- 05 Jun 2005; Michael Hanselmann <hansmi@gentoo.org> mosml-2.01.ebuild:
- Stable on ppc.
-
- 23 Jan 2005; Jan Brinkmann <luckyduck@gentoo.org> mosml-2.01.ebuild:
- added ~amd64 to KEYWORDS. fixes #Bug 71083
-
- 22 Jun 2004; David Holm <dholm@gentoo.org> mosml-2.01.ebuild:
- Added to ~ppc.
-
-*mosml-2.01 (18 Feb 2004)
-
- 18 Feb 2004; <plasmaroo@gentoo.org> mosml-2.01.ebuild:
- Version bump; closes bug #41560.
-
-*mosml-2.00 (13 Nov 2003)
-
- 13 Nov 2003; <plasmaroo@gentoo.org> mosml-2.00.ebuild:
- Initial import, thanks to Malcolm Scott <m@lcolm.org.uk> for providing
- the ebuild and filing the bug. Bug #33153 closed.
diff --git a/dev-lang/mosml/Manifest b/dev-lang/mosml/Manifest
deleted file mode 100644
index f36379209155..000000000000
--- a/dev-lang/mosml/Manifest
+++ /dev/null
@@ -1,19 +0,0 @@
------BEGIN PGP SIGNED MESSAGE-----
-Hash: SHA256
-
-AUX mosml-2.01-malloc.patch 688 SHA256 b03324dd9a62ca564cf50cdf300b08c22d03a2b724832f1783a130dce787d823 SHA512 c2d70880dd13e8665cd3f6644cd0f09d23dcffb89bd8d96449ee9940cd8a83ddc391bb5aeebd56df60b55d0f9aab0aca8c64e9b7ec4df2c7b4efac3574d8a835 WHIRLPOOL 5601115cadc969cf787fe374d8d32299a9295618e0686282b89f319cb399ef9adad06fb2ea2f8448936c8ba49b19939b34ecd642c52980b51f72b702f09c7941
-DIST mos201src.tar.gz 2314392 SHA256 9ec5695358a4aa4702d856c026f3cf0bce77275e8d1318fd90d455a44c46edff SHA512 c08881cad23503bb57c7696ccfe16dd2f716ed423999018c3044266c9329a3175667c5294ef2eda83b5d1ef810fb7fc8e037f9d1fed3245da9dbbc895ad6e15c WHIRLPOOL acecc460d2c962bc32795005ffaceb2bb980255091604c0d0b97a7b45410eec5dfd92761c8d6c16cb48355b9f10cd44dadffd04a101976ca761744d1a5c4e60f
-EBUILD mosml-2.01-r1.ebuild 2038 SHA256 4f7eb0459d305fbd1ef064f834825f2c5910505dacce25cf5474b4cb9bd6b612 SHA512 69224bc90d56980aebbbd0ea232c6deb25b3eb6848d6c42d99a4bd1ed6ab3ee6aaaa14f0801a6ab79dc2611bf3e2bf672f2bce39fd3e849fc67dc5fee50908b4 WHIRLPOOL 4c3d8234e20a4ebbaf9d9723a7b6e25368fc02781a8dbef51811477d918781465487938bc344abadd4f8426f973defaa6c789aeb15910f7b965639473c2d15d4
-MISC ChangeLog 2819 SHA256 6b45912dcbf9664746326bb771c77d45d2c6b5571ec38bb2ecaebd62dc4b0737 SHA512 a36d2e9740412894c7652baaed654f5f149ad1b4da4dd1a583e03b59c97c98a159ebee5b8f4da9680f64d8bc19768c103452d532e1089574dc4b72db138610f3 WHIRLPOOL 80d2c39f7bb8d85bb285d2460bec147e59aae2aa329b38ea12ed3047606669ee6414e78771f9b7cce485eb7d0265ec038de2fea4f68196dc8376b4aeb7d03b40
-MISC metadata.xml 212 SHA256 70bbfd181623c884c763902ca127ef24c917b2e55cda0869e6ffaa6c4ebc5757 SHA512 85ac7770baae8cc7c2c52dcd077a448cfb394ec6585e274ffa01c8f92a862d22c6ba0553b71cf2ae6b6f28f6faa5c3d615537f35f9fe0da9f43a2c9043953784 WHIRLPOOL 221b2f4e9b984954eb7268028287339e8678c794c7b4e40ab2baaa037c8e87bac30c8b64473efade9b3ee1ce226aab4ad36760147eee5af7cfd7c081473c839b
------BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.19 (GNU/Linux)
-
-iQEcBAEBCAAGBQJQeBq1AAoJEMbwO6tnXQ0sW70H/iMhIFiFLAH40MdDGXGOA7aH
-KWm8ikcx4TetGU59cGT1yLOnBWu4qikva1+sHCAU7Nyg29hpL/kl+dklr4zBRXAL
-pRQNAaVV2RBB3I0KuFbXIEMXtcvc8QyOE2UqPiuPn+nniLV4JJ6+Fu0nAbGegIQx
-NlSxRHJ8CeONlFF5QU8Whlw7UTIDxjdOCd3EsvDD8ueajcWApr8BENnaU+kyokAY
-IZrPwwI3ATKzpHPsgWr4/ZLWNVJqHp1kAAT8orCnztsIUZrud2CWqwqOwWRx60g2
-9DhOYQUzKQ3KFPC9sDCc4O9ynB0D6QaKhbwk8tm9SCXJ6ugWiBkU698A0wVv0Lc=
-=58Ms
------END PGP SIGNATURE-----
diff --git a/dev-lang/mosml/files/mosml-2.01-malloc.patch b/dev-lang/mosml/files/mosml-2.01-malloc.patch
deleted file mode 100644
index 3fba15b4d0ab..000000000000
--- a/dev-lang/mosml/files/mosml-2.01-malloc.patch
+++ /dev/null
@@ -1,19 +0,0 @@
---- src/runtime/gc_ctrl.c.orig 2000-01-21 04:07:13.000000000 -0600
-+++ src/runtime/gc_ctrl.c 2008-03-05 13:20:07.000000000 -0600
-@@ -1,3 +1,7 @@
-+/* mosml/src/runtime/gc_ctrl.c
-+ Updated 2008-03-05 to prevent malloc from using mmap()
-+*/
-+#include <malloc.h>
- #include "alloc.h"
- #include "debugger.h"
- #include "gc.h"
-@@ -191,6 +195,8 @@
- gc_message ("*** camlrunm: debug mode ***\n", 0);
- #endif
- verb_gc = verb;
-+ /* Added 2008-03-05 to prevent malloc from using mmap() */
-+ mallopt(M_MMAP_MAX, 0);
- set_minor_heap_size (Bsize_wsize (norm_minsize (minor_size)));
- major_heap_increment = Bsize_wsize (norm_heapincr (major_incr));
- percent_free = norm_pfree (percent_fr);
diff --git a/dev-lang/mosml/metadata.xml b/dev-lang/mosml/metadata.xml
deleted file mode 100644
index ff62877c67ae..000000000000
--- a/dev-lang/mosml/metadata.xml
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-<maintainer>
- <email>maintainer-needed@gentoo.org</email>
-</maintainer>
-</pkgmetadata>
diff --git a/dev-lang/mosml/mosml-2.01-r1.ebuild b/dev-lang/mosml/mosml-2.01-r1.ebuild
deleted file mode 100644
index 055e0d930c7c..000000000000
--- a/dev-lang/mosml/mosml-2.01-r1.ebuild
+++ /dev/null
@@ -1,57 +0,0 @@
-# Copyright 1999-2012 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/mosml-2.01-r1.ebuild,v 1.10 2012/10/10 15:33:05 ranger Exp $
-
-EAPI="3"
-
-inherit eutils
-
-DESCRIPTION="Moscow ML - a lightweight implementation of Standard ML (SML)"
-SRC_URI="http://www.itu.dk/people/sestoft/mosml/mos201src.tar.gz"
-HOMEPAGE="http://www.itu.dk/people/sestoft/mosml.html"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
-IUSE=""
-
-DEPEND=""
-RDEPEND=""
-
-S="${WORKDIR}/${PN}/src"
-
-src_prepare() {
- epatch "${FILESDIR}/${P}-malloc.patch" #154859
-
- #Fixing pre-stripped files
- sed -i -e "/STRIP/d" mosmlyac/Makefile || die "sed Makefile failed"
- sed -i -e "/STRIP/d" runtime/Makefile || die "sed Makefile failed"
- sed -i -e 's/make/$(MAKE)/g' Makefile runtime/Makefile mosmlyac/Makefile \
- mosmllib/Makefile compiler/Makefile toolssrc/Makefile lex/Makefile \
- launch/Makefile doc/Makefile config/Makefile || die "Sed failed"
- sed -i -e 's/$(LD)/$(LD) $(LDFLAGS)/g' runtime/Makefile || die "Sed failed"
- sed -i -e "s|^CPP=/lib/cpp|CPP=${EPREFIX}/usr/bin/cpp|" Makefile.inc \
- || die "Sed failed"
- sed -i -e 's/$(CC) $(CFLAGS)/$(CC) $(LDFLAGS)/' mosmlyac/Makefile || die "Sed failed"
-}
-
-src_configure() { :; }
-
-src_compile() {
- emake CC=$(tc-getCC) CPP="$(tc-getCPP) -P -traditional -Dunix -Umsdos" \
- MOSMLHOME="${EPREFIX}"/opt/mosml world || die
-}
-
-src_install() {
- emake MOSMLHOME="${ED}"/opt/mosml install || die
- rm "${ED}"opt/mosml/lib/camlrunm || die # This is a bad symlink
- echo "#!${EPREFIX}/opt/mosml/bin/camlrunm" > "${ED}"opt/mosml/lib/header
-
- dodoc ../README || die
- dosym /opt/mosml/bin/mosml /usr/bin/mosml || die
- dosym /opt/mosml/bin/mosmlc /usr/bin/mosmlc || die
- dosym /opt/mosml/bin/mosmllex /usr/bin/mosmllex || die
- dosym /opt/mosml/bin/mosmlyac /usr/bin/mosmlyac || die
- dosym /opt/mosml/bin/camlrunm /usr/bin/camlrunm || die
- dosym /opt/mosml/bin/camlrunm /opt/mosml/lib/camlrunm || die
-}