blob: 41c31dd6793c60b86e1282b1ca9869fbedac8f84 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
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
}
|
