ocaml-facile.spec

   1 Summary:        Functional Constraint Library implemented in Objective Caml
   2 Name:           ocaml-facile
   3 Version:        1.1
   4 Release:        4
   5 License:        LGPL
   6 Group:          Libraries
   7 Source0:        http://www.recherche.enac.fr/opti/facile/distrib/facile-%{version}.tar.gz
   8 # Source0-md5:  ab673e1fc0859a42bcb639a02c2d7e9e
   9 URL:            http://www.recherche.enac.fr/opti/facile/
  10 BuildRequires:  ocaml >= 3.02
  11 %requires_eq    ocaml-runtime
  12 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  13
  14 %description
  15 FaCiLe is a constraint programming library on integer and integer set
  16 finite domains written in OCaml. It offers all usual facilities to
  17 create and manipulate finite domain variables, arithmetic expressions
  18 and constraints (possibly non-linear), built-in global constraints
  19 (difference, cardinality, sorting etc.) and search and optimization
  20 goals. FaCiLe allows as well to build easily user-defined constraints
  21 and goals (including recursive ones), making pervasive use of OCaml
  22 higher-order functionals to provide a simple and flexible interface
  23 for the user. As FaCiLe is an OCaml library and not "yet another
  24 language", the user benefits from type inference and strong typing
  25 discipline, high level of abstraction, modules and objects system, as
  26 well as native code compilation efficiency, garbage collection and
  27 replay debugger, all features of OCaml (among many others) that allow
  28 to prototype and experiment quickly: modeling, data processing and
  29 interface are implemented with the same powerful and efficient
  30 language. For a more complete description, you may consult the preface
  31 and foreword of the online documentation
  32
  33 %prep
  34 %setup -q -n facile-%{version}
  35
  36 %build
  37 # use ./configure because of 'Unknown option "LDFLAGS=-Wl,--as-needed -Wl,-z,relro -Wl,-z,-combreloc "
  38 ./configure
  39
  40 %{__make}
  41
  42 %install
  43 rm -rf $RPM_BUILD_ROOT
  44 install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/facile
  45 install src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $RPM_BUILD_ROOT%{_libdir}/ocaml/facile
  46
  47 %clean
  48 rm -rf $RPM_BUILD_ROOT
  49
  50 %files
  51 %defattr(644,root,root,755)
  52 %doc LICENSE README
  53 %dir %{_libdir}/ocaml/facile
  54 %{_libdir}/ocaml/facile/*