commit: 35aa5d3b8188a15dfee2f12a90bf1abe99014716
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 15 01:11:13 2020 +0000
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Wed Jan 15 13:50:28 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=35aa5d3b
sci-libs/cddlib: new version 094j.
François Bissey had an ebuild for the latest version of this package in
the sage-on-gentoo overlay, so I've imported it with minor changes:
* Updated to EAPI=7 (no related changes).
* Dropped the unused autotools.eclass inherit.
* Changed GPL-2 to GPL-2+, since the files that do have copyright
headers have the "or any later version" bit.
* Dropped the DOCS declaration; they're all covered by einstalldocs.
* Added IUSE=examples.
* Reworked the documentation/example installation logic. The new
autotools build system installs everything by default, so if
the user doesn't want something, we have to kill it from $ED.
I've also added the upstream remote to metadata.xml, and added myself
and François as maintainers in the future.
SageMath uses two cddlib executables only present as of this version,
so it's a prerequisite for moving more of SageMath into the tree.
Closes: https://bugs.gentoo.org/705218
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org>
sci-libs/cddlib/Manifest | 1 +
sci-libs/cddlib/cddlib-094j.ebuild | 53 ++++++++++++++++++++++++++++++++++++++
sci-libs/cddlib/metadata.xml | 35 +++++++++++++++++++------
3 files changed, 81 insertions(+), 8 deletions(-)
diff --git a/sci-libs/cddlib/Manifest b/sci-libs/cddlib/Manifest
index 7a0484d9543..4016b91729d 100644
--- a/sci-libs/cddlib/Manifest
+++ b/sci-libs/cddlib/Manifest
@@ -1,2 +1,3 @@
+DIST cddlib-0.94j.tar.gz 1364746 BLAKE2B
60e81fccf8abd8d60fb7261d1d2d61b7ad2b60285e7dfa760905e2cb5b01f1570c27920728c12fc6994135e4b29ba8e1709066ddf2e2eff00f8f48b093ebd43e
SHA512
b82d5e06538a29143a79f7ba7287a1784292e28f086071041e500fd81387a30c3fca6fae9049752f57b62d50b385d73681276d42d24941e3a43893da00452ea6
DIST cddlib-094g.tar.gz 1383388 BLAKE2B
c26f201f0369a931d672b192d6fab775210d2758e980cf867cf64f34d2ff3b23d862942507ae497c37723cdfe0c7beb55fe5d6cbe02349f576349579adbd4166
SHA512
e1053c6e34f79add53b2880c7664f9c20c0a6de636aa5de4c6a9dfc4d1d241221601c37d15e1833bcd5b1162512c3fbaed4046f771bc0a1e5753b713d6840b77
DIST cddlib-094h.tar.gz 1678116 BLAKE2B
619e26745c04338d97fb4ce2997c23a16017ed19e14dda24c9ef90b84253d5540361b4ccd68eafb65b6380cff95b58e9ec2bf587643e71084cd47ed87bdffbc9
SHA512
22160c88832b78dd568b58c1e097e4c6006f82580f1114a3ef03fc10bde98132337d5b555306b58b65aac6fea1534d9e09725907808c969de16c2dfc75f80204
diff --git a/sci-libs/cddlib/cddlib-094j.ebuild
b/sci-libs/cddlib/cddlib-094j.ebuild
new file mode 100644
index 00000000000..73468ab72e6
--- /dev/null
+++ b/sci-libs/cddlib/cddlib-094j.ebuild
@@ -0,0 +1,53 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+# This should have been dealt with versionator in the direction
+# 0.94x -> 094x - now we are screwed.
+MY_PV="0.94j"
+MY_P="${PN}-${MY_PV}"
+DESCRIPTION="C library implementing the Double Description Method"
+HOMEPAGE="https://www.inf.ethz.ch/personal/fukudak/cdd_home/";
+SRC_URI="https://github.com/${PN}/${PN}/releases/download/${MY_PV}/${MY_P}.tar.gz";
+
+SLOT="0"
+LICENSE="GPL-2+"
+KEYWORDS="~amd64 ~arm ~ppc ~x86 ~amd64-linux ~x86-linux"
+IUSE="doc examples static-libs tools"
+
+DEPEND="dev-libs/gmp:0"
+RDEPEND="dev-libs/gmp:0="
+
+S="${WORKDIR}/${MY_P}"
+
+src_configure() {
+ econf $(use_enable static-libs static)
+}
+
+src_install() {
+ default
+
+ if ! use tools; then
+ rm "${ED}"/usr/bin/* || die
+ fi
+
+ if ! use static-libs; then
+ find "${ED}" -name '*.la' -delete || die
+ fi
+
+ # Nobody wants the dvi/ps manual...
+ rm "${ED}/usr/share/doc/${PF}"/cddlibman.{dvi,ps} || die
+
+ # since the PDF manual is installed by default.
+ if ! use doc; then
+ rm "${ED}/usr/share/doc/${PF}"/cddlibman.pdf || die
+ fi
+
+ # The docs and examples are *both* installed by default, so we
+ # have to remove the examples if the user doesn't want them.
+ docompress -x "/usr/share/doc/${PF}"/examples{,-ext,-ine,-ine3d}
+ if ! use examples; then
+ rm -r "${ED}/usr/share/doc/${PF}"/examples{,-ext,-ine,-ine3d}
|| die
+ fi
+}
diff --git a/sci-libs/cddlib/metadata.xml b/sci-libs/cddlib/metadata.xml
index a93a12f9174..eebce0ab196 100644
--- a/sci-libs/cddlib/metadata.xml
+++ b/sci-libs/cddlib/metadata.xml
@@ -1,29 +1,48 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";>
<pkgmetadata>
+ <maintainer type="person">
+ <email>m...@gentoo.org</email>
+ </maintainer>
+ <!--
+ mjo: François maintained this package in the sage-on-gentoo overlay
+ long before I moved it into ::gentoo. You don't need an ACK from me
+ to merge his changes.
+ -->
+ <maintainer type="person">
+ <email>frp.bis...@gmail.com</email>
+ <name>François Bissey</name>
+ </maintainer>
+ <maintainer type="project">
+ <email>proxy-ma...@gentoo.org</email>
+ <name>Proxy Maintainers</name>
+ </maintainer>
<maintainer type="project">
<email>sci-mathemat...@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription lang="en">
- The C-library cddlib is a C implementation of the Double Description
+ The C-library cddlib is a C implementation of the Double Description
Method of Motzkin et al. for generating all vertices (i.e. extreme points)
- and extreme rays of a general convex polyhedron in R^d given by a system
+ and extreme rays of a general convex polyhedron in R^d given by a system
of linear inequalities:
-
+
P = { x=(x1, ..., xd)^T : b - A x >= 0 }
- where A is a given m x d real matrix, b is a given m-vector
+ where A is a given m x d real matrix, b is a given m-vector
and 0 is the m-vector of all zeros.
-
+
The program can be used for the reverse operation (i.e. convex hull
- computation). This means that one can move back and forth between
- an inequality representation and a generator (i.e. vertex and ray)
+ computation). This means that one can move back and forth between
+ an inequality representation and a generator (i.e. vertex and ray)
representation of a polyhedron with cdd. Also, cdd can solve a linear
- programming problem, i.e. a problem of maximizing and minimizing
+ programming problem, i.e. a problem of maximizing and minimizing
a linear function over P.
</longdescription>
<use>
<flag name="tools">Add a few executables and tests for cddlib</flag>
</use>
+ <upstream>
+ <remote-id type="github">cddlib/cddlib</remote-id>
+ </upstream>
</pkgmetadata>
