ac09b804cc
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)
81 lines
3.1 KiB
Text
81 lines
3.1 KiB
Text
=> Bootstrap dependency digest>=20010302: found digest-20080510
|
|
===> Skipping vulnerability checks.
|
|
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
|
|
WARNING: To fix run: `/usr/pkg/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
|
|
===> Patching for creal-0.7
|
|
===> Creating toolchain wrappers for creal-0.7
|
|
===> Configuring for creal-0.7
|
|
=> Modifying GNU configure scripts to avoid --recheck
|
|
=> Replacing config-guess with pkgsrc versions
|
|
=> Replacing config-sub with pkgsrc versions
|
|
=> Replacing install-sh with pkgsrc version
|
|
creating cache ./config.cache
|
|
checking for ocamlc... ocamlc
|
|
ocaml version is 3.11.1
|
|
ocaml library path is /usr/pkg/lib/ocaml
|
|
checking for ocamlopt... ocamlopt
|
|
checking ocamlopt version... ok
|
|
checking for ocamlc.opt... ocamlc.opt
|
|
checking ocamlc.opt version... ok
|
|
checking for ocamlopt.opt... ocamlopt.opt
|
|
checking ocamlc.opt version... ok
|
|
checking for ocamldep... ocamldep
|
|
checking for ocamllex... ocamllex
|
|
checking for ocamlyacc... ocamlyacc
|
|
updating cache ./config.cache
|
|
creating ./config.status
|
|
creating Makefile
|
|
creating creal.spec
|
|
===> Building for creal-0.7
|
|
ocamlc.opt -ccopt "-o mlgmp/mlgmp_z.o" -c mlgmp/mlgmp_z.c
|
|
ocamlc.opt -ccopt "-o mlgmp/mlgmp_q.o" -c mlgmp/mlgmp_q.c
|
|
ocamlc.opt -ccopt "-o mlgmp/mlgmp_misc.o" -c mlgmp/mlgmp_misc.c
|
|
rm -f mlgmp/libmlgmp.a
|
|
ar rc mlgmp/libmlgmp.a
|
|
ranlib mlgmp/libmlgmp.a
|
|
ocamlc.opt -c -g -I mlgmp mlgmp/gmp.mli
|
|
ocamlc.opt -c -g -I mlgmp mlgmp/gmp.ml
|
|
ocamlc.opt -custom -a -o mlgmp/gmp.cma -cclib "-Lmlgmp -lmlgmp -lgmp"
|
|
ocamlmklib -oc creal -lgmp
|
|
ranlib libcreal.a
|
|
ranlib: 'libcreal.a': No such file
|
|
ocamlc.opt -c -g -I mlgmp cr.mli
|
|
ocamlc.opt -c -g -I mlgmp cr.ml
|
|
File "cr.ml", line 115, characters 6-18:
|
|
Warning Y: unused variable high_shifted.
|
|
File "cr.ml", line 114, characters 6-10:
|
|
Warning Y: unused variable high.
|
|
File "cr.ml", line 420, characters 6-14:
|
|
Warning Y: unused variable scaled_1.
|
|
ocamlc.opt -c -g -I mlgmp creal.mli
|
|
ocamlc.opt -c -g -I mlgmp creal.ml
|
|
ocamlmklib -linkall -o creal mlgmp/gmp.cma cr.cmo creal.cmo -lgmp
|
|
ocamlopt.opt -c -unsafe -I mlgmp mlgmp/gmp.ml
|
|
ocamlopt.opt -a -o mlgmp/gmp.cmxa -cclib "-Lmlgmp -lmlgmp -lgmp"
|
|
ocamlopt.opt -c -unsafe -I mlgmp cr.ml
|
|
File "cr.ml", line 115, characters 6-18:
|
|
Warning Y: unused variable high_shifted.
|
|
File "cr.ml", line 114, characters 6-10:
|
|
Warning Y: unused variable high.
|
|
File "cr.ml", line 420, characters 6-14:
|
|
Warning Y: unused variable scaled_1.
|
|
ocamlopt.opt -c -unsafe -I mlgmp creal.ml
|
|
ocamlmklib -linkall -o creal mlgmp/gmp.cmx cr.cmx creal.cmx -lgmp
|
|
ocamlc.opt -c -g -I mlgmp cmpf.mli
|
|
ocamlopt.opt -c -unsafe -I mlgmp cmpf.ml
|
|
ocamlopt.opt -c -unsafe -I mlgmp test.ml
|
|
ocamlopt.opt -unsafe -I mlgmp -o test.opt -cclib "-L."
|
|
ocamlopt.opt -c -unsafe -I mlgmp test_cr.ml
|
|
ocamlopt.opt -unsafe -I mlgmp -o test_cr.opt -cclib "-L."
|
|
ocamlopt.opt -c -unsafe -I mlgmp calc.ml
|
|
ocamlopt.opt -unsafe -I mlgmp -o ecalc.opt -cclib "-L."
|
|
=> Unwrapping files-to-be-installed.
|
|
===> Installing for creal-0.7
|
|
mkdir -p /usr/pkg/bin
|
|
cp ecalc.opt /usr/pkg/bin/ecalc
|
|
cp: ecalc.opt: No such file or directory
|
|
*** Error code 1
|
|
|
|
Stop.
|
|
bmake: stopped in /usr/pkgsrc/wip/creal/work/creal-0.7
|
|
*** Error code 1
|