| Port details on branch 2025Q3 |
- facile Functional Constraint Library
- 1.1.3_4 math
 =5      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: 2025-01-12 21:36:24
- Commit Hash: 9f1d9cc
- 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 - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- 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:
-
- gmake>=4.4.1 : devel/gmake
- ocamlc : lang/ocaml
- 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 ocaml
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
As an Amazon Associate I earn from qualifying purchases.