forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
/
gprolog-1.4.4.ebuild
68 lines (54 loc) · 1.6 KB
/
gprolog-1.4.4.ebuild
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
59
60
61
62
63
64
65
66
67
68
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=4
inherit eutils flag-o-matic multilib
DESCRIPTION="GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD)"
HOMEPAGE="http://www.gprolog.org/"
SRC_URI="mirror://gnu/gprolog/${P}.tar.gz"
S="${WORKDIR}"/${P}
LICENSE="GPL-2 LGPL-3"
SLOT="0"
KEYWORDS="amd64 ppc x86 ~amd64-linux ~x86-linux ~ppc-macos ~x86-solaris"
IUSE="debug doc examples"
DEPEND=""
RDEPEND=""
src_prepare() {
epatch "${FILESDIR}"/${P}-ldflags.patch
epatch "${FILESDIR}"/${P}-links.patch
epatch "${FILESDIR}"/${P}-nodocs.patch
epatch "${FILESDIR}"/${P}-txt-file.patch
}
src_configure() {
CFLAGS_MACHINE="`get-flag -march` `get-flag -mcpu` `get-flag -mtune`"
append-flags -fno-strict-aliasing
use debug && append-flags -DDEBUG
if gcc-specs-pie ; then
# gplc generates its own native ASM; disable PIE
append-ldflags -nopie
fi
cd "${S}"/src
econf \
CFLAGS_MACHINE="${CFLAGS_MACHINE}" \
--with-c-flags="${CFLAGS}" \
--with-install-dir="${EPREFIX}"/usr/$(get_libdir)/${P} \
--with-links-dir="${EPREFIX}"/usr/bin \
$(use_with doc doc-dir ${EPREFIX}/usr/share/doc/${PF}) \
$(use_with doc html-dir ${EPREFIX}/usr/share/doc/${PF}/html) \
$(use_with examples examples-dir ${EPREFIX}/usr/share/doc/${PF}/examples)
}
src_compile() {
cd "${S}"/src
# gprolog is compiled using gplc which cannot be run in parallel
emake -j1
}
src_test() {
cd "${S}"/src
emake -j1 check
}
src_install() {
cd "${S}"/src
emake DESTDIR="${D}" install
cd "${S}"
dodoc ChangeLog NEWS PROBLEMS README VERSION
}