%define base_name creal
%define name ocaml-%{base_name}
%define version 0.7
%define release %mkrel 5
Name: %{name}
Version: %{version}
Release: %{release}
Summary: Exact real arithmetic for Objective Caml
Source: http://www.lri.fr/~filliatr/ftp/ocaml/ds/%{base_name}-%{version}.tar.bz2
URL: http://www.lri.fr/~filliatr/software.en.html
License: LGPL
Group: Development/Other
BuildRequires: ocaml
BuildRequires: gmp-devel
BuildRoot: %{_tmppath}/%{name}-%{version}
%description
Creal is an exact real arithmetic library for Objective Caml.
This module implements exact real arithmetic, following Valérie
Ménissier-Morain Ph.D. thesis (http://www-calfor.lip6.fr/~vmm/).
A real x is represented as a function giving, for any n, an
approximation zn/4^n of x such that |zn/4^n - x| < 1, where zn is an
arbitrary precision integer (of type Gmp.Z.t).
Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition,
subtraction, multiplication, division, power, square root) and
transcendental functions (sin, cos, tan, log, exp, arcsin, arccos,
etc.) and a few constants (pi, e) are provided.
A small reverse-polish calculator is provided to test the library.
Written by Jean-Christophe Filliâtre.
%package devel
Summary: Exact real arithmetic for Objective Caml
Group: Development/Other
Requires: gmp-devel
Requires: %{name} = %{version}-%{release}
%description devel
Creal is an exact real arithmetic library for Objective Caml.
%prep
%setup -q -n %{base_name}-%{version}
chmod 644 README CHANGES *.mli mlgmp/*.mli
perl -pi -e 's/\015$//' README
%build
%configure
%make
%install
rm -rf %{buildroot}
install -d %{buildroot}%{ocaml_sitelib}/%{base_name}
make LIBDIR=%{buildroot}%{ocaml_sitelib}/%{base_name} install-lib
%clean
rm -rf %{buildroot}
%files
%defattr(-,root,root)
%doc README CHANGES
%dir %{ocaml_sitelib}/creal
%{ocaml_sitelib}/creal/*.cmi
%files devel
%defattr(-,root,root)
%{ocaml_sitelib}/creal/*
%exclude %{ocaml_sitelib}/creal/*.cmi
%changelog
* Wed Jul 30 2008 Thierry Vignaud <tvignaud@mandriva.com> 0.7-5mdv2009.0
+ Revision: 254191
- rebuild
* Tue Mar 04 2008 Guillaume Rousse <guillomovitch@mandriva.org> 0.7-3mdv2008.1
+ Revision: 178366
- rebuild
- cleanup
+ Olivier Blin <oblin@mandriva.com>
- restore BuildRoot
+ Thierry Vignaud <tvignaud@mandriva.com>
- kill re-definition of %%buildroot on Pixel's request
* Sat Sep 01 2007 Guillaume Rousse <guillomovitch@mandriva.org> 0.7-2mdv2008.0
+ Revision: 77577
- compliance with ocaml policy
* Thu Jan 25 2007 Guillaume Rousse <guillomovitch@mandriva.org> 0.7-1mdv2007.0
+ Revision: 113168
- new version
- Import ocaml-creal
* Tue Aug 29 2006 Guillaume Rousse <guillomovitch@mandriva.org> 0.6-5mdv2007.0
- Rebuild
* Wed Apr 26 2006 Pixel <pixel@mandriva.com> 0.6-4mdk
- rebuild for new ocaml
* Thu Jan 19 2006 Pixel <pixel@mandriva.com> 0.6-3mdk
- rebuild for new ocaml
* Mon Nov 07 2005 Guillaume Rousse <guillomovitch@mandriva.org> 0.6-2mdk
- rebuild for new ocaml
* Wed Nov 02 2005 Guillaume Rousse <guillomovitch@mandriva.org> 0.6-1mdk
- contributed by Julien Narboux (Julien.Narboux@inria.fr)
