summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRené Neumann <rene.neumann@in.tum.de>2012-02-17 19:02:56 +0100
committerRené Neumann <rene.neumann@in.tum.de>2012-02-17 19:02:56 +0100
commit04229674316b171286b42c59a29a3661ce4d08ab (patch)
tree9ed8771db45c7dddaa3ea721542be5b40a816c24
parent7351a09b50777dcf6d2aa91f70172b229d8a73f1 (diff)
downloadoverlay-04229674316b171286b42c59a29a3661ce4d08ab.tar.gz
overlay-04229674316b171286b42c59a29a3661ce4d08ab.tar.bz2
overlay-04229674316b171286b42c59a29a3661ce4d08ab.zip
Mlton
-rw-r--r--dev-lang/mlton/Manifest4
-rw-r--r--dev-lang/mlton/mlton-20100608.ebuild58
2 files changed, 62 insertions, 0 deletions
diff --git a/dev-lang/mlton/Manifest b/dev-lang/mlton/Manifest
new file mode 100644
index 0000000..ac95bfd
--- /dev/null
+++ b/dev-lang/mlton/Manifest
@@ -0,0 +1,4 @@
+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
new file mode 100644
index 0000000..41c31dd
--- /dev/null
+++ b/dev-lang/mlton/mlton-20100608.ebuild
@@ -0,0 +1,58 @@
+# 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
+}