1 | Name: facile |
---|
2 | Summary: Functional Constraint Library implemented in Objective Caml |
---|
3 | Summary(ja): OCaml で実装された関数制約ライブラリ |
---|
4 | Version: 1.1 |
---|
5 | Release: 11%{?_dist_release} |
---|
6 | |
---|
7 | License: LGPL |
---|
8 | Group: System Environment/Libraries |
---|
9 | URL: http://www.recherche.enac.fr/opti/facile/ |
---|
10 | |
---|
11 | Source: http://www.recherche.enac.fr/opti/facile/distrib/%{name}-%{version}.tar.gz |
---|
12 | |
---|
13 | BuildRoot: %{_tmppath}/%{name}-%{version}-root |
---|
14 | BuildRequires: ocaml >= 3.02 |
---|
15 | Requires: ocaml >= 3.02 |
---|
16 | |
---|
17 | Vendor: Project Vine |
---|
18 | Distribution: Vine Linux |
---|
19 | |
---|
20 | Packager: inagaki |
---|
21 | |
---|
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 |
---|
68 | * Wed Apr 27 2011 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-11 |
---|
69 | - rebuilt with ocaml-3.12.0 |
---|
70 | - added Japanese summary |
---|
71 | - added Vendor and Distribution tag |
---|
72 | |
---|
73 | * Sun Sep 13 2009 NAKAMURA Kenta <kenta@vinelinux.org> 1.1-10 |
---|
74 | - rebuilt with ocaml-3.11.0 (x86_64 has not built with ocaml-3.11.0) |
---|
75 | |
---|
76 | * Sat May 9 2009 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-9 |
---|
77 | - rebuilt with ocaml-3.11.0 |
---|
78 | |
---|
79 | * Sat Jul 12 2008 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-8 |
---|
80 | - rebuild with ocaml-3.10.2 |
---|
81 | |
---|
82 | * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.2 |
---|
83 | - rebuild with ocaml-3.10.1 on Vine4.2 |
---|
84 | |
---|
85 | * Thu Feb 7 2008 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl7 |
---|
86 | - rebuild with ocaml-3.10.1 |
---|
87 | |
---|
88 | * Tue Oct 23 2007 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl5.1 |
---|
89 | - rebuild with ocaml-3.10.0 on Vine4.1 |
---|
90 | |
---|
91 | * Sun Sep 30 2007 Ryoichi INAGAKI <ryo1@bc.wakwak.com> 1.1-0vl6 |
---|
92 | - rebuild with ocaml-3.10.0 |
---|
93 | |
---|
94 | * Thu Jun 15 2006 MATSUBAYASHI Kohji <shaolin@vinelinux.org> 1.1-0vl5 |
---|
95 | - rebuild with ocaml-3.09.2 on VineSeed |
---|
96 | |
---|
97 | * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl4 |
---|
98 | - rebuild with ocaml-3.09.1 on VineSeed |
---|
99 | |
---|
100 | * Thu Mar 23 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl3 |
---|
101 | - rebuild with ocaml-3.09.1 on Vine3.2 |
---|
102 | |
---|
103 | * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl2 |
---|
104 | - rebuild for VineSeed |
---|
105 | |
---|
106 | * Mon Feb 6 2006 AKIYAMA Kazuhito <akiyama@yb3.so-net.ne.jp> 1.1-0vl1 |
---|
107 | - initial release |
---|