Author: paszczus Date: Sat Jul 26 11:05:50 2008 GMT Module: SPECS Tag: HEAD ---- Log message: - initial spec
---- Files affected: SPECS: facile.spec (NONE -> 1.1) (NEW) ---- Diffs: ================================================================ Index: SPECS/facile.spec diff -u /dev/null SPECS/facile.spec:1.1 --- /dev/null Sat Jul 26 13:05:50 2008 +++ SPECS/facile.spec Sat Jul 26 13:05:45 2008 @@ -0,0 +1,63 @@ +# $Revision$, $Date$ +Summary: Functional Constraint Library implemented in Objective Caml +Name: facile +Version: 1.1 +Release: 1 +License: LGPL +Group: Libraries +Source0: http://www.recherche.enac.fr/opti/facile/distrib/%{name}-%{version}.tar.gz +# Source0-md5: ab673e1fc0859a42bcb639a02c2d7e9e +URL: http://www.recherche.enac.fr/opti/facile/ +BuildRequires: ocaml >= 3.02 +Requires: ocaml >= 3.02 +BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n) + +%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 (possibly non-linear), built-in global constraints +(difference, cardinality, sorting etc.) and search and optimization +goals. FaCiLe allows as well to build easily user-defined constraints +and goals (including recursive ones), making pervasive use of OCaml +higher-order functionals to provide a simple and flexible interface +for the user. As FaCiLe is an OCaml library and not "yet another +language", the user benefits from type inference and strong typing +discipline, high level of abstraction, modules and objects system, as +well as native code compilation efficiency, garbage collection and +replay debugger, all features of OCaml (among many others) that allow +to prototype and experiment quickly: modeling, data processing and +interface are implemented with the same powerful and efficient +language. For a more complete description, you may consult the preface +and foreword of the online documentation + +%prep +%setup -q + +%build +./configure + +%{__make} + +%install +rm -rf $RPM_BUILD_ROOT +install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/facile +cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $RPM_BUILD_ROOT%{_libdir}/ocaml/facile + +%clean +rm -rf $RPM_BUILD_ROOT + +%files +%defattr(644,root,root,755) +%doc LICENSE README +%{_libdir}/ocaml/facile/* + +%define date %(echo `LC_ALL="C" date +"%a %b %d %Y"`) +%changelog +* %{date} PLD Team <[EMAIL PROTECTED]> +All persons listed below can be reached at <cvs_login>@pld-linux.org + +$Log$ +Revision 1.1 2008/07/26 11:05:45 paszczus +- initial spec + ================================================================ _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
