From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 4D22D158095 for ; Thu, 1 Sep 2022 02:13:12 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 5D036E085B; Thu, 1 Sep 2022 02:13:11 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 461A4E085B for ; Thu, 1 Sep 2022 02:13:11 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 523FD33BF54 for ; Thu, 1 Sep 2022 02:13:10 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id B408558D for ; Thu, 1 Sep 2022 02:13:08 +0000 (UTC) From: "Michael Orlitzky" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Michael Orlitzky" Message-ID: <1661998381.cfe76aed48c19ba12144170f3bb63d4322b87def.mjo@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-libs/ppl/ppl-1.2-r5.ebuild X-VCS-Directories: dev-libs/ppl/ X-VCS-Committer: mjo X-VCS-Committer-Name: Michael Orlitzky X-VCS-Revision: cfe76aed48c19ba12144170f3bb63d4322b87def X-VCS-Branch: master Date: Thu, 1 Sep 2022 02:13:08 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 2fb98b07-d45f-4e38-808d-4fdb36155db4 X-Archives-Hash: 839feb1ed4c4dd63fe53d4cbf612714c commit: cfe76aed48c19ba12144170f3bb63d4322b87def Author: Michael Orlitzky gentoo org> AuthorDate: Thu Sep 1 02:10:40 2022 +0000 Commit: Michael Orlitzky gentoo org> CommitDate: Thu Sep 1 02:13:01 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfe76aed dev-libs/ppl: update EAPI 7 -> 8, remove redundant docs Closes: https://bugs.gentoo.org/867376 Signed-off-by: Michael Orlitzky gentoo.org> dev-libs/ppl/ppl-1.2-r5.ebuild | 68 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 68 insertions(+) diff --git a/dev-libs/ppl/ppl-1.2-r5.ebuild b/dev-libs/ppl/ppl-1.2-r5.ebuild new file mode 100644 index 000000000000..bb3fe88def7b --- /dev/null +++ b/dev-libs/ppl/ppl-1.2-r5.ebuild @@ -0,0 +1,68 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +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 ~riscv ~s390 ~sparc ~x86 ~amd64-linux ~sparc-solaris" +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() { + 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 +}