Port details on branch 2022Q2 |
- gecode Generic Constraint Development Environment
- 6.3.0_7 math =0 6.3.0_7Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2021-05-04 19:09:15
- Last Update: 2023-08-11 14:52:24
- Commit Hash: 617da83
- License: BSL MIT
- WWW:
- https://www.gecode.org/
- Description:
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/gecode/ && make install clean
- To add the package, run one of these commands:
- pkg install math/gecode
- pkg install gecode
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: gecode
- Flavors: there is no flavor information for this port.
- NOT_FOR_ARCHS: armv6 armv7 mips mips64
- distinfo:
- TIMESTAMP = 1691773520
SHA256 (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = dc7cfc83a9de32a6b3b8f9dc965ad9914ad7c8643ba6925031cbad574062fb15
SIZE (Gecode-gecode-release-6.3.0-fc22c40_GH0.tar.gz) = 5741716
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bison : devel/bison
- gmake>=4.3 : devel/gmake
- perl5>=5.34<5.35 : lang/perl5.34
- This port is required by:
- for Libraries
-
- math/minizinc
- for Run
-
- math/minizinc-solvers
Configuration Options:
- ===> The following configuration options are available for gecode-6.3.0_7:
AUDIT=off: Build with auditing code
CBS=on: Support for counting-based search
FLATZINC=on: Build FlatZinc interpreter
GIST=off: Enable gist, graphical and interactive search tool
PEAKHEAP=off: Peak heap size tracking
PROFILE=off: Build with profiling information
SEARCH=on: Build search engines
====> Library type: you can only select none or one of them
SHARED=on: Build shared executables and/or libraries
STATIC=off: Build static executables and/or libraries
===> Use 'make config' to modify these settings
- Options name:
- math_gecode
- USES:
- bison:build compiler:c++11-lang gmake perl5
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|