FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
gecode 4.2.1_1 devel on this many watch lists=0 search for ports that depend on this port
Generic Constraint Development Environment

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 24 Jan 2011 14:15:26
License: MIT


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.

WWW: http://www.gecode.org/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only required dependencies information. Optional dependencies are not covered.

Required To Build:
  1. devel/bison
  2. devel/gmake
  3. lang/perl5.16
Required Libraries:
  1. devel/boost-libs
  2. math/mpfr

This port is required by:

for Run * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

To install the port: cd /usr/ports/devel/gecode/ && make install clean
To add the package: pkg install devel/gecode


Configuration Options
===> The following configuration options are available for gecode-4.2.1_1:
     GIST=off: Interactive Search Tool (requires Qt)
===> Use 'make config' to modify these settings

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.gecode.org/download/

Number of commits found: 15

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
03 Apr 2014 15:01:59
Original commit files touched by this commit  4.2.1_1
Revision:350019
mat search for other commits by this committer
Some headers needed the internal boost to be usable.

Sponsored by:	Absolight
27 Feb 2014 09:13:44
Original commit files touched by this commit  4.2.1
Revision:346288
miwi search for other commits by this committer
- Update to 4.2.1

PR:		186739
Submitted by:	Ports Fury
19 Feb 2014 09:00:59
Original commit files touched by this commit  3.7.3
Revision:345033
miwi search for other commits by this committer
- Stage support
20 Sep 2013 17:04:44
Original commit files touched by this commit  3.7.3
Revision:327723
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 2)
03 Aug 2013 13:44:01
Refresh Original commit files touched by this commit
Revision:324191  Sanity Test Failure
mat search for other commits by this committer
- Convert to new perl framework
- Remove MAKE_JOBS_SAFE=yes, it's the default.
28 Mar 2013 16:29:01
Original commit files touched by this commit  3.7.3
Revision:315487
eadler search for other commits by this committer
Style: tab -> space.

Most contributors copy an existing port when writing their own so reduce the
number of bad examples in the tree.
08 Mar 2013 11:32:12
Original commit files touched by this commit  3.7.3
Revision:313635
bapt search for other commits by this committer
Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
12 Jun 2012 09:17:03
Original commit files touched by this commit  3.7.3
bapt search for other commits by this committer
Convert to new options framework
06 Jun 2012 06:44:38
Original commit files touched by this commit  3.7.3
miwi search for other commits by this committer
- Convert USE_QT_VER=4 and QT_COMPONETS to USE_QT4

Review by:      bapt, David Naylor (kde team)
31 Mar 2012 07:18:24
Original commit files touched by this commit  3.7.3
wen search for other commits by this committer
- Update devel/gecode to 3.7.3

Feature safe:   yes
24 Mar 2012 16:25:39
Original commit files touched by this commit  3.7.2
miwi search for other commits by this committer
- Update to 3.7.2

PR:             166023
Submitted by:   Ports Fury
Feature safe:   yes
27 Feb 2012 20:32:31
Original commit files touched by this commit  3.5.0
glarkin search for other commits by this committer
- Reassign to the heap

Requested by:   roam (on ports-developers@)
11 Feb 2011 15:02:42
Original commit files touched by this commit  3.5.0
roam search for other commits by this committer
Update to gecode-3.5.0 and add optional QT and GIST support.
25 Jan 2011 15:12:54
Original commit files touched by this commit  3.4.2
roam search for other commits by this committer
Oops, fix the build by depending on Perl.
While I'm here, mark the configure patch as forwarded upstream, although
it would only be fair to say that upstream noticed it by themselves and
committed it to their tree before I had a chance to contact them about it :)

Feature safe:   yes
24 Jan 2011 14:14:20
Original commit files touched by this commit  3.4.2
roam search for other commits by this committer
Add gecode-3.4.2, the Generic Constraint Development Environment.

WWW:            http://www.gecode.org/
Feature safe:   yes

Number of commits found: 15

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
chromiumAug 26
fileAug 21
py-djangoAug 21
py-django-develAug 21
py-django14Aug 21
py-django15Aug 21
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06

6 vulnerabilities affecting 9 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24170
Broken 169
Deprecated 319
Ignore 455
Forbidden 17
Restricted 223
No CDROM 95
Vulnerable 23
Expired 234
Set to expire 308
Interactive 0
new 24 hours 5
new 48 hours8
new 7 days33
new fortnight91
new month260

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.