mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2026-05-06 07:27:03 -04:00
Fabian Groffen
2d25fad95c
Bug: https://bugs.gentoo.org/473598 Bug: https://bugs.gentoo.org/720224 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
73 lines
1.9 KiB
Bash
73 lines
1.9 KiB
Bash
# Copyright 1999-2025 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=8
|
|
|
|
inherit autotools flag-o-matic
|
|
|
|
DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex systems"
|
|
HOMEPAGE="http://bugseng.com/products/ppl"
|
|
SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz
|
|
https://dev.gentoo.org/~juippis/distfiles/tmp/${P}-r3-disable-boeing-tests.patch"
|
|
|
|
LICENSE="GPL-3"
|
|
SLOT="0/4.14" # SONAMEs
|
|
KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~m68k ~ppc ppc64 ~riscv ~s390 ~sparc x86"
|
|
IUSE="cdd +cxx doc lpsol pch test"
|
|
|
|
RDEPEND=">=dev-libs/gmp-6[cxx(+)]
|
|
lpsol? ( sci-mathematics/glpk )"
|
|
DEPEND="${RDEPEND}
|
|
app-arch/xz-utils
|
|
sys-devel/m4"
|
|
|
|
RESTRICT="!test? ( test )"
|
|
|
|
PATCHES=(
|
|
"${FILESDIR}/disable-mipproblem2.patch"
|
|
"${FILESDIR}/disable-containsintegerpoint1.patch"
|
|
"${DISTDIR}/ppl-1.2-r3-disable-boeing-tests.patch"
|
|
"${FILESDIR}/fix-clang-build.patch"
|
|
)
|
|
|
|
src_prepare() {
|
|
default
|
|
|
|
# The patch should do this, but then the diff makes it run
|
|
# afoul of the Gentoo patch size limit.
|
|
rm demos/ppl_lpsol/examples/boeing[12].mps || die
|
|
|
|
eautoreconf
|
|
}
|
|
|
|
src_configure() {
|
|
# mem_fun_ref and friends were removed in c++17, and some toolchains
|
|
# are beginning to default to that (bug 919850).
|
|
append-cxxflags -std=c++14
|
|
|
|
local interfaces=( c )
|
|
use cxx && interfaces+=( cxx )
|
|
econf \
|
|
--disable-debugging \
|
|
--disable-optimization \
|
|
$(use_enable doc documentation) \
|
|
$(use_enable cdd ppl_lcdd) \
|
|
$(use_enable lpsol ppl_lpsol) \
|
|
$(use_enable pch) \
|
|
--enable-interfaces="${interfaces[*]}" \
|
|
$(use test && echo --enable-check=quick)
|
|
}
|
|
|
|
src_install() {
|
|
default
|
|
find "${ED}" -type f -name '*.la' -delete || die
|
|
|
|
pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die
|
|
rm gpl* fdl* || die # Redundant license texts
|
|
rm *.ps.gz || die # Each ps.gz has a pdf counterpart
|
|
|
|
if ! use doc ; then
|
|
rm -r *-html/ *.pdf || die
|
|
fi
|
|
}
|