diff options
| -rw-r--r-- | dev-libs/gecode/Manifest | 2 | ||||
| -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 | ||||
| -rw-r--r-- | profiles/package.mask | 6 |
6 files changed, 0 insertions, 163 deletions
diff --git a/dev-libs/gecode/Manifest b/dev-libs/gecode/Manifest deleted file mode 100644 index 9ec9a8c1bcd7..000000000000 --- a/dev-libs/gecode/Manifest +++ /dev/null @@ -1,2 +0,0 @@ -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/files/gecode-4.4.0-no-examples.patch b/dev-libs/gecode/files/gecode-4.4.0-no-examples.patch deleted file mode 100644 index 26535667fa65..000000000000 --- a/dev-libs/gecode/files/gecode-4.4.0-no-examples.patch +++ /dev/null @@ -1,18 +0,0 @@ -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 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 -} diff --git a/dev-libs/gecode/gecode-4.4.0-r2.ebuild b/dev-libs/gecode/gecode-4.4.0-r2.ebuild deleted file mode 100644 index 4642b6d3496b..000000000000 --- a/dev-libs/gecode/gecode-4.4.0-r2.ebuild +++ /dev/null @@ -1,81 +0,0 @@ -# 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 deleted file mode 100644 index 234da92a34cc..000000000000 --- a/dev-libs/gecode/metadata.xml +++ /dev/null @@ -1,14 +0,0 @@ -<?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> diff --git a/profiles/package.mask b/profiles/package.mask index c8208551ad67..2b6c0096e17a 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -734,12 +734,6 @@ dev-libs/cgicc dev-libs/actor-framework # Michał Górny <mgorny@gentoo.org> (2019-09-11) -# Unmaintained. Last bumped in 2016, many versions behind now. -# Has test failures reported. No reverse dependencies. -# Removal in 30 days. Bug #694056. -dev-libs/gecode - -# Michał Górny <mgorny@gentoo.org> (2019-09-11) # Gentoo/FreeBSD project is effectively dead. The core packages are # outdated and vulnerable. We do not have a fully working install, # and I have not been able to find anyone knowing how to create one. |