diff options
| -rw-r--r-- | dev-lang/mlton-bin/ChangeLog | 10 | ||||
| -rw-r--r-- | dev-lang/mlton-bin/Manifest | 4 | ||||
| -rw-r--r-- | dev-lang/mlton-bin/files/digest-mlton-bin-20040227 | 1 | ||||
| -rw-r--r-- | dev-lang/mlton-bin/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-lang/mlton-bin/mlton-bin-20040227.ebuild | 39 |
5 files changed, 59 insertions, 0 deletions
diff --git a/dev-lang/mlton-bin/ChangeLog b/dev-lang/mlton-bin/ChangeLog new file mode 100644 index 000000000000..b20a1b5b535c --- /dev/null +++ b/dev-lang/mlton-bin/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-lang/mlton-bin +# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton-bin/ChangeLog,v 1.1 2004/06/10 08:31:34 mattam Exp $ + +*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 new file mode 100644 index 000000000000..4cb89e62f3a0 --- /dev/null +++ b/dev-lang/mlton-bin/Manifest @@ -0,0 +1,4 @@ +MD5 e18cfabac293443f342f8650ebd109f9 mlton-bin-20040227.ebuild 813 +MD5 8b350f19c06fcabf1053b0421b7c3f5a metadata.xml 155 +MD5 7f0a60ead0e457ed87848ca3fa8fb37c ChangeLog 395 +MD5 042898d5524570a51e4f01615ab5259b files/digest-mlton-bin-20040227 77 diff --git a/dev-lang/mlton-bin/files/digest-mlton-bin-20040227 b/dev-lang/mlton-bin/files/digest-mlton-bin-20040227 new file mode 100644 index 000000000000..d607bee3aa3c --- /dev/null +++ b/dev-lang/mlton-bin/files/digest-mlton-bin-20040227 @@ -0,0 +1 @@ +MD5 e24f7770e735d3089da3bd05f745131b mlton-20040227-1.i386-linux.tgz 4066337 diff --git a/dev-lang/mlton-bin/metadata.xml b/dev-lang/mlton-bin/metadata.xml new file mode 100644 index 000000000000..2193d772e351 --- /dev/null +++ b/dev-lang/mlton-bin/metadata.xml @@ -0,0 +1,5 @@ +<?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 new file mode 100644 index 000000000000..0a4c2d03ab1b --- /dev/null +++ b/dev-lang/mlton-bin/mlton-bin-20040227.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2004 Gentoo Technologies, Inc. +# 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.1 2004/06/10 08:31:34 mattam 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/glibc +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 +}
\ No newline at end of file |