[xavier.leroy@inria.fr: Re: [Caml-list] Copyright Clarifications]
Well, response from Xavier, i don't see any quick solution, but the fact
that the rights are at HP may be a good thing. Let's ask Bdale about
this :))
Splitting bignum out of ocaml is not nice, lot of work, and i don't feel
upto it, not in the short time that is.
Friendly,
Sven Luther
----- Forwarded message from Xavier Leroy <xavier.leroy@inria.fr> -----
Envelope-to: luther@localhost
Delivery-date: Mon, 06 Oct 2003 10:52:58 +0200
X-Sieve: Server Sieve 2.2
From: Xavier Leroy <xavier.leroy@inria.fr>
To: Marc Santoro <msantoro@pobox.com>
Cc: caml-list@inria.fr, luther@debian.org
Subject: Re: [Caml-list] Copyright Clarifications
X-Spam: no; 0.00; leroy:01 leroy:01 bignum:01 bignum:01 replacing:01 gmp:01 low-level:01 gmp:01 api:01 arithmetic:01 libraries:01 hump:01 show-stopper:01 ocaml:01 xavier:01
> [Licensing conditions for the "bignum" library used by OCaml's "num"
> library]
You're correct that these conditions are a bit of a problem. The
license you quote is that from the original BigNum distribution in the
late 80's, although the code OCaml uses was later improved at INRIA.
As you noticed, the BigNum code is copyright Digital and INRIA. If it
were just for INRIA, that code would have been put under a standard
open source license a long time ago. The problem is on the Digital
side: there have been a long chain of events (Digital PRL lab closed;
Digital acquired by Compaq; Compaq acquired by HP) that makes it
nearly impossible to deal with the copyright holders.
There are several ways to address this problem, such as replacing
BigNum by GMP (the low-level functions of GMP match very closely
BigNum's API), but this will take a while.
In the meantime, users who are concerned about a potential licensing
problem for a commercial application can also consider other Caml
arbitrary-precision arithmetic libraries, such as MLGMP and Numerix
(see the Hump, section "Mathematics", at caml.inria.fr). Feel free to
contact us (caml@inria.fr) directly if this licensing issue is a real
show-stopper for your application.
- Xavier Leroy
----- End forwarded message -----
Reply to: