18 Commits
Author SHA1 Message Date
BrewTestBot 02d8235bd2 gecode: update 4.4.0 bottle. 2015-08-08 07:31:49 +01:00
Andy Li f0177bcb8f gecode 4.4.0
Closes #42638.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
2015-08-08 07:31:46 +01:00
BrewTestBot 8ba134eda5 Formula files style updates.
Closes #42407.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2015-08-03 14:21:42 +01:00
Nikolaus Wittenstein 8dd3478131 Add descriptions to all remaining homebrew packages 2015-06-05 14:47:57 +01:00
BrewTestBot a4d28aa8fa gecode: update 4.3.3 bottle. 2015-03-07 22:34:19 +00:00
Ahmed Kamal 017bb7a472 gecode 4.3.3
Closes #37486.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2015-03-07 22:34:13 +00:00
BrewTestBot cfb03ce129 gecode: add 4.3.2 bottle. 2014-11-23 21:24:00 +00:00
Felix E. Drud f75958c46d gecode 4.3.2
Closes #34407.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2014-11-23 21:24:00 +00:00
Adam Vandenberg 5bc7a1072a gecode 4.2.1 2013-11-30 10:47:46 -08:00
Will Langstroth 64983faca7 gecode 4.0.0
Closes #19115.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2013-04-11 02:23:21 -05:00
Mike McQuaid 3c5ca25cad Batch convert MD5 formula to SHA1.
Closes #14653.
2012-09-03 11:36:42 -07:00
Jack Nagel 2d5ed4c70c gecode 3.7.3
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-04-02 18:51:02 -05:00
nibbles 2bits dd39587372 gecode: remove fails_with, disable examples
Gecode was updated to 3.7.2 in 672c5ab20b which fixed the error with
clang. Geocode passes make check.

* Remove fails_with block.
* Remove unrecognized configure option for dependency-tracking
* Remove --disable-debug option.  It is the defualt.
* Add --disable-examples option.  This stops two dozen example
binaries from filling /usr/local/bin that have common names like
golf, sudoku, grocery, and partition.

Closes #11374.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-04-02 18:50:57 -05:00
Jack Nagel 917ff06ee4 gecode: fails with clang
Closes #10882.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-04-01 14:20:29 -05:00
Johan Tjelldén 672c5ab20b gecode 3.7.2
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2012-03-23 09:22:36 -07:00
Mikael Zayenz Lagerkvist d659c41045 Gecode: Update to version 3.7.1
Closes #8114.

Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
2011-10-14 18:56:14 -07:00
Mikael Zayenz Lagerkvist 3b16f4a706 Updated Gecode library to latest version.
Closes #7605.

Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
2011-09-13 09:28:35 -07:00
Stephane Bellity 12e58e8565 gecode 3.5.0
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2011-04-12 07:53:47 -07:00