diff options
| -rw-r--r-- | dev-libs/gecode/Manifest | 1 | ||||
| -rw-r--r-- | dev-libs/gecode/gecode-3.7.3-r1.ebuild | 42 |
2 files changed, 43 insertions, 0 deletions
diff --git a/dev-libs/gecode/Manifest b/dev-libs/gecode/Manifest index 144685e2954b..9ec9a8c1bcd7 100644 --- a/dev-libs/gecode/Manifest +++ b/dev-libs/gecode/Manifest @@ -1 +1,2 @@ +DIST gecode-3.7.3.tar.gz 1643336 BLAKE2B bf36fec6ee7f9f76be578de084f6d5c60afb9c01e6d66dcb6e7f35e0105fbf3be9017f8377f09a00502bcd4bc02f97083d23ceb42de16f5361c388fa332f9dba SHA512 292bafeaca3911b8af40d7c0f425cf0263f4408afad47f4f229a821ce89d06dc69ad1feeeef72531a1e711d797d249581b67c2d9cfdc9e544240012c838d2a5b DIST gecode-4.4.0.tar.gz 2889186 BLAKE2B b98692f841f8af292371b222c5dd8fda771eee48664e415daa84fd34c6430276fbc96c127491c8eb0fb86c1744f4137ecd1556420ddddc72af70ff0712999bd7 SHA512 5189a3c5f9f34371a0bc94528e8ca65efb0a3078ec158887f47a816d6fe3c879a7e908ee421414bc317754333ecb73806c8fc46b0b6b7d8419cdf6f13a4f8aef 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 +} |