./wip/creal, Exact real arithmetic library (constructive reals) for ocaml

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.7nb1, Package name: creal-0.7nb1, Maintainer: pkgsrc-users

Creal is an exact real arithmetic library (constructive reals) for ocaml

Creal actually contains two different implementations:

* Creal: from the PhD thesis of Valerie Menissier-Morain (.ps)
* Cr: port of Hans Boehm's Java CR library

The two interfaces are almost identical, so that it is easy to switch from one
to the other, unless you are using the approx function directly: in Creal, it
gives an approximation up to 1/4^n, and in Cr up to 2^n

Both implementations are based on mlgmp by David Monniaux (included in this pkg)


Required to run:
[lang/ocaml] [devel/gmp]

Required to build:
[pkgtools/cwrappers]

Master sites:

RMD160: cd13518c0665cbe8f2f92bb6f171291ff8775bc1
Filesize: 57.83 KB

Version history: (Expand)


CVS history: (Expand)


   2012-11-03 02:10:54 by othyro | Files touched by this commit (1)
Log message:
USE_TOOLS+=gmake so this package builds now; INSTALL_ENV+=DESTDIR;
Package builds and installs properly, passes pkglint. Bump PKGREVISION.
   2012-11-03 02:09:36 by othyro | Files touched by this commit (1)
Log message:
Regenerated after adding patches/patch-Makefile.in
   2012-11-03 02:08:45 by othyro | Files touched by this commit (1)
Log message:
Added full list of files.
   2012-11-03 02:07:56 by othyro | Files touched by this commit (1)
Log message:
No longer necessary. Builds and installs fine.
   2012-11-03 02:06:49 by othyro | Files touched by this commit (1)
Log message:
Make creal use DESTDIR.
   2012-09-24 20:26:51 by Aleksej Saushev | Files touched by this commit (116)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2010-04-28 05:54:13 by othyro | Files touched by this commit (5) | Imported package
Log message:
Import creal-0.7 as wip/creal.

Creal is an exact real arithmetic library (constructive reals) for ocaml

Creal actually contains two different implementations:

    * Creal: from the PhD thesis of Valerie Menissier-Morain (.ps)
    * Cr: port of Hans Boehm's Java CR library

The two interfaces are almost identical, so that it is easy to switch from one
to the other, unless you are using the approx function directly: in Creal, it
gives an approximation up to 1/4^n, and in Cr up to 2^n

Both implementations are based on mlgmp by David Monniaux (included in this pkg)