diff options
| author |   Marijn Schouten <hkbst@gentoo.org> | 2009-03-22 17:05:06 +0000 |
|---|---|---|
| committer | Marijn Schouten <hkbst@gentoo.org> | 2009-03-22 17:05:06 +0000 |
| commit | 53ed1a4f24140e15196d9fb9389333b6f438eb13 (patch) | |
| tree | 8ea1adcc724d1ba731f329bc257733852203bd8e /dev-lang | |
| parent | Clean up old revision. (diff) | |
| download | historical-53ed1a4f24140e15196d9fb9389333b6f438eb13.tar.gz historical-53ed1a4f24140e15196d9fb9389333b6f438eb13.tar.bz2 historical-53ed1a4f24140e15196d9fb9389333b6f438eb13.zip | |
Remove mlton-bin
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/mlton-bin/ChangeLog | 23 | ||||
| -rw-r--r-- | dev-lang/mlton-bin/Manifest | 4 | ||||
| -rw-r--r-- | dev-lang/mlton-bin/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-lang/mlton-bin/mlton-bin-20040227.ebuild | 39 |
4 files changed, 0 insertions, 71 deletions
diff --git a/dev-lang/mlton-bin/ChangeLog b/dev-lang/mlton-bin/ChangeLog deleted file mode 100644 index 6ccdd716a76b..000000000000 --- a/dev-lang/mlton-bin/ChangeLog +++ /dev/null @@ -1,23 +0,0 @@ -# ChangeLog for dev-lang/mlton-bin -# Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton-bin/ChangeLog,v 1.5 2007/02/09 07:27:46 flameeyes Exp $ - - 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. - - 01 Jul 2004; Jeremy Huddleston <eradicator@gentoo.org> - mlton-bin-20040227.ebuild: - virtual/glibc -> virtual/libc - - 10 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> mlton-bin-20040227.ebuild: - Add -* to keywords, there is only one version of the binary, for x86. - -*mlton-bin-20040227 (10 Jun 2004) - - 10 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> metadata.xml, - mlton-bin-20040227.ebuild: - Added mlton binary ebuild for latest version. - diff --git a/dev-lang/mlton-bin/Manifest b/dev-lang/mlton-bin/Manifest deleted file mode 100644 index b9ff09ca2948..000000000000 --- a/dev-lang/mlton-bin/Manifest +++ /dev/null @@ -1,4 +0,0 @@ -DIST mlton-20040227-1.i386-linux.tgz 4066337 RMD160 2d9f191ed5190ed3339734b25581612881f262ab SHA1 15223623a18286c35b45cb45374697f7e7122e74 SHA256 e5abda04aab25b4f5ae5c54ec92a19f25a12c997d26baaa71d0cc2f50f29c0ef -EBUILD mlton-bin-20040227.ebuild 812 RMD160 7db55450fd54e2d72dca3e6e8ae39cfecc3fd200 SHA1 e2c0b9a6ffefba8b11945544790e28ddec1af504 SHA256 1444bfce9bc94f3539db170fa12b35e42656a85ee07ba202527d4331c1316c4e -MISC ChangeLog 872 RMD160 847804ae5d4589c8a06560f107f61af21be42f3d SHA1 2264b0d9aa22053db96105fecde2c13247639c25 SHA256 da23eba30945bebcda46b7f94907c770f9deaa2581960209c7cf457bdbf6a8ee -MISC metadata.xml 155 RMD160 dfaa057e679b01302a807c75a32a910098b26809 SHA1 94024f83dcacbb53e92be090dd0f994ec93dc90d SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 diff --git a/dev-lang/mlton-bin/metadata.xml b/dev-lang/mlton-bin/metadata.xml deleted file mode 100644 index 2193d772e351..000000000000 --- a/dev-lang/mlton-bin/metadata.xml +++ /dev/null @@ -1,5 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> -<herd>ml</herd> -</pkgmetadata> diff --git a/dev-lang/mlton-bin/mlton-bin-20040227.ebuild b/dev-lang/mlton-bin/mlton-bin-20040227.ebuild deleted file mode 100644 index 21480c7e8a24..000000000000 --- a/dev-lang/mlton-bin/mlton-bin-20040227.ebuild +++ /dev/null @@ -1,39 +0,0 @@ -# Copyright 1999-2004 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton-bin/mlton-bin-20040227.ebuild,v 1.4 2004/07/02 04:28:42 eradicator Exp $ - -inherit eutils - -DESCRIPTION="Standard ML optimizing compiler and libraries" -SRC_URI="http://www.mlton.org/download/mlton-${PV}-1.i386-linux.tgz" -HOMEPAGE="http://www.mlton.org" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="-* ~x86" - -IUSE="doc" - -DEPEND="virtual/libc -dev-libs/gmp" - -src_install() { - cd ${WORKDIR}/usr - dobin bin/* - - insinto /usr/lib/mlton - - cp -Rp lib/mlton/* ${D}/usr/lib/mlton - - doman man/man1/*.1.gz - - cd share/doc/mlton - dodoc changelog README - dodoc license/* - - if use doc; then - cp -R cmcat examples ${D}/usr/share/doc/${P}/ - dohtml user-guide/* - dodoc *.ps.gz - fi -} |