diff options
Diffstat (limited to 'dev-libs/gecode/gecode-3.7.3-r1.ebuild')
-rw-r--r-- | dev-libs/gecode/gecode-3.7.3-r1.ebuild | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/dev-libs/gecode/gecode-3.7.3-r1.ebuild b/dev-libs/gecode/gecode-3.7.3-r1.ebuild deleted file mode 100644 index f586564191f5..000000000000 --- a/dev-libs/gecode/gecode-3.7.3-r1.ebuild +++ /dev/null @@ -1,42 +0,0 @@ -# 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 -} |