summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Sturmlechner <asturm@gentoo.org>2018-01-13 00:27:21 +0100
committerAndreas Sturmlechner <asturm@gentoo.org>2018-01-13 00:31:09 +0100
commit6749e2e3338dc68e22ef18158b595077a8da6334 (patch)
tree2493a0d945ea520e714d47a26523b274af07b899 /dev-libs/gecode/gecode-3.7.3-r1.ebuild
parentdev-perl/Sub-Quote: keyworded 2.4.0 for ppc64, bug #643980 (diff)
downloadgentoo-6749e2e3338dc68e22ef18158b595077a8da6334.tar.gz
gentoo-6749e2e3338dc68e22ef18158b595077a8da6334.tar.bz2
gentoo-6749e2e3338dc68e22ef18158b595077a8da6334.zip
dev-libs/gecode: Re-add 3.7.3-r1 w/o USE=gist
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Diffstat (limited to 'dev-libs/gecode/gecode-3.7.3-r1.ebuild')
-rw-r--r--dev-libs/gecode/gecode-3.7.3-r1.ebuild42
1 files changed, 42 insertions, 0 deletions
diff --git a/dev-libs/gecode/gecode-3.7.3-r1.ebuild b/dev-libs/gecode/gecode-3.7.3-r1.ebuild
new file mode 100644
index 000000000000..f586564191f5
--- /dev/null
+++ b/dev-libs/gecode/gecode-3.7.3-r1.ebuild
@@ -0,0 +1,42 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="4"
+
+DESCRIPTION="An environment for developing constraint-based applications"
+SRC_URI="http://www.gecode.org/download/${P}.tar.gz"
+HOMEPAGE="http://www.gecode.org/"
+
+SLOT="0"
+LICENSE="MIT"
+KEYWORDS="~amd64 ~x86"
+IUSE="doc examples"
+
+DEPEND=""
+RDEPEND="${DEPEND}"
+
+src_configure() {
+ econf \
+ --disable-examples \
+ --disable-gist \
+ --disable-qt
+}
+
+src_compile() {
+ default
+ use doc && emake doc
+}
+
+src_install() {
+ default
+
+ if use doc; then
+ dohtml -r doc/html/
+ einfo "HTML documentation has been installed into " \
+ "/usr/share/doc/${PF}/html"
+ fi
+
+ if use examples; then
+ dodoc -r examples
+ fi
+}