projects / packages / ocaml-facile.git / blame
| Commit | Line | Data |
|---|---|---|
| 95c49677 | 1 | Summary: Functional Constraint Library implemented in Objective Caml |
| d4c3d688 | 2 | Name: ocaml-facile |
| 7462a603 JR |
3 | Version: 1.1.3 |
| 4 | Release: 1 | |
| 95c49677 SP |
5 | License: LGPL |
| 6 | Group: Libraries | |
| 7462a603 JR |
7 | Source0: http://opti.recherche.enac.fr/facile/distrib/facile-%{version}.tar.gz |
| 8 | # Source0-md5: 172c4fbea636a8fa575b988390639d8d | |
| 95c49677 SP |
9 | URL: http://www.recherche.enac.fr/opti/facile/ |
| 10 | BuildRequires: ocaml >= 3.02 | |
| d4c3d688 | 11 | %requires_eq ocaml-runtime |
| 95c49677 SP |
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 | |
| d4c3d688 | 34 | %setup -q -n facile-%{version} |
| 95c49677 SP |
35 | |
| 36 | %build | |
| d4c3d688 | 37 | # use ./configure because of 'Unknown option "LDFLAGS=-Wl,--as-needed -Wl,-z,relro -Wl,-z,-combreloc " |
| 95c49677 SP |
38 | ./configure |
| 39 | ||
| 40 | %{__make} | |
| 41 | ||
| 42 | %install | |
| 43 | rm -rf $RPM_BUILD_ROOT | |
| 44 | install -d $RPM_BUILD_ROOT%{_libdir}/ocaml/facile | |
| c859a95e | 45 | install src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $RPM_BUILD_ROOT%{_libdir}/ocaml/facile |
| 95c49677 SP |
46 | |
| 47 | %clean | |
| 48 | rm -rf $RPM_BUILD_ROOT | |
| 49 | ||
| 50 | %files | |
| 51 | %defattr(644,root,root,755) | |
| 52 | %doc LICENSE README | |
| c859a95e | 53 | %dir %{_libdir}/ocaml/facile |
| 95c49677 | 54 | %{_libdir}/ocaml/facile/* |