From 34dea8e38f88007799629d0a56b12dec480b1d21 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 20 Jun 2021 14:45:01 +0100 Subject: gentoo resync : 20.06.2021 --- dev-libs/ppl/Manifest | 2 +- dev-libs/ppl/ppl-1.2-r3.ebuild | 69 ------------------------------------------ dev-libs/ppl/ppl-1.2-r4.ebuild | 69 ++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 70 insertions(+), 70 deletions(-) delete mode 100644 dev-libs/ppl/ppl-1.2-r3.ebuild create mode 100644 dev-libs/ppl/ppl-1.2-r4.ebuild (limited to 'dev-libs/ppl') diff --git a/dev-libs/ppl/Manifest b/dev-libs/ppl/Manifest index b3ac8c9f8846..dc80585857a6 100644 --- a/dev-libs/ppl/Manifest +++ b/dev-libs/ppl/Manifest @@ -3,5 +3,5 @@ AUX disable-mipproblem2.patch 1098 BLAKE2B b15da536e0e46a2edbec44e4c68a97e57b96d AUX fix-clang-build.patch 1546 BLAKE2B ba0557f5cb36defa21cc5afdfa8d65bda9fe2a3b8d6262609eccf70e29f6442a7b261b22ffc112ff30cfddc0b8f2a80ffd787d2e9f14f8bb1ba35c095110d695 SHA512 d802c597e408ca50fe01e240c868b2fb5cc2ca3ff00cf15ff1de1c1dc5d0cf0b88da25de0d1151f8011e331f85e343348150285bb515c9ffc17806ff4edd082d DIST ppl-1.2-r3-disable-boeing-tests.patch 21485 BLAKE2B e68bab59710c63726f04a139e84d72b277e85625bc405c594a22c005186a2c3aae3850e17b81d38fa0231dcfd08454d488bbad2474ed810be78ef646d9c92559 SHA512 fc8dc020e493e5726167741d1548c661bac07991a982bf09ff61f593adfd2faf723886cbcb16d741db61e46530c4dddf49b6b61b67fef7d5ac15ca577c7fc46d DIST ppl-1.2.tar.xz 14136236 BLAKE2B 060b73384dac558dc8b2b0f1027ed0aa270b0adf0992c2ca1a281fa7bcdf959cba3a9e8ee29e978d12c3eee606b819075c5bcab59f4aed24fbf1c5512b5e2c36 SHA512 b509ed85fa6aedd40119bd4c980b17f33072c56c2acd923da3445b6bc80d48051cfa4c04cce96f6974711f5279c24b31cb3869f87b2eb6a2a1b30a058c809350 -EBUILD ppl-1.2-r3.ebuild 1796 BLAKE2B 3539c5632cffcbd77a4d116637ea4d3aa737a33e4a47fa159a4af84b9c0d89abf67d6db70703c43e28b032dbcdcf3d83f28b1a3d029884889e666d220dd1f1cf SHA512 b3851d84685a7147c4eaf0282eb7fba643b0c1009684fd0b2ce145d8aade498de6846d74fd6077f7d47d056a7fce2ddbec00b4ec698d3a6c53ba86e38bbbe706 +EBUILD ppl-1.2-r4.ebuild 1799 BLAKE2B cd793fa53344eddfe3f03cbf40ae9caf2cc3993d3613f0b8ee995c204040b74eb72ba40721f6d5e50e5adf39f918df879e601aa0d2cb513f45d149bee7b85c09 SHA512 255d59d036763b219173a4cc2733c7aed6af5104b6756670b74b52818608ada70658452780fb6acf3f6298d3cf2a11ca15d4055242ce413f0b68be84aaa186de MISC metadata.xml 889 BLAKE2B 569fe94d744c94a0991a4a41ab14df4450b7a9b4b2b2adad1d39cf6638b57ebf89246bcd99bfb2c8823f9c6d757c0070a78b8a0bf4afcc9afe8a08e4dd4c870e SHA512 f2b98bcc8cffaec5802fbc2788aab5e5571302c9f6296a34085febea857ef9f10f56ca722bd4ae3a8a80725a3a53e69c88ea7f33adab01221be04fe40e39f3e2 diff --git a/dev-libs/ppl/ppl-1.2-r3.ebuild b/dev-libs/ppl/ppl-1.2-r3.ebuild deleted file mode 100644 index c3e4bc769be5..000000000000 --- a/dev-libs/ppl/ppl-1.2-r3.ebuild +++ /dev/null @@ -1,69 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit autotools - -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/ppl-1.2-r3-disable-boeing-tests.patch" - -LICENSE="GPL-3" -SLOT="0/4.14" # SONAMEs -KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 sparc x86 ~amd64-linux ~sparc-solaris" -IUSE="cdd +cxx doc lpsol pch static-libs 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() { - 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) \ - $(use_enable static-libs static) \ - --enable-interfaces="${interfaces[*]}" \ - $(use test && echo --enable-check=quick) -} - -src_install() { - default - if ! use static-libs; then - find "${ED}"/usr -name 'libppl*.la' -delete || die - fi - - pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die - rm gpl* fdl* || die - if ! use doc ; then - rm -r *-html/ *.ps.gz *.pdf || die - fi -} diff --git a/dev-libs/ppl/ppl-1.2-r4.ebuild b/dev-libs/ppl/ppl-1.2-r4.ebuild new file mode 100644 index 000000000000..0ff38f8e2e76 --- /dev/null +++ b/dev-libs/ppl/ppl-1.2-r4.ebuild @@ -0,0 +1,69 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit autotools + +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/ppl-1.2-r3-disable-boeing-tests.patch" + +LICENSE="GPL-3" +SLOT="0/4.14" # SONAMEs +KEYWORDS="~alpha amd64 arm ~arm64 ~hppa ~ia64 ~m68k ~mips ppc ppc64 ~s390 sparc x86 ~amd64-linux ~sparc-solaris" +IUSE="cdd +cxx doc lpsol pch static-libs 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() { + 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) \ + $(use_enable static-libs static) \ + --enable-interfaces="${interfaces[*]}" \ + $(use test && echo --enable-check=quick) +} + +src_install() { + default + if ! use static-libs; then + find "${ED}"/usr -name 'libppl*.la' -delete || die + fi + + pushd "${ED}/usr/share/doc/${PF}" >/dev/null || die + rm gpl* fdl* || die + if ! use doc ; then + rm -r *-html/ *.ps.gz *.pdf || die + fi +} -- cgit v1.2.3