[3717] | 1 | Name: facile |
---|
[521] | 2 | Summary: Functional Constraint Library implemented in Objective Caml |
---|
[3717] | 3 | Summary(ja): OCaml で実装された関数制約ライブラリ |
---|
[521] | 4 | Version: 1.1 |
---|
[4219] | 5 | Release: 12%{?_dist_release} |
---|
[3717] | 6 | |
---|
[521] | 7 | License: LGPL |
---|
| 8 | Group: System Environment/Libraries |
---|
[3717] | 9 | URL: http://www.recherche.enac.fr/opti/facile/ |
---|
| 10 | |
---|
[521] | 11 | Source: http://www.recherche.enac.fr/opti/facile/distrib/%{name}-%{version}.tar.gz |
---|
[3717] | 12 | |
---|
[521] | 13 | BuildRoot: %{_tmppath}/%{name}-%{version}-root |
---|
| 14 | BuildRequires: ocaml >= 3.02 |
---|
| 15 | Requires: ocaml >= 3.02 |
---|
| 16 | |
---|
[3717] | 17 | Vendor: Project Vine |
---|
| 18 | Distribution: Vine Linux |
---|
| 19 | |
---|
| 20 | Packager: inagaki |
---|
| 21 | |
---|
[521] | 22 | %description |
---|
| 23 | FaCiLe is a constraint programming library on integer and integer set |
---|
| 24 | finite domains written in OCaml. It offers all usual facilities to create and |
---|
| 25 | manipulate finite domain variables, arithmetic expressions and constraints |
---|
| 26 | (possibly non-linear), built-in global constraints (difference, cardinality, |
---|
| 27 | sorting etc.) and search and optimization goals. FaCiLe allows as well to |
---|
| 28 | build easily user-defined constraints and goals (including recursive ones), |
---|
| 29 | making pervasive use of OCaml higher-order functionals to provide a simple |
---|
| 30 | and flexible interface for the user. As FaCiLe is an OCaml library and not |
---|
| 31 | "yet another language", the user benefits from type inference and strong |
---|
| 32 | typing discipline, high level of abstraction, modules and objects system, |
---|
| 33 | as well as native code compilation efficiency, garbage collection and replay |
---|
| 34 | debugger, all features of OCaml (among many others) that allow to prototype |
---|
| 35 | and experiment quickly: modeling, data processing and interface are |
---|
| 36 | implemented with the same powerful and efficient language. For a more |
---|
| 37 | complete description, you may consult the preface and foreword of the online |
---|
| 38 | documentation |
---|
| 39 | |
---|
| 40 | %prep |
---|
| 41 | %setup -q |
---|
| 42 | |
---|
| 43 | %build |
---|
| 44 | ./configure |
---|
| 45 | make |
---|
| 46 | |
---|
| 47 | %install |
---|
| 48 | rm -rf $RPM_BUILD_ROOT |
---|
| 49 | mkdir -p $RPM_BUILD_ROOT%{_libdir}/ocaml/facile |
---|
| 50 | cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $RPM_BUILD_ROOT%{_libdir}/ocaml/facile |
---|
| 51 | chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.cmi |
---|
| 52 | chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.cma |
---|
| 53 | chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.cmxa |
---|
| 54 | chmod a+r $RPM_BUILD_ROOT%{_libdir}/ocaml/facile/facile.a |
---|
| 55 | |
---|
| 56 | %clean |
---|
| 57 | rm -rf $RPM_BUILD_ROOT |
---|
| 58 | |
---|
| 59 | %check |
---|
| 60 | make check |
---|
| 61 | |
---|
| 62 | %files |
---|
| 63 | %defattr(-,root,root) |
---|
| 64 | %doc LICENSE README |
---|
| 65 | %{_libdir}/ocaml/facile/* |
---|
| 66 | |
---|
| 67 | %changelog |
---|
[4219] | 68 | * Sat Jun 25 2011 Yoji TOYODA <bsyamato@sea.plala.or.jp> 1.1-12 |
---|
| 69 | - rebuild with ocaml-3.12.0 |
---|
| 70 | |
---|
[3717] | 71 | * Wed Apr 27 2011 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-11 |
---|
| 72 | - rebuilt with ocaml-3.12.0 |
---|
| 73 | - added Japanese summary |
---|
| 74 | - added Vendor and Distribution tag |
---|
| 75 | |
---|
[521] | 76 | * Sun Sep 13 2009 NAKAMURA Kenta <kenta@vinelinux.org> 1.1-10 |
---|
| 77 | - rebuilt with ocaml-3.11.0 (x86_64 has not built with ocaml-3.11.0) |
---|
| 78 | |
---|
| 79 | * Sat May 9 2009 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-9 |
---|
| 80 | - rebuilt with ocaml-3.11.0 |
---|
| 81 | |
---|
| 82 | * Sat Jul 12 2008 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-8 |
---|
| 83 | - rebuild with ocaml-3.10.2 |
---|
| 84 | |
---|
| 85 | * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.2 |
---|
| 86 | - rebuild with ocaml-3.10.1 on Vine4.2 |
---|
| 87 | |
---|
| 88 | * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl7 |
---|
| 89 | - rebuild with ocaml-3.10.1 |
---|
| 90 | |
---|
| 91 | * Tue Oct 23 2007 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.1 |
---|
| 92 | - rebuild with ocaml-3.10.0 on Vine4.1 |
---|
| 93 | |
---|
| 94 | * Sun Sep 30 2007 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-0vl6 |
---|
| 95 | - rebuild with ocaml-3.10.0 |
---|
| 96 | |
---|
| 97 | * Thu Jun 15 2006 MATSUBAYASHI Kohji <shaolin@vinelinux.org> 1.1-0vl5 |
---|
| 98 | - rebuild with ocaml-3.09.2 on VineSeed |
---|
| 99 | |
---|
| 100 | * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl4 |
---|
| 101 | - rebuild with ocaml-3.09.1 on VineSeed |
---|
| 102 | |
---|
| 103 | * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl3 |
---|
| 104 | - rebuild with ocaml-3.09.1 on Vine3.2 |
---|
| 105 | |
---|
| 106 | * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl2 |
---|
| 107 | - rebuild for VineSeed |
---|
| 108 | |
---|
| 109 | * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl1 |
---|
| 110 | - initial release |
---|