1 |
commit: cfe76aed48c19ba12144170f3bb63d4322b87def |
2 |
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org> |
3 |
AuthorDate: Thu Sep 1 02:10:40 2022 +0000 |
4 |
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Sep 1 02:13:01 2022 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfe76aed |
7 |
|
8 |
dev-libs/ppl: update EAPI 7 -> 8, remove redundant docs |
9 |
|
10 |
Closes: https://bugs.gentoo.org/867376 |
11 |
Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org> |
12 |
|
13 |
dev-libs/ppl/ppl-1.2-r5.ebuild | 68 ++++++++++++++++++++++++++++++++++++++++++ |
14 |
1 file changed, 68 insertions(+) |
15 |
|
16 |
diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild |
17 |
new file mode 100644 |
18 |
index 000000000000..bb3fe88def7b |
19 |
--- /dev/null |
20 |
+++ b/dev-libs/ppl/ppl-1.2-r5.ebuild |
21 |
@@ -0,0 +1,68 @@ |
22 |
+# Copyright 1999-2022 Gentoo Authors |
23 |
+# Distributed under the terms of the GNU General Public License v2 |
24 |
+ |
25 |
+EAPI=8 |
26 |
+ |
27 |
+inherit autotools |
28 |
+ |
29 |
+DESCRIPTION="The Parma Polyhedra Library for numerical analysis of complex systems" |
30 |
+HOMEPAGE="http://bugseng.com/products/ppl" |
31 |
+SRC_URI="http://bugseng.com/products/ppl/download/ftp/releases/${PV}/${P}.tar.xz |
32 |
+ https://dev.gentoo.org/~juippis/distfiles/tmp/ppl-1.2-r3-disable-boeing-tests.patch" |
33 |
+ |
34 |
+LICENSE="GPL-3" |
35 |
+SLOT="0/4.14" # SONAMEs |
36 |
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~ia64 ~m68k ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc ~x86 ~amd64-linux ~sparc-solaris" |
37 |
+IUSE="cdd +cxx doc lpsol pch test" |
38 |
+ |
39 |
+RDEPEND=">=dev-libs/gmp-6[cxx(+)] |
40 |
+ lpsol? ( sci-mathematics/glpk )" |
41 |
+DEPEND="${RDEPEND} |
42 |
+ app-arch/xz-utils |
43 |
+ sys-devel/m4" |
44 |
+ |
45 |
+RESTRICT="!test? ( test )" |
46 |
+ |
47 |
+PATCHES=( |
48 |
+ "${FILESDIR}/disable-mipproblem2.patch" |
49 |
+ "${FILESDIR}/disable-containsintegerpoint1.patch" |
50 |
+ "${DISTDIR}/ppl-1.2-r3-disable-boeing-tests.patch" |
51 |
+ "${FILESDIR}/fix-clang-build.patch" |
52 |
+) |
53 |
+ |
54 |
+src_prepare() { |
55 |
+ default |
56 |
+ |
57 |
+ # The patch should do this, but then the diff makes it run |
58 |
+ # afoul of the Gentoo patch size limit. |
59 |
+ rm demos/ppl_lpsol/examples/boeing[12].mps || die |
60 |
+ |
61 |
+ eautoreconf |
62 |
+} |
63 |
+ |
64 |
+src_configure() { |
65 |
+ local interfaces=( c ) |
66 |
+ use cxx && interfaces+=( cxx ) |
67 |
+ econf \ |
68 |
+ --disable-debugging \ |
69 |
+ --disable-optimization \ |
70 |
+ $(use_enable doc documentation) \ |
71 |
+ $(use_enable cdd ppl_lcdd) \ |
72 |
+ $(use_enable lpsol ppl_lpsol) \ |
73 |
+ $(use_enable pch) \ |
74 |
+ --enable-interfaces="${interfaces[*]}" \ |
75 |
+ $(use test && echo --enable-check=quick) |
76 |
+} |
77 |
+ |
78 |
+src_install() { |
79 |
+ default |
80 |
+ find "${ED}" -type f -name '*.la' -delete || die |
81 |
+ |
82 |
+ pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die |
83 |
+ rm gpl* fdl* || die # Redundant license texts |
84 |
+ rm *.ps.gz || die # Each ps.gz has a pdf counterpart |
85 |
+ |
86 |
+ if ! use doc ; then |
87 |
+ rm -r *-html/ *.pdf || die |
88 |
+ fi |
89 |
+} |