ocaml4.14.0-num-1.1
checks.i686-linux.alt-ergo
· build #1
· raw
unpackPhase
1unpacking sources2unpacking source archive /nix/store/rfl2gd9x5080h06k5q2h3ckx7dg5k5vg-source3source root is sourcepatchPhase
4patching sources5applying patch /nix/store/sl5clnq5na4zyw71p8yfbz624mdpybdd-6d4c6d476c061298e6385e8a0864f083194b9307.patch6patching file src/META7patching file src/MakefileconfigurePhase
8configuring9no configure script, doing nothingbuildPhase
10building11build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash12make -C src all13make[1]: Entering directory '/build/source/src'14ocamlc -ccopt -DBNG_ARCH_ia32 -c bng.c15ocamlc -ccopt -DBNG_ARCH_ia32 -c nat_stubs.c16ocamlmklib -oc nums bng.o nat_stubs.o17ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli18ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml19ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli20ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml21ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli22ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml23ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli24ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml25ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli26ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml27ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli28ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml29ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli30ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml31ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo32ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml33ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml34ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml35ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml36ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml37ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml38ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml39ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx40ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -I . -shared -o nums.cmxs nums.cmxa41make[1]: Leaving directory '/build/source/src'42make -C toplevel all43make[1]: Entering directory '/build/source/toplevel'44ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.mli45ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.ml46ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.mli47ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.ml48ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -a -o num_top.cma num_top_printers.cmo num_top.cmo49make[1]: Leaving directory '/build/source/toplevel'installPhase
50installing51install flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash install52make -C src install53make[1]: Entering directory '/build/source/src'54ocamlfind install num META nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a big_int.cmx nat.cmx num.cmx ratio.cmx arith_status.cmx nums.cmxs55Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nums.cmxs56Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/arith_status.cmx57Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/ratio.cmx58Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/num.cmx59Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nat.cmx60Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/big_int.cmx61Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nums.a62Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nums.cmxa63Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/arith_status.cmti64Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/ratio.cmti65Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/num.cmti66Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nat.cmti67Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/big_int.cmti68Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/arith_status.mli69Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/ratio.mli70Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/num.mli71Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nat.mli72Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/big_int.mli73Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/arith_status.cmi74Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/ratio.cmi75Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/num.cmi76Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nat.cmi77Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/big_int.cmi78Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/libnums.a79Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nums.cma80Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/META81install -d /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib//stublibs/82install dllnums.so /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib//stublibs/83make[1]: Leaving directory '/build/source/src'84make -C toplevel install85make[1]: Entering directory '/build/source/toplevel'86ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi87Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num-top/num_top_printers.cmi88Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num-top/num_top.cmi89Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num-top/num_top.cma90Installed /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num-top/META91make[1]: Leaving directory '/build/source/toplevel'fixupPhase
92post-installation fixup93shrinking RPATHs of ELF executables and libraries in /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.194shrinking /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/stublibs/dllnums.so95shrinking /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib/ocaml/4.14.0/site-lib/num/nums.cmxs96strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip97stripping (with command strip and flags -S) in /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1/lib98patching script interpreter paths in /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.199checking for references to /build/ in /nix/store/2skzzlmf556rssn9cp12cmy7vkmp25w9-ocaml4.14.0-num-1.1...