Port details |
- facile Functional Constraint Library
- 1.1.3_4 math =6 1.1.3_4Version of this port present on the latest quarterly branch.
- Maintainer: kde@FreeBSD.org
- Port Added: 2008-02-09 21:58:34
- Last Update: 2024-05-22 17:16:28
- Commit Hash: bb2bea6
- People watching this port, also watch:: mDNSResponder, xorg-docs, vcdimager, libXdamage, libexif
- License: LGPL21
- WWW:
- http://www.recherche.enac.fr/log/facile/
- Description:
- FaCiLe is a constraint programming library on integer and integer set
finite domains written in OCaml. It offers all usual facilities to create
and manipulate finite domain variables, arithmetic expressions and
constraints, built-in global constraints and search and optimization goals.
FaCiLe allows as well to build easily user-defined constraints and goals,
making pervasive use of OCaml higher-order functionals to provide a simple
and flexible interface for the user.
- ¦ ¦ ¦ ¦
- 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/facile/ && make install clean
- To add the package, run one of these commands:
- pkg install math/facile
- pkg install facile
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: facile
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1482002690
SHA256 (facile-1.1.3.tar.gz) = 5cb63ddb0dca8de12cd54dbf0de37e0fa8af54e7c1f15ee035a33ec219be8aec
SIZE (facile-1.1.3.tar.gz) = 99656
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:
-
- ocamlc : lang/ocaml
- gmake>=4.4.1 : devel/gmake
- Runtime dependencies:
-
- ocamlc : lang/ocaml
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- This port is required by:
- for Build
-
- science/kalzium
-
Deleted ports which required this port:
- * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
Configuration Options:
- No options to configure
- Options name:
- math_facile
- USES:
- gmake
- 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 |
1.1.3_4 22 May 2024 17:16:28 |
Guido Falsi (madpilot) Author: Benjamin Jacobs |
ocaml: Updates to ocaml compiler and several ocaml ports
- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4] (Only the first 15 lines of the commit message are shown above ) |
1.1.3_3 11 Mar 2024 21:50:58 |
Guido Falsi (madpilot) Author: Benjamin Jacobs |
lang/ocaml: Update to 4.14.1
The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.
- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.
The update includes the following updates to existing ports (needed
to keep them working):
- devel/ocaml-camlp4: Updated to 4.14+1 (Only the first 15 lines of the commit message are shown above ) |
1.1.3_2 05 Jul 2023 09:55:16 |
Guido Falsi (madpilot) |
lang/ocaml: Update to 4.08.1
This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.
The ocaml port now is MAKE_JOBS safe.
Changes to dependent ports included in this commit:
- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1] (Only the first 15 lines of the commit message are shown above ) |
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) |
1.1.3_1 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 ) |
1.1.3_1 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 ) |
1.1.3_1 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
1.1.3_1 24 Jun 2019 10:14:57 |
danfe |
Update OCaml to version 4.05.0 (this is the last version where strings
are unsafe by default, which is the main motivation why it was picked,
but not the very latest one) and synchronize the rest of the stack and
dependent ports with it, particularly:
- Update `devel/ocaml-ocamlbuild' to version 0.14.0 and unbreak,
register build dependency on all ports that require it (should
be part of USE_OCAML, but we do not want to make any Mk-related
changes the for time being)
- Update `devel/ocaml-camlp4' to version 4.05+2
- Update `devel/ocaml-camlp5' to version 7.07 (the project had
moved to GitHub)
- Mark `devel/ocaml-deriving-ocsigen' as BROKEN for now, it is
very outdated and requires quite a lot of work
- Update `x11-toolkits/ocaml-labltk' to version 8.06.3
PR: 218333
Exp-run by: antoine |
1.1.3 28 Dec 2016 23:03:03 |
tcberner |
Update math/facile to 1.1.3
Approved by: rakuco (mentor) |
1.1.2 11 Sep 2016 17:29:28 |
tcberner |
Update math/facile to 1.1.2
Reviewed by: rakuco
Approved by: rakuco (mentor)
Differential Revision: https://reviews.freebsd.org/D7731 |
1.1.1 11 Sep 2016 17:24:25 |
tcberner |
Update math/facile MASTER_SITES.
Reviewed by: rakuco
Approved by: rakuco (mentor)
MFH: 2016Q3
Differential Revision: https://reviews.freebsd.org/D7731 |
1.1.1 04 Dec 2015 09:51:00 |
rakuco |
Update to 1.1.1.
This is a bug fix release that adds OCaml4 support, which allows us to drop
files/patch-ocaml4. |
1.1_5 29 Apr 2015 20:57:31 |
marino |
math/facile: Bump because ocaml version ungraded
The ocaml makefile says to bump this port after ocaml is changed. I don't
know how necessary this really is though.
PR: 195736 |
1.1_4 13 Nov 2014 23:24:01 |
antoine |
Cleanup plist |
1.1_4 13 May 2014 07:25:54 |
makc |
math/facile:
- bump PORTREVISION to trigger repackaging after recent ocaml update:
the package is usable only with ocaml which was used to compile facile.
lang/ocaml:
- add upgrading notes for committers |
1.1_3 01 Apr 2014 08:41:13 |
makc |
math/facile:
- add patch to fix build with ocaml-4
- modernize Makefile (USES, staging)
- bump PORTREVISION after ocaml update
- assign maintainership to kde@ |
1.1_2 02 Jan 2014 09:15:40 |
arved |
New years resolution: Reduce the number of ports i maintain, but don't use |
1.1_2 20 Sep 2013 20:55:06 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
1.1_2 06 Apr 2011 05:43:49 |
stas |
- Bump portrevision of math/facile after the lang/ocaml udpate.
Suggested by: makc |
1.1_1 20 Mar 2011 12:54:45 |
miwi |
- Get Rid MD5 support |
1.1_1 04 Jun 2010 21:41:41 |
kwm |
Instead of only 1 LGPL license there are two namely: the 2.1 and 3 version.
So make a LGPL21 and LGPL3 value for the license framework.
Replace the LGPL used in ports with LGPL21. (checked all consumers)
Obtained from: http://www.gnu.org/licenses/ (Under License URL's) |
1.1_1 30 May 2010 17:39:07 |
arved |
Add LICENSE and LICENSE_FILE to my ports. |
1.1_1 20 Apr 2010 17:32:48 |
makc |
Bump PORTREVISION after latest ocaml update.
Approved by: portmgr (itetcu) |
1.1 09 Feb 2008 21:57:03 |
arved |
Add facile, a Functional Constraint Library written in Ocaml |