| 1 |
# Copyright 1999-2012 Gentoo Foundation
|
| 2 |
# Distributed under the terms of the GNU General Public License v2
|
| 3 |
# $Header: /var/cvsroot/gentoo-x86/dev-lang/gprolog/gprolog-1.4.0.ebuild,v 1.11 2012/07/04 18:29:36 keri Exp $
|
| 4 |
|
| 5 |
EAPI=2
|
| 6 |
|
| 7 |
inherit eutils flag-o-matic multilib
|
| 8 |
|
| 9 |
DESCRIPTION="GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD)"
|
| 10 |
HOMEPAGE="http://www.gprolog.org/"
|
| 11 |
SRC_URI="mirror://gnu/gprolog/${P}.tar.gz"
|
| 12 |
S="${WORKDIR}"/${P}
|
| 13 |
|
| 14 |
LICENSE="GPL-2 LGPL-3"
|
| 15 |
SLOT="0"
|
| 16 |
KEYWORDS="amd64 ppc x86"
|
| 17 |
IUSE="debug doc examples"
|
| 18 |
|
| 19 |
DEPEND=""
|
| 20 |
RDEPEND=""
|
| 21 |
|
| 22 |
src_prepare() {
|
| 23 |
epatch "${FILESDIR}"/${P}-ldflags.patch
|
| 24 |
epatch "${FILESDIR}"/${P}-links.patch
|
| 25 |
epatch "${FILESDIR}"/${P}-ma2asm-pllong.patch
|
| 26 |
epatch "${FILESDIR}"/${P}-nodocs.patch
|
| 27 |
epatch "${FILESDIR}"/${P}-txt-file.patch
|
| 28 |
}
|
| 29 |
|
| 30 |
src_configure() {
|
| 31 |
CFLAGS_MACHINE="`get-flag -march` `get-flag -mcpu` `get-flag -mtune`"
|
| 32 |
|
| 33 |
append-flags -fno-strict-aliasing
|
| 34 |
use debug && append-flags -DDEBUG
|
| 35 |
|
| 36 |
if gcc-specs-pie ; then
|
| 37 |
# gplc generates its own native ASM; disable PIE
|
| 38 |
append-ldflags -nopie
|
| 39 |
fi
|
| 40 |
|
| 41 |
cd "${S}"/src
|
| 42 |
econf \
|
| 43 |
CFLAGS_MACHINE="${CFLAGS_MACHINE}" \
|
| 44 |
--with-c-flags="${CFLAGS}" \
|
| 45 |
--with-install-dir=/usr/$(get_libdir)/${P} \
|
| 46 |
--with-links-dir=/usr/bin \
|
| 47 |
$(use_with doc doc-dir /usr/share/doc/${PF}) \
|
| 48 |
$(use_with doc html-dir /usr/share/doc/${PF}/html) \
|
| 49 |
$(use_with examples examples-dir /usr/share/doc/${PF}/examples)
|
| 50 |
}
|
| 51 |
|
| 52 |
src_compile() {
|
| 53 |
cd "${S}"/src
|
| 54 |
emake || die "emake failed"
|
| 55 |
}
|
| 56 |
|
| 57 |
src_test() {
|
| 58 |
cd "${S}"/src
|
| 59 |
emake check || die "make check failed. See above for details."
|
| 60 |
}
|
| 61 |
|
| 62 |
src_install() {
|
| 63 |
cd "${S}"/src
|
| 64 |
emake DESTDIR="${D}" install || die "emake install failed"
|
| 65 |
|
| 66 |
cd "${S}"
|
| 67 |
dodoc ChangeLog NEWS PROBLEMS README VERSION || die "dodoc failed"
|
| 68 |
}
|
Parent Directory
| 
Revision Log