diff options
Diffstat (limited to 'development/gecode/README')
| -rw-r--r-- | development/gecode/README | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/development/gecode/README b/development/gecode/README new file mode 100644 index 0000000000..e9adb74d0a --- /dev/null +++ b/development/gecode/README @@ -0,0 +1,14 @@ +Gecode is a toolkit for developing constraint-based systems and +applications. Gecode provides a constraint solver with +state-of-the-art performance while being modular and extensible. + +The script supports two switches: + +DODOCS = yes (default: no) to build the html docs (123 Mb) +DOEXAMPLES = yes (default: no) to build the examples + +Note: the second option is disabled explicitly in the build +because installs example binaries in /usr/bin that may conflict +with other packages. If you decide to enable it, it's up to you +to check the contents of the resulting package for possibly +overlaps with your installation. |