blob: bab7b4d79adbe09796a21df6aab3ac50ece2a067 (
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit autotools flag-o-matic toolchain-funcs
DESCRIPTION="Native Prolog compiler with constraint solving over finite domains (FD)"
HOMEPAGE="http://www.gprolog.org/"
SRC_URI="http://www.gprolog.org/${P}.tar.gz"
S="${WORKDIR}"/${P}
LICENSE="|| ( GPL-2+ LGPL-3+ )"
SLOT="0"
KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux ~ppc-macos"
IUSE="debug doc examples"
PATCHES=(
# https://github.com/didoudiaz/gprolog/commit/0ba64c81255e910d68be2191fd1e688801320db8
"${FILESDIR}"/${P}-ldflags.patch
"${FILESDIR}"/${P}-links.patch
"${FILESDIR}"/${P}-destdir.patch
"${FILESDIR}"/${P}-llvm-as.patch
)
src_prepare() {
default
cd "${S}"/src || die
eautoconf
}
src_configure() {
CFLAGS_MACHINE="$(get-flag -march) $(get-flag -mcpu) $(get-flag -mtune)"
use debug && append-flags -DDEBUG
if tc-enables-pie; then
# gplc generates its own native ASM; disable PIE
append-ldflags -no-pie
fi
if tc-is-gcc && ! use x86; then
gprolog_use_regs=yes
else
gprolog_use_regs=no
fi
if tc-is-clang; then
AS=$(tc-getCC)
else
AS=$(tc-getAS)
fi
cd "${S}"/src || die
local myeconfargs=(
AS="${AS}"
CFLAGS_MACHINE="${CFLAGS_MACHINE}"
--with-c-flags="${CFLAGS}"
--with-install-dir="${EPREFIX}"/usr/$(get_libdir)/${P}
--with-links-dir="${EPREFIX}"/usr/bin
--enable-regs=${gprolog_use_regs}
$(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)
)
econf "${myeconfargs[@]}"
}
src_compile() {
cd "${S}"/src || die
# gprolog is compiled using gplc which cannot be run in parallel
emake -j1
}
src_test() {
cd "${S}"/src || die
emake -j1 check
}
src_install() {
cd "${S}"/src || die
emake DESTDIR="${D}" TXT_FILES= install
cd "${S}" || die
dodoc ChangeLog NEWS PROBLEMS README
}
|
GitWeb