Sophie

Sophie

distrib > Mandriva > 2009.1 > i586 > media > main-release-src > by-pkgid > 86091d19eaec6515accf0459f9b5ee1c > files > 3

facile-1.1-6mdv2009.1.src.rpm

Name: facile
Summary: Constraint programming library
Version: 1.1
Release: %mkrel 6
License: GPL
Group: System/Libraries
URL: http://www.recherche.enac.fr/log/facile/
Source0: http://www.recherche.enac.fr/log/facile/distrib/%name-%version.tar.gz
Patch0: facile-1.1-install.patch
Buildroot:	%_tmppath/%name-%version-%release-root
BuildRequires: ocaml
Requires: ocaml

%description
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

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

%prep
%setup -q 
%patch0 -p1

%build
./configure

make

%install
make DESTDIR=%buildroot install

%clean
rm -rf %buildroot



%changelog
* Thu Dec 11 2008 Nicolas Lécureuil <neoclust@mandriva.org> 1.1-6mdv2009.1
+ Revision: 313362
- Rebuild against new OCAML

* Tue Jun 17 2008 Thierry Vignaud <tvignaud@mandriva.com> 1.1-5mdv2009.0
+ Revision: 220741
- rebuild

* Sat Mar 08 2008 Nicolas Lécureuil <neoclust@mandriva.org> 1.1-4mdv2008.1
+ Revision: 182267
- Rebuild against new ocaml

* Mon Feb 18 2008 Thierry Vignaud <tvignaud@mandriva.com> 1.1-3mdv2008.1
+ Revision: 170826
- rebuild
- fix "foobar is blabla" summary (=> "blabla") so that it looks nice in rpmdrake
- fix description-line-too-long

* Sat Jan 12 2008 Thierry Vignaud <tvignaud@mandriva.com> 1.1-2mdv2008.1
+ Revision: 149712
- rebuild
- kill re-definition of %%buildroot on Pixel's request

  + Olivier Blin <oblin@mandriva.com>
    - restore BuildRoot

* Thu Jul 05 2007 Helio Chissini de Castro <helio@mandriva.com> 1.1-1mdv2008.0
+ Revision: 48648
- First release