Name: facile
Summary: Constraint programming library
Version: 1.1
Release: %mkrel 18
License: LGPLv2
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
Patch1: 10-srcMakefile
Patch2: 20-Makefile
Patch3: 30-non-opt-check
Patch4: facile-1.1-ocaml-4.0.patch
BuildRequires: ocaml-compiler
BuildRequires: ocaml-compiler-libs

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

%files
%doc README LICENSE
%_libdir/ocaml/facile

%prep
%setup -q 
%patch0 -p1
%patch1 -p1 -b .10
%patch2 -p1 -b .20
%patch3 -p1 -b .30
%patch4 -p1

%build
./configure

%ifarch %arm %mips
make OCAMLC="ocamlc -g" OCAMLMLI=ocamlc
%else
make
%endif

%check
make check

%install
%makeinstall_std



%changelog
* Wed Oct 15 2014 umeabot <umeabot> 1.1-18.mga5
+ Revision: 751111
- Second Mageia 5 Mass Rebuild

* Tue Sep 16 2014 umeabot <umeabot> 1.1-17.mga5
+ Revision: 679078
- Mageia 5 Mass Rebuild

* Sat Oct 19 2013 umeabot <umeabot> 1.1-16.mga4
+ Revision: 534799
- Mageia 4 Mass Rebuild

* Sat Sep 14 2013 lmenut <lmenut> 1.1-15.mga4
+ Revision: 478897
- rebuild for new ocaml

* Fri Jan 11 2013 umeabot <umeabot> 1.1-14.mga3
+ Revision: 350024
- Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild

* Mon Oct 15 2012 malo <malo> 1.1-13.mga3
+ Revision: 306713
- add patch for new ocaml-4.0
- simplify dependencies

* Sun Oct 02 2011 shlomif <shlomif> 1.1-12.mga2
+ Revision: 151003
- Add check and changed the licence - thanks to Malo

* Sun Oct 02 2011 fwang <fwang> 1.1-11.mga2
+ Revision: 150866
- rebuild for new oaml

* Sat Jan 22 2011 ahmad <ahmad> 1.1-10.mga1
+ Revision: 33131
- imported package facile


* Mon Jan 25 2010 Nicolas Lécureuil <nlecureuil@mandriva.com> 1.1-9mdv2010.1
+ Revision: 496468
- Rebuild

* Fri Sep 25 2009 Olivier Blin <oblin@mandriva.com> 1.1-8mdv2010.0
+ Revision: 448917
- fix build on platforms withoyt ocaml*opt*, by merging patches from
  debian to get it building on arm & mips
  (from Arnaud Patard)

* Fri Jun 26 2009 Nicolas Lécureuil <nlecureuil@mandriva.com> 1.1-7mdv2010.0
+ Revision: 389532
- Rebuild against new ocaml

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

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

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

* Mon Feb 18 2008 Thierry Vignaud <tv@mandriva.org> 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 <tv@mandriva.org> 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