From: "Michael Orlitzky" <mjo@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/
Date: Thu, 16 Apr 2020 11:41:40 +0000 (UTC) [thread overview]
Message-ID: <1587037189.d8589f774b34d14e9887be399e63f67d9858706c.mjo@gentoo> (raw)
commit: d8589f774b34d14e9887be399e63f67d9858706c
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 16 11:39:49 2020 +0000
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Thu Apr 16 11:39:49 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d8589f77
dev-libs/ppl: drop old "unused" ebuilds.
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org>
dev-libs/ppl/ppl-1.2-r1.ebuild | 46 --------------------------------
dev-libs/ppl/ppl-1.2.ebuild | 60 ------------------------------------------
2 files changed, 106 deletions(-)
diff --git a/dev-libs/ppl/ppl-1.2-r1.ebuild b/dev-libs/ppl/ppl-1.2-r1.ebuild
deleted file mode 100644
index 6980ae7142c..00000000000
--- a/dev-libs/ppl/ppl-1.2-r1.ebuild
+++ /dev/null
@@ -1,46 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="7"
-
-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"
-
-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="+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 )"
-
-src_configure() {
- local interfaces=( c )
- use cxx && interfaces+=( cxx )
- econf \
- --disable-debugging \
- --disable-optimization \
- $(use_enable doc documentation) \
- $(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
- use static-libs || find "${ED}"/usr -name 'libppl*.la' -delete
-
- 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.ebuild b/dev-libs/ppl/ppl-1.2.ebuild
deleted file mode 100644
index f312858082b..00000000000
--- a/dev-libs/ppl/ppl-1.2.ebuild
+++ /dev/null
@@ -1,60 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-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"
-
-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="+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 )"
-
-pkg_setup() {
- if use test ; then
- ewarn "The PPL testsuite will be run."
- ewarn "Note that this can take several hours to complete on a fast machine."
- fi
-}
-
-src_configure() {
- local interfaces=( c )
- use cxx && interfaces+=( cxx )
- econf \
- --docdir="${EPREFIX}"/usr/share/doc/${PF} \
- --disable-debugging \
- --disable-optimization \
- $(use_enable doc documentation) \
- $(use_enable lpsol ppl_lpsol) \
- $(use_enable pch) \
- $(use_enable static-libs static) \
- --enable-interfaces="${interfaces[*]}" \
- $(use test && echo --enable-check=quick)
-}
-
-src_test() {
- # default src_test runs with -j1, overriding it here saves about
- # 30 minutes and is recommended by upstream
- emake check
-}
-
-src_install() {
- default
- use static-libs || find "${ED}"/usr -name 'libppl*.la' -delete
-
- 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
-}
next reply other threads:[~2020-04-16 11:41 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-04-16 11:41 Michael Orlitzky [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-08-25 15:24 [gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/ Andreas K. Hüttel
2023-12-15 23:18 Michael Orlitzky
2023-12-15 23:18 Michael Orlitzky
2022-10-25 13:43 Michael Orlitzky
2022-10-25 12:49 Sam James
2022-10-25 12:49 Sam James
2022-10-20 23:38 Sam James
2022-10-20 21:15 Sam James
2022-10-20 21:07 Sam James
2022-09-01 2:13 Michael Orlitzky
2022-03-03 21:22 David Seifert
2021-12-29 13:46 Yixun Lan
2021-06-18 13:15 David Seifert
2020-06-11 12:34 Michael Orlitzky
2020-06-11 8:34 Agostino Sarubbo
2020-06-11 8:31 Agostino Sarubbo
2020-06-11 8:29 Agostino Sarubbo
2020-06-11 8:27 Agostino Sarubbo
2020-06-11 8:25 Agostino Sarubbo
2020-06-10 13:01 Agostino Sarubbo
2020-04-16 11:24 Agostino Sarubbo
2020-04-16 11:23 Agostino Sarubbo
2020-04-16 11:22 Agostino Sarubbo
2020-04-16 9:54 Agostino Sarubbo
2020-04-16 9:53 Agostino Sarubbo
2020-04-16 9:32 Agostino Sarubbo
2020-04-13 12:13 Michael Orlitzky
2020-04-13 8:52 Sergei Trofimovich
2020-04-11 15:57 Sergei Trofimovich
2020-04-01 21:14 Sergei Trofimovich
2019-11-10 20:55 Sergei Trofimovich
2019-11-10 20:55 Sergei Trofimovich
2019-11-10 20:55 Sergei Trofimovich
2018-05-12 10:27 Mart Raudsepp
2017-10-24 22:49 Andreas Hüttel
2017-10-24 15:05 Manuel Rüger
2017-10-23 18:01 Markus Meier
2017-10-21 13:25 Tobias Klausmann
2017-10-14 10:21 Sergei Trofimovich
2017-10-02 11:58 Sergei Trofimovich
2017-09-30 7:18 Sergei Trofimovich
2017-09-30 2:58 Sergei Trofimovich
2016-12-08 4:42 Mike Frysinger
2016-02-01 15:41 Tobias Klausmann
2015-10-25 19:15 Markus Meier
2015-10-24 16:18 Mike Frysinger
2015-10-10 15:34 Mikle Kolyada
2015-10-06 13:32 Mikle Kolyada
2015-10-04 9:42 Agostino Sarubbo
2015-10-03 18:25 Anthony G. Basile
2015-10-03 18:18 Jeroen Roovers
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1587037189.d8589f774b34d14e9887be399e63f67d9858706c.mjo@gentoo \
--to=mjo@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox