summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
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, 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
-}