File: creal.spec.in

package info (click to toggle)
ocamlcreal 0.7-6
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, jessie, jessie-kfreebsd, sid, squeeze, stretch, wheezy
  • size: 384 kB
  • ctags: 751
  • sloc: ml: 2,699; ansic: 1,067; makefile: 15
file content (65 lines) | stat: -rw-r--r-- 1,977 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
%define base_name	creal
%define name		ocaml-%{base_name}
%define version		@VERSION@
%define release		1mdk

Name:		%{name}
Version:	%{version}
Release:	%{release}
Summary:	Module Creal for Objective caml: Exact real arithmetic
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
BuildRoot:	%{_tmppath}/%{name}-%{version}
BuildRequires:	ocaml
BuildRequires:  gmp-devel


%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

%description devel
Creal is an exact real arithmetic library for Objective Caml.	

%prep
%setup -q -n %{base_name}-%{version}
chmod 644 README CHANGES *.mli
perl -pi -e 's/\015$//' README

%build
%configure
%make

%install
rm -rf %{buildroot}
destdir=`ocamlc -where`
install -d %{buildroot}$destdir
make LIBDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml/%{base_name} install-lib

%clean
rm -rf %{buildroot}

%files devel
%defattr(-,root,root)
%doc README CHANGES
%{_libdir}/ocaml/%{base_name}

%changelog
* Fri Oct 21 2005 Guillaume Rousse <guillomovitch@mandriva.org> 0.6-1mdk 
- contributed by Julien Narboux (Julien.Narboux@inria.fr)