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