[Midnightbsd-cvs] mports: math/facile: Added facile-1.1

[ctriv at midnightbsd.org]

Log Message:
-----------
Added facile-1.1

Added Files:
-----------
    mports/math/facile:
        Makefile (r1.1)
        distinfo (r1.1)
        pkg-descr (r1.1)
        pkg-plist (r1.1)

-------------- next part --------------
--- /dev/null
+++ 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/
--- /dev/null
+++ 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
+ at dirrm lib/ocaml/facile
--- /dev/null
+++ math/facile/Makefile
@@ -0,0 +1,34 @@
+#
+# $MidnightBSD: mports/math/facile/Makefile,v 1.1 2008/12/16 17:25:14 ctriv Exp $
+
+PORTNAME=	facile
+PORTVERSION=	1.1
+CATEGORIES=	math
+MASTER_SITES=	http://www.recherche.enac.fr/log/facile/distrib/
+
+MAINTAINER=	ports at MidnightBSD.org
+COMMENT=	A Functional Constraint Library
+LICENSE=	lgpl
+
+USE_OCAML=	yes
+HAS_CONFIGURE=	yes
+USE_GMAKE=	yes
+ALL_TARGET=	compile
+
+
+FACILEDIR=	${PREFIX}/lib/ocaml/facile
+
+
+FAKE_MAKEARGS=  FACILEDIR=${FAKE_DESTDIR}${FACILEDIR}
+
+
+pre-install:
+	@${MKDIR} ${FACILEDIR}
+
+post-patch:
+	${REINPLACE_CMD} -e "s,make,${GMAKE},; \
+		s,cp,${INSTALL_DATA}," ${WRKSRC}/Makefile
+
+
+
+.include <bsd.port.mk>
--- /dev/null
+++ 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