diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-libs/gecode | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-libs/gecode')
-rw-r--r-- | dev-libs/gecode/Manifest | 6 | ||||
-rw-r--r-- | dev-libs/gecode/files/gecode-4.4.0-no-examples.patch | 18 | ||||
-rw-r--r-- | dev-libs/gecode/gecode-3.7.3-r1.ebuild | 42 | ||||
-rw-r--r-- | dev-libs/gecode/gecode-4.4.0-r2.ebuild | 81 | ||||
-rw-r--r-- | dev-libs/gecode/metadata.xml | 14 |
5 files changed, 161 insertions, 0 deletions
diff --git a/dev-libs/gecode/Manifest b/dev-libs/gecode/Manifest new file mode 100644 index 000000000000..2d9ea6a788b3 --- /dev/null +++ b/dev-libs/gecode/Manifest @@ -0,0 +1,6 @@ +AUX gecode-4.4.0-no-examples.patch 463 BLAKE2B af3a815d3499a4cce304d8d42afcf6a9c134a52156f4d97c7f3d8066c724427f5b4b74aa7fac9578c08578b396e5688a049b01c88ddd2620f3dd64696c9595e9 SHA512 bf9b4fb44338ffdb6be6bc6bf601697bbf8a7d7f2518c753dff8306f58af1d4c03024785d1d47446518364eb485791c2b245f7ec6e8ff63aa0a37e9f8656d61b +DIST gecode-3.7.3.tar.gz 1643336 BLAKE2B bf36fec6ee7f9f76be578de084f6d5c60afb9c01e6d66dcb6e7f35e0105fbf3be9017f8377f09a00502bcd4bc02f97083d23ceb42de16f5361c388fa332f9dba SHA512 292bafeaca3911b8af40d7c0f425cf0263f4408afad47f4f229a821ce89d06dc69ad1feeeef72531a1e711d797d249581b67c2d9cfdc9e544240012c838d2a5b +DIST gecode-4.4.0.tar.gz 2889186 BLAKE2B b98692f841f8af292371b222c5dd8fda771eee48664e415daa84fd34c6430276fbc96c127491c8eb0fb86c1744f4137ecd1556420ddddc72af70ff0712999bd7 SHA512 5189a3c5f9f34371a0bc94528e8ca65efb0a3078ec158887f47a816d6fe3c879a7e908ee421414bc317754333ecb73806c8fc46b0b6b7d8419cdf6f13a4f8aef +EBUILD gecode-3.7.3-r1.ebuild 722 BLAKE2B 0962e7c10c56af0b455ea12fef13590ef8ce17a099d9a5b143955a0fd794bb2309bdfc004336d44fae5e8e900ecc6e248840e5bff3cdae5bfcf385e731bb54cc SHA512 9c75e8ad0bf141feb626fc082cc0d7ca0fa5616060828bc1a09cd36c254de18a02e58d676a2da2e40a6f83aed9cfccea15d8c0b7d7cff6f892689433a8a63204 +EBUILD gecode-4.4.0-r2.ebuild 1563 BLAKE2B 5e25dcbc20eca89520637dbd358ea392c15f3373fe1c3b39a034d7e5b26592fc865fc4763aa17a16502f4652152290475e96641b365be7669873db69bb17c2c3 SHA512 6c0ed6549afa92ca8adde52684bfc6e88539a6f6e077cc53dfbd5b34b1f217b9d8d4d934b27c0b5894db735f126b575151b97bb04f95ee88a8d1080ea12fa190 +MISC metadata.xml 358 BLAKE2B 5b3d5ca409a8a649ed5b12a183102cca98e71be6195e0d0ec3a62d12441a33962d7514806642402695e9d98853d85047771979089fafe8ec1f7c6da9a20fbe73 SHA512 dfa79307fe5693ac03c56589907f414074c21d584c652a542e1ff409fedfe8b43a130e842cf4fe949d30d483d047c73d14906094b7656118b0e31461eb03dc06 diff --git a/dev-libs/gecode/files/gecode-4.4.0-no-examples.patch b/dev-libs/gecode/files/gecode-4.4.0-no-examples.patch new file mode 100644 index 000000000000..26535667fa65 --- /dev/null +++ b/dev-libs/gecode/files/gecode-4.4.0-no-examples.patch @@ -0,0 +1,18 @@ +Avoid installing examples to system root. + +Patch from Fedora. + +Gentoo-bug: 488150 + +--- a/Makefile.in ++++ b/Makefile.in +@@ -953,8 +953,7 @@ + ALLGECODEHDR = \ + $(SUPPORTHDR) $(KERNELHDR) $(SEARCHHDR) \ + $(INTHDR) $(FLOATHDR) $(SETHDR) $(MMHDR) \ +- $(DRIVERHDR) $(ITERHDR) $(GISTHDR) $(FLATZINCHDR) \ +- $(INTEXAMPLEHDR) ++ $(DRIVERHDR) $(ITERHDR) $(GISTHDR) $(FLATZINCHDR) + ALLHDR = \ + $(ALLGECODEHDR) $(THIRDHDR) + ALLOBJ0 = $(ALLSRC:%.cpp=%$(OBJSUFFIX)) \ 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 +} diff --git a/dev-libs/gecode/gecode-4.4.0-r2.ebuild b/dev-libs/gecode/gecode-4.4.0-r2.ebuild new file mode 100644 index 000000000000..4642b6d3496b --- /dev/null +++ b/dev-libs/gecode/gecode-4.4.0-r2.ebuild @@ -0,0 +1,81 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit autotools qmake-utils + +DESCRIPTION="An environment for developing constraint-based applications" +HOMEPAGE="http://www.gecode.org/" +SRC_URI="http://www.gecode.org/download/${P}.tar.gz" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="doc examples gist gmp" + +RDEPEND=" + gist? ( + dev-qt/qtcore:5 + dev-qt/qtgui:5 + dev-qt/qtprintsupport:5 + dev-qt/qtwidgets:5 + ) + gmp? ( + dev-libs/gmp:0 + dev-libs/mpfr:0 + )" +DEPEND="${RDEPEND} + sys-devel/bison + sys-devel/flex + doc? ( + app-doc/doxygen + media-gfx/graphviz + )" + +PATCHES=( "${FILESDIR}/${PN}-4.4.0-no-examples.patch" ) + +src_prepare() { + default + + sed -i gecode.m4 \ + -e "s/-ggdb//" -e "s/-O3//" -e "s/-pipe//" \ + -e "/AC_CHECK_PROGS(QMAKE/a AC_SUBST(QMAKE,$(qt5_get_bindir)/qmake)" \ + -e "/AC_CHECK_PROGS(MOC/a AC_SUBST(MOC,$(qt5_get_bindir)/moc)" \ + || die + + eautoreconf +} + +src_configure() { + # --disable-examples prevents COMPILING the examples. + econf \ + --disable-examples \ + $(use_enable doc doc-dot) \ + $(use_enable doc doc-tagfile) \ + $(use_enable gist qt) \ + $(use_enable gist) \ + $(use_enable gmp mpfr) +} + +src_compile() { + default + use doc && emake doc +} + +src_test() { + LD_LIBRARY_PATH="${S}" emake test + LD_LIBRARY_PATH="${S}" ./test/test || die "test suite failed" +} + +src_install() { + default + + # The --docdir and --htmldir that we pass to configure don't seem to + # be respected... + use doc && dodoc -r doc/html/ + + if use examples; then + dodoc -r examples + fi +} diff --git a/dev-libs/gecode/metadata.xml b/dev-libs/gecode/metadata.xml new file mode 100644 index 000000000000..234da92a34cc --- /dev/null +++ b/dev-libs/gecode/metadata.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <!-- maintainer-needed --> + <use> + <flag name="gist"> + Enable Gist, the Gecode Interactive Search Tool + </flag> + <flag name="gmp"> + Enable trigonometric and transcendental float + constraints + </flag> + </use> +</pkgmetadata> |