File ocaml-facile.spec of Package ocaml-facile

#
# spec file for package ocaml-facile (Version 1.1)
#
# Copyright (c) 2007 SUSE LINUX Products GmbH, Nuernberg, Germany.
# This file and all modifications and additions to the pristine
# package are under the same license as the package itself.
#
# Please submit bugfixes or comments via http://bugs.opensuse.org/
#


Name:           ocaml-facile
Version:        1.1
Release:        1
License:        GNU Library General Public License v. 2.0 and 2.1 (LGPL)
BuildRoot:      %{_tmppath}/%{name}-%{version}-build
BuildRequires:  ocaml
Group:          Development/Libraries/Other
Summary:        Ocaml Constraint Programming Library
Source:         facile-1.1.tar.bz2
URL:            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 faciliti es 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-d efined 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 inf erence and strong typing discipline,
high level of abstraction, modules and objects system, as well as
native code compilation effi ciency, garbage collection and replay
debugger, all features of OCaml (among many others) that allow to
prototype and experiment qu ickly: modeling, data processing and
interface are implemented with the same powerful and efficient
language.



%prep
%setup -q -n facile-%{version}

%build
./configure -faciledir %{buildroot}/%{_libdir}/ocaml/facile
make %{?jobs:-j %jobs}

%install

%__install -d -m 755 %{buildroot}/%{_libdir}/ocaml/facile
%makeinstall

%clean
%{__rm} -rf %{buildroot}

%files
%defattr(-,root,root)
%{_libdir}/ocaml/facile

%changelog
* Mon Jun 04 2007 - dmueller@suse.de
- Initial package (1.1)