aboutsummaryrefslogtreecommitdiff
path: root/math/gecode
Commit message (Expand)AuthorAgeFilesLines
* math/gecode: Add SHARED and STATIC options to control type of built librariesYuri Victorovich2021-06-062-35/+56
* math/gecode: Fix bison detection by using bison from portsYuri Victorovich2021-05-271-2/+2
* math/gecode: Chase fixes in not yet officially released 6.3.0Yuri Victorovich2021-05-222-5/+5
* math/gecode: Chase some merged PRs that fix issues in 'almost' released 6.3.0Yuri Victorovich2021-05-162-10/+5
* math/gecode: Change to GNU autotools; Add options; Add test targetsYuri Victorovich2021-05-083-82/+141
* math/gecode: Update 6.2.0 -> 6.3.0 (from branch)Yuri Victorovich2021-05-064-88/+70
* math/gecode: Install MiniZinc config fileYuri Victorovich2021-05-043-0/+19
* devel/gecode: Move to math categoryYuri Victorovich2021-05-044-0/+819