diff options
author | Benedikt Boehm <hollow@gentoo.org> | 2011-07-25 08:33:42 +0000 |
---|---|---|
committer | Benedikt Boehm <hollow@gentoo.org> | 2011-07-25 08:33:42 +0000 |
commit | ed66a26f580e47a9849ea5e73d35777da4dd8c83 (patch) | |
tree | 36b0bb25aa6ae95a744fc649bfcae3c5ade3a120 /dev-libs | |
parent | Removed pam USE flag again (diff) | |
download | gentoo-2-ed66a26f580e47a9849ea5e73d35777da4dd8c83.tar.gz gentoo-2-ed66a26f580e47a9849ea5e73d35777da4dd8c83.tar.bz2 gentoo-2-ed66a26f580e47a9849ea5e73d35777da4dd8c83.zip |
initial ebuild. required by dev-ruby/dep_selector. fixes #285095.
(Portage version: 2.2.0_alpha37/cvs/Linux x86_64)
Diffstat (limited to 'dev-libs')
-rw-r--r-- | dev-libs/gecode/ChangeLog | 10 | ||||
-rw-r--r-- | dev-libs/gecode/gecode-3.6.0.ebuild | 52 | ||||
-rw-r--r-- | dev-libs/gecode/metadata.xml | 15 |
3 files changed, 77 insertions, 0 deletions
diff --git a/dev-libs/gecode/ChangeLog b/dev-libs/gecode/ChangeLog new file mode 100644 index 000000000000..fc5ab16141e9 --- /dev/null +++ b/dev-libs/gecode/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-libs/gecode +# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-libs/gecode/ChangeLog,v 1.1 2011/07/25 08:33:42 hollow Exp $ + +*gecode-3.6.0 (25 Jul 2011) + + 25 Jul 2011; Benedikt Böhm <hollow@gentoo.org> +gecode-3.6.0.ebuild, + +metadata.xml: + initial ebuild. required by dev-ruby/dep_selector. fixes #285095. + diff --git a/dev-libs/gecode/gecode-3.6.0.ebuild b/dev-libs/gecode/gecode-3.6.0.ebuild new file mode 100644 index 000000000000..8cc83e54cdb9 --- /dev/null +++ b/dev-libs/gecode/gecode-3.6.0.ebuild @@ -0,0 +1,52 @@ +# Copyright 1999-2011 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-libs/gecode/gecode-3.6.0.ebuild,v 1.1 2011/07/25 08:33:42 hollow Exp $ + +EAPI="4" + +DESCRIPTION="Gecode is an environment for developing constraint-based systems and 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 gist" + +DEPEND="gist? ( + x11-libs/qt-core + x11-libs/qt-gui + media-libs/freetype + media-libs/libpng + >=dev-libs/glib-2 +)" +RDEPEND="${DEPEND}" + +src_configure() { + econf \ + --disable-examples \ + $(use_enable gist qt) \ + $(use_enable gist) +} + +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 + docinto examples + doins examples/*.cpp + einfo "Example C++ programs have been installed into " \ + "/usr/share/doc/${PF}/examples" + fi +} diff --git a/dev-libs/gecode/metadata.xml b/dev-libs/gecode/metadata.xml new file mode 100644 index 000000000000..32306329724a --- /dev/null +++ b/dev-libs/gecode/metadata.xml @@ -0,0 +1,15 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>no-herd</herd> + <maintainer> + <email>hollow@gentoo.org</email> + <name>Benedikt Böhm</name> + </maintainer> + <use> + <flag name="gist"> + Enable Gist, the Gecode Interactive Search Tool + </flag> + </use> +</pkgmetadata> + |