| Port details |
- gecode Generic Constraint Development Environment
- 6.3.0_7 math
 =2      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
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
6.3.0_7
11 Aug 2023 14:52:24
 |
Yuri Victorovich (yuri) |
math/gecode: Update to the latest 6.3.0 revision
6.3.0 isn't yet released but is reeady for a long time. |
6.3.0_6
11 Sep 2022 10:20:14
|
Felix Palmen (zirias) |
Mk/Uses: always use colon for build/run suffix
Most USES use a colon for build/run(/test) suffixes. Change kde.mk,
qt.mk and pyqt.mk to do the same, and update all ports using that.
Document in CHANGES.
PR: 266034
Exp-run by: antoine
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D36349 |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
6.3.0_6
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
6.3.0_6
20 Jul 2022 14:22:24
|
Tobias C. Berner (tcberner) |
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above ) |
6.3.0_6
22 Feb 2022 18:00:28
|
Yuri Victorovich (yuri) |
math/gecode: Update 6.3.0 to the latest commits
6.3.0 is not yet officially releasedm and exists in a branch. |
6.3.0_5
18 Jan 2022 19:32:52
|
Yuri Victorovich (yuri) |
math/gecode: Builds on aarch64 architecture
Reported by: Ronald Klop <ronald-lists@klop.ws> |
6.3.0_5
18 Dec 2021 04:42:27
|
Yuri Victorovich (yuri) |
math/gecode: Fix build for the GIST option. |
6.3.0_5
06 Jun 2021 01:44:30
|
Yuri Victorovich (yuri) |
math/gecode: Add SHARED and STATIC options to control type of built libraries
Also fix the bug that one library was wrongly conditioned on the FLATZINC
option. |
6.3.0_4
27 May 2021 21:41:30
|
Yuri Victorovich (yuri) |
math/gecode: Fix bison detection by using bison from ports
Previous behavior was to use byacc from base which failed to
be detected by the configure script. |
6.3.0_3
22 May 2021 20:12:19
|
Yuri Victorovich (yuri) |
math/gecode: Chase fixes in not yet officially released 6.3.0 |
6.3.0_2
16 May 2021 19:03:02
|
Yuri Victorovich (yuri) |
math/gecode: Chase some merged PRs that fix issues in 'almost' released 6.3.0 |
6.3.0_1
08 May 2021 22:57:16
|
Yuri Victorovich (yuri) |
math/gecode: Change to GNU autotools; Add options; Add test targets
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). |
6.3.0
06 May 2021 21:39:31
|
Yuri Victorovich (yuri) |
math/gecode: Update 6.2.0 -> 6.3.0 (from branch)
6.3.0 is ready for a while but hasn't been released pending
only Windows installer issues. |
6.2.0_1
04 May 2021 19:07:26
|
Yuri Victorovich (yuri) |
math/gecode: Install MiniZinc config file |
6.2.0
04 May 2021 19:07:26
|
Yuri Victorovich (yuri) |
devel/gecode: Move to math category |
As an Amazon Associate I earn from qualifying purchases.