diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2013-07-01 18:47:36 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2013-07-01 18:47:36 +0200 |
| commit | 8cde9088f85882c2538180f0d88e73d685476249 (patch) | |
| tree | 01334ed219a50f88242782d0295eaa760aca7d3a | |
| parent | 61a4bfbcf01b542b7c482ef06fbb2b3a035148bc (diff) | |
| download | overlay-8cde9088f85882c2538180f0d88e73d685476249.tar.gz overlay-8cde9088f85882c2538180f0d88e73d685476249.tar.bz2 overlay-8cde9088f85882c2538180f0d88e73d685476249.zip | |
Remove mlton -- included in main tree
| -rw-r--r-- | dev-lang/mlton/Manifest | 4 | ||||
| -rw-r--r-- | dev-lang/mlton/mlton-20100608.ebuild | 58 |
2 files changed, 0 insertions, 62 deletions
diff --git a/dev-lang/mlton/Manifest b/dev-lang/mlton/Manifest deleted file mode 100644 index ac95bfd..0000000 --- a/dev-lang/mlton/Manifest +++ /dev/null @@ -1,4 +0,0 @@ -DIST mlton-20100608-1.amd64-linux.static.tgz 17872377 RMD160 d7e876a4e17bfe85bd642f78fe6a6103bcf7cb98 SHA1 3f18abfb72d1bd920355007b7554764e4e50b080 SHA256 39f1e5ac18688b97c3a727d87eaffaf48e8f6792cbb89a5f6480e66b1c62d144 -DIST mlton-20100608-1.src.tgz 5911220 RMD160 95ea34178d3a988e15b969d225823120f69dbf27 SHA1 f6b1dbe0ef3b045e78a730fd1f6e9b6a62ea8c33 SHA256 6fa94eba279332ea1d30cfc37d41fbe1978f83d807e22f7e21a4f5e14c0d2d6b -DIST mlton-20100608-1.x86-linux.static.tgz 14976911 RMD160 8fd5c61692a5278e0019dd7b5bb1bad54275479f SHA1 c82eb2b62b019ea421e9688326f066904b6b755f SHA256 dc715b77e4415057f6d41ff7897526639cfa96b9fd4dbab4ad573c985c430f9b -EBUILD mlton-20100608.ebuild 1620 RMD160 e1e6b637fece7b893ee871b4966a8f96f1331f2f SHA1 7f285d3acb7c30722b0430a3097de51d09c52708 SHA256 6661896c24b60f4dbcefbbe38aba95c9ba437066bb68afd3daa0ca1b8990bf6a diff --git a/dev-lang/mlton/mlton-20100608.ebuild b/dev-lang/mlton/mlton-20100608.ebuild deleted file mode 100644 index 41c31dd..0000000 --- a/dev-lang/mlton/mlton-20100608.ebuild +++ /dev/null @@ -1,58 +0,0 @@ -# Copyright 1999-2010 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/mlton-20070826-r1.ebuild,v 1.2 2010/07/11 22:01:52 hwoarang Exp $ - -inherit eutils - -DESCRIPTION="Standard ML optimizing compiler and libraries" -BASE_URI="http://mlton.org/pages/Download/attachments/" -SRC_URI="!binary? ( ${BASE_URI}/${P}-1.src.tgz ) - binary? ( amd64? ( ${BASE_URI}/${P}-1.amd64-linux.static.tgz ) - x86? ( ${BASE_URI}/${P}-1.x86-linux.static.tgz ) )" - -HOMEPAGE="http://www.mlton.org" - -LICENSE="as-is" -SLOT="0" -KEYWORDS="-* ~amd64 ~x86" - -IUSE="binary doc" - -DEPEND="dev-libs/gmp - doc? ( virtual/latex-base )" - -QA_PRESTRIPPED=" - usr/bin/mlnlffigen - usr/bin/mllex - usr/bin/mlprof - usr/bin/mlyacc - usr/lib/mlton/mlton-compile" - -src_compile() { - if use !binary; then - has_version dev-lang/mlton || die "emerge with binary use flag first" - - # Fix location in which to install man pages - sed -i 's@^MAN_PREFIX_EXTRA :=.*@MAN_PREFIX_EXTRA := /share@' \ - Makefile || die 'sed Makefile failed' - - # Does not support parallel make - emake -j1 all-no-docs || die - if use doc; then - export VARTEXFONTS="${T}/fonts" - emake docs || die "failed to create documentation" - fi - fi -} - -src_install() { - if use binary; then - # Fix location in which to install man pages - mv "${WORKDIR}/usr/man" "${WORKDIR}/usr/share" || die "mv man failed" - - mv "${WORKDIR}/usr" "${D}" || die "mv failed" - else - emake DESTDIR="${D}" install-no-docs || die - if use doc; then emake DESTDIR="${D}" TDOC="${D}"/usr/share/doc/${P} install-docs || die; fi - fi -} |