63 lines
1.7 KiB
Bash
63 lines
1.7 KiB
Bash
# Copyright 1999-2012 Gentoo Foundation
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
# $Header: /var/cvsroot/gentoo-x86/dev-lang/mlton/mlton-20100608.ebuild,v 1.1 2012/10/16 09:07:05 hkbst Exp $
|
|
|
|
inherit eutils
|
|
|
|
DESCRIPTION="Standard ML optimizing compiler and libraries"
|
|
BASE_URI="mirror://sourceforge/${PN}"
|
|
SRC_URI="!binary? ( ${BASE_URI}/${P}.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"
|
|
# there is support for ppc64 and ia64, but no
|
|
# binaries are provided and there is no native
|
|
# code generation for these platforms
|
|
KEYWORDS="-* ~amd64 ~x86"
|
|
|
|
IUSE="binary doc"
|
|
|
|
DEPEND="dev-libs/gmp
|
|
doc? ( virtual/latex-base )"
|
|
RDEPEND="dev-libs/gmp"
|
|
|
|
QA_PRESTRIPPED="binary? (
|
|
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
|
|
}
|