aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/gecode.rb
AgeCommit message (Collapse)Author
2015-03-07gecode: update 4.3.3 bottle.BrewTestBot
2015-03-07gecode 4.3.3Ahmed Kamal
Closes #37486. Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2014-11-23gecode: add 4.3.2 bottle.BrewTestBot
2014-11-23gecode 4.3.2Felix E. Drud
Closes #34407. Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2013-11-30gecode 4.2.1Adam Vandenberg
2013-04-11gecode 4.0.0Will Langstroth
Closes #19115. Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-09-03Batch convert MD5 formula to SHA1.Mike McQuaid
Closes #14653.
2012-04-02gecode 3.7.3Jack Nagel
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-04-02gecode: remove fails_with, disable examplesnibbles 2bits
Gecode was updated to 3.7.2 in 672c5ab20b77 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-01gecode: fails with clangJack Nagel
Closes #10882. Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-03-23gecode 3.7.2Johan TjelldeĢn
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2011-10-14Gecode: Update to version 3.7.1Mikael Zayenz Lagerkvist
Closes #8114. Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
2011-09-13Updated Gecode library to latest version.Mikael Zayenz Lagerkvist
Closes #7605. Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
2011-04-12gecode 3.5.0Stephane Bellity
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 06:29:52 +0000