Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-libs/gecode
Commit message (Collapse)AuthorAgeFilesLines
* dev-libs/gecode: Re-add 3.7.3-r1 w/o USE=gistAndreas Sturmlechner2018-01-132-0/+43
| | | | Package-Manager: Portage-2.3.19, Repoman-2.3.6
* dev-libs/gecode: Drop oldAndreas Sturmlechner2018-01-123-128/+0
| | | | Package-Manager: Portage-2.3.19, Repoman-2.3.6
* dev-libs/gecode: Switch to Qt5Andreas Sturmlechner2018-01-121-0/+81
| | | | Package-Manager: Portage-2.3.19, Repoman-2.3.6
* dev-libs/*: Update Manifest hashesMichał Górny2017-12-091-2/+2
|
* dev-libs/gecode: new revision 3.7.3-r1 to fix "doins" -> "dodoc" typo.Michael Orlitzky2017-08-051-4/+1
| | | | | | Gentoo-Bug: 588944 Package-Manager: Portage-2.3.6, Repoman-2.3.1
* dev-libs/gecode: remove unused version 4.4.0.Michael Orlitzky2017-08-051-69/+0
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1
* dev-libs/gecode: Fix toolong DESCRIPTIONHarri Nieminen2017-05-071-2/+2
| | | | | Package-Manager: Portage-2.3.5, Repoman-2.3.2 Closes: https://github.com/gentoo/gentoo/pull/4517
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-283-3/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* dev-libs/gecode: remove econf options that are automatically added in EAPI 6Michael Palimaka2016-09-301-2/+0
| | | | Package-Manager: portage-2.3.1
* dev-libs/gecode: revision bump fixing numerous QA violationsMichael Palimaka2016-09-292-0/+100
| | | | | | | | | | | | | | | | | | | | | | | | | * Add missing dependencies * Avoid hard-coded CFLAGS * Do not install examples to system root * Install HTML documentation to the correct directory * Remove unused test USE flag * Do not allow sci-libs/mpir as a runtime alternative to sci-libs/mpir. This can only be selected at build time. * Force building libgecodegist.so against Qt 4 again. Careful consideration must be given to reverse dependencies before switching to Qt 5 due to the potential for symbol collisions and ABI breakage. Additionally, the existing approach is not valid because Qt versions are not interchangeable at runtime. Gentoo-bug: 488150 Gentoo-bug: 595442 Package-Manager: portage-2.3.1
* dev-libs/gecode: fix metadata.xml schema.Michael Orlitzky2016-08-011-2/+0
| | | | | | | | In my recent addition of gecode-4.4.0, I made a copy/paste error and duplicated the <use> element in metadata.xml. Michał's Travis CI instance caught the error (thanks). Package-Manager: portage-2.2.28
* Revert "dev-libs/gecode: remove old version 3.7.3 to fix QA warnings."Michael Orlitzky2016-08-012-0/+53
| | | | | | | | This reverts commit 395d5ea72bceca3087e602683b43e279f5ca0b71. The dev-ruby/dep_selector package has a dependency on >=gecode3.5.0, but at the moment it can only be satisfied by gecode-3.x, so we need to leave v3.7.3 in the tree. There is an upstream pull request (#44) to support gecode 4.x.
* dev-libs/gecode: remove old version 3.7.3 to fix QA warnings.Michael Orlitzky2016-08-012-53/+0
| | | | Package-Manager: portage-2.2.28
* dev-libs/gecode: new version 4.4.0.Michael Orlitzky2016-08-013-0/+77
| | | | | | | | | | | | | | | | | | | | | This version bump fixes at least two open bugs. The first simply asked for a version bump, and the second reported a failure when /bin/sh is dash (now fixed). Along with the new version, some ebuild cleanup was done. The ebuild is now EAPI=6, and the "gmp" USE flag was added to control building with float constraints. Three superfluous runtime dependencies (transitive through Qt) were removed, and two new build dependencies needed to generate the documentation were added. The src_test() phase has been re-enabled with an LD_LIBRARY hack to make sure that the test suite is run against the just-build libraries. Gentoo-Bug: 377091 Gentoo-bug: 527526 Gentoo-Bug: 567208 Package-Manager: portage-2.2.28
* metadata.xml: Add maintainer-needed comment to packages without maintainer.Ulrich Müller2016-02-281-0/+1
| | | | Bug: 575810
* Remove explicit notion of maintainer-needed, for GLEP 67Michał Górny2016-01-241-3/+0
| | | | | | GLEP 67 removes the explicit notion of maintainer-needed@g.o being used for packages lacking maintainers, in favor of assuming maintainer-needed whenever the package has no maintainers.
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-1/+0
| | | | | | | Force unified quoting in all metadata.xml files since lxml does not preserve original use of single and double quotes. Ensuring unified quoting before the process allows distinguishing the GLEP 67-related metadata.xml changes from unrelated quoting changes.
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
| | | | | | | repoman does not yet accept the https version. This partially reverts eaaface92ee81f30a6ac66fe7acbcc42c00dc450. Bug: https://bugs.gentoo.org/552720
* Use https by defaultJustin Lecher2015-08-241-1/+1
| | | | | | Convert all URLs for sites supporting encrypted connections from http to https Signed-off-by: Justin Lecher <jlec@gentoo.org>
* proj/gentoo: Initial commitRobin H. Johnson2015-08-083-0/+66
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed