SPECS: facile.spec (NEW) - initial spec

[paszczus]

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 <feedback at pld-linux.org>
+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
+
================================================================