c8f7f649c9
cmake isn't a default build system for Gecode. Test targets are missing there, and at least one problem produces a wrong result when Gecode is built with cmake (zebra_inverse.mzn). |
||
|---|---|---|
| .. | ||
| files | ||
| distinfo | ||
| Makefile | ||
| pkg-descr | ||
| pkg-plist | ||