GMP, MPFR and MPC interface library for Objective-Caml

What's this?

Objective-Caml binding to the multiple precision arithmetic libraries GMP, MPFR and MPC.

Prerequisites

OCaml >= 4.11

https://ocaml.org/

GMP >= 4.3

http://gmplib.org/

MPFR >= 2.4

http://www.mpfr.org/

MPC >= 0.9

http://www.multiprecision.org/

How to make

Install

make install PREFIX=/usr/local

Specify your preferred directory to PREFIX. The libraries would be installed into $PREFIX/lib/ocaml (default is ocamlc -where).

If GMP is not installed in the default search path, specify the directory containing GMP to WITH_GMP. $WITH_GMP/include and $WITH_GMP/lib would be used. WITH_MPFR and WITH_MPC are similar.

Uninstall

make uninstall PREFIX=/usr/local

Build examples

make -C examples

License

It is dual-licensed under the New BSD License and LGPLv3, see below. Please apply LGPLv3 when static linking libgmp.a, libmpfr.a or libmpc.a.

license of gmp-ocaml (1) :

Copyright 2010-2024 YT. All rights reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
1. Redistributions of source code must retain the above copyright
   notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
   notice, this list of conditions and the following disclaimer in the
   documentation and/or other materials provided with the distribution.

THIS SOFTWARE IS PROVIDED BY THE AUTHOR(S) ``AS IS'' AND ANY EXPRESS OR
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
IN NO EVENT SHALL THE AUTHOR(S) BE LIABLE FOR ANY DIRECT, INDIRECT,
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

license of gmp-ocaml (2), GMP, MPFR and MPC :

This file is part of gmp-ocaml.

gmp-ocaml is free software: you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

gmp-ocaml is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License
along with gmp-ocaml.  If not, see <http://www.gnu.org/licenses/>.