public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Sergei Trofimovich" <slyfox@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-libs/ppl/
Date: Sun, 10 Nov 2019 20:55:07 +0000 (UTC)	[thread overview]
Message-ID: <1573419299.745eacdcb368d7b4ddbe12fd00e6f97161b0db42.slyfox@gentoo> (raw)

commit:     745eacdcb368d7b4ddbe12fd00e6f97161b0db42
Author:     Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Sun Nov 10 20:54:39 2019 +0000
Commit:     Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sun Nov 10 20:54:59 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=745eacdc

dev-libs/ppl: bump up to EAPI=7

Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>

 dev-libs/ppl/ppl-1.2-r1.ebuild | 47 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)

diff --git a/dev-libs/ppl/ppl-1.2-r1.ebuild b/dev-libs/ppl/ppl-1.2-r1.ebuild
new file mode 100644
index 00000000000..f522c2384bc
--- /dev/null
+++ b/dev-libs/ppl/ppl-1.2-r1.ebuild
@@ -0,0 +1,47 @@
+# Copyright 1999-2019 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 ~sh ~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 \
+		--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_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
+}


             reply	other threads:[~2019-11-10 20:55 UTC|newest]

Thread overview: 52+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-11-10 20:55 Sergei Trofimovich [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:41 Michael Orlitzky
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
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=1573419299.745eacdcb368d7b4ddbe12fd00e6f97161b0db42.slyfox@gentoo \
    --to=slyfox@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