From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-1449843-garchives=archives.gentoo.org@lists.gentoo.org>
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 07152158020
for <garchives@archives.gentoo.org>; Tue, 25 Oct 2022 13:43:10 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id 3FA1BE0C31;
Tue, 25 Oct 2022 13:43:09 +0000 (UTC)
Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183])
(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 23990E0C31
for <gentoo-commits@lists.gentoo.org>; Tue, 25 Oct 2022 13:43:09 +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))
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id 1E6E233D3C2
for <gentoo-commits@lists.gentoo.org>; Tue, 25 Oct 2022 13:43:08 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 9CE505D6
for <gentoo-commits@lists.gentoo.org>; Tue, 25 Oct 2022 13:43:06 +0000 (UTC)
From: "Michael Orlitzky" <mjo@gentoo.org>
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" <mjo@gentoo.org>
Message-ID: <1666705320.97a6f1c945aef15774aba257fd9088bf5c5013ad.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-r4.ebuild
X-VCS-Directories: dev-libs/ppl/
X-VCS-Committer: mjo
X-VCS-Committer-Name: Michael Orlitzky
X-VCS-Revision: 97a6f1c945aef15774aba257fd9088bf5c5013ad
X-VCS-Branch: master
Date: Tue, 25 Oct 2022 13:43:06 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply
X-Archives-Salt: 19433f84-bf75-47de-a60a-11f3f17a5f1c
X-Archives-Hash: 5750c93434872fbc951b10aedc47f11d
commit: 97a6f1c945aef15774aba257fd9088bf5c5013ad
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Tue Oct 25 13:42:00 2022 +0000
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Tue Oct 25 13:42:00 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=97a6f1c9
dev-libs/ppl: drop 1.2-r4
Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org>
dev-libs/ppl/ppl-1.2-r4.ebuild | 69 ------------------------------------------
1 file changed, 69 deletions(-)
diff --git a/dev-libs/ppl/ppl-1.2-r4.ebuild b/dev-libs/ppl/ppl-1.2-r4.ebuild
deleted file mode 100644
index 6ce0fa97ee98..000000000000
--- a/dev-libs/ppl/ppl-1.2-r4.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2022 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 ~riscv ~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
-}