diff options
| author | arved <arved@FreeBSD.org> | 2008-02-10 05:57:03 +0800 |
|---|---|---|
| committer | arved <arved@FreeBSD.org> | 2008-02-10 05:57:03 +0800 |
| commit | 7c547668878918e177dcfbee0044800c752fd24a (patch) | |
| tree | c2d6d9d7cb310ec11fca701de4fa6f27d9d1d4f2 /math | |
| parent | dbc2112f164a885c7520b7f915460c5c89c1acb2 (diff) | |
| download | freebsd-ports-gnome-7c547668878918e177dcfbee0044800c752fd24a.tar.gz freebsd-ports-gnome-7c547668878918e177dcfbee0044800c752fd24a.tar.zst freebsd-ports-gnome-7c547668878918e177dcfbee0044800c752fd24a.zip | |
Add facile, a Functional Constraint Library written in Ocaml
Diffstat (limited to 'math')
| -rw-r--r-- | math/Makefile | 1 | ||||
| -rw-r--r-- | math/facile/Makefile | 24 | ||||
| -rw-r--r-- | math/facile/distinfo | 3 | ||||
| -rw-r--r-- | math/facile/pkg-descr | 10 | ||||
| -rw-r--r-- | math/facile/pkg-plist | 5 |
5 files changed, 43 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index e049c032b713..c2f6f1046516 100644 --- a/math/Makefile +++ b/math/Makefile @@ -58,6 +58,7 @@ SUBDIR += entropy SUBDIR += eukleides SUBDIR += eval + SUBDIR += facile SUBDIR += fann SUBDIR += fbm SUBDIR += femlab diff --git a/math/facile/Makefile b/math/facile/Makefile new file mode 100644 index 000000000000..2c0fac91f24f --- /dev/null +++ b/math/facile/Makefile @@ -0,0 +1,24 @@ +# New ports collection makefile for: facile +# Date created: 2008-02-09 +# Whom: arved +# +# $FreeBSD$ + +PORTNAME= facile +PORTVERSION= 1.1 +CATEGORIES= math +MASTER_SITES= http://www.recherche.enac.fr/log/facile/distrib/ + +MAINTAINER= arved@FreeBSD.org +COMMENT= A Functional Constraint Library + +USE_OCAML= yes +HAS_CONFIGURE= yes +USE_GMAKE= yes +ALL_TARGET= compile + +post-patch: + ${REINPLACE_CMD} -e "s,make,${GMAKE},; \ + s,cp,${INSTALL_DATA}," ${WRKSRC}/Makefile + +.include <bsd.port.mk> diff --git a/math/facile/distinfo b/math/facile/distinfo new file mode 100644 index 000000000000..4c5c4eba52cd --- /dev/null +++ b/math/facile/distinfo @@ -0,0 +1,3 @@ +MD5 (facile-1.1.tar.gz) = ab673e1fc0859a42bcb639a02c2d7e9e +SHA256 (facile-1.1.tar.gz) = a87a6ba7869104f85828c19a9681758bd1d01c816581ba09ac483739ad4ae5ca +SIZE (facile-1.1.tar.gz) = 96343 diff --git a/math/facile/pkg-descr b/math/facile/pkg-descr new file mode 100644 index 000000000000..226ae21ea401 --- /dev/null +++ b/math/facile/pkg-descr @@ -0,0 +1,10 @@ +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. + +WWW: http://www.recherche.enac.fr/log/facile/ diff --git a/math/facile/pkg-plist b/math/facile/pkg-plist new file mode 100644 index 000000000000..a1a84e142f05 --- /dev/null +++ b/math/facile/pkg-plist @@ -0,0 +1,5 @@ +lib/ocaml/facile/facile.a +lib/ocaml/facile/facile.cmi +lib/ocaml/facile/facile.cma +lib/ocaml/facile/facile.cmxa +@dirrm lib/ocaml/facile |