ocaml4.14.0-zarith-1.12
checks.i686-linux.alt-ergo
· build #1
· raw
unpackPhase
1unpacking sources2unpacking source archive /nix/store/agnv4yryhisn2pdaw8aydzhwqprs2ics-source3source root is sourcepatchPhase
4patching sourcesconfigurePhase
5configuring6configure flags: -installdir /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib7binary ocaml: found in /nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/bin8binary ocamlc: found in /nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/bin9binary ocamldep: found in /nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/bin10binary ocamlmklib: found in /nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/bin11binary ocamldoc: found in /nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/bin12binary gcc: found in /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin13binary ocamlopt: found in /nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/bin14checking compilation with gcc : working15include caml/mlvalues.h: found16library dynlink.cmxa: found17binary ocamlfind: found in /nix/store/jlqyxgl2143n5idwwvpjbrjhzww8a3ja-ocaml4.14.0-findlib-1.9.6/bin18OCaml's word size is 3219binary uname: found in /nix/store/llq0mpxdp39288c7jrxrnq0mm2ixndrh-coreutils-9.1/bin20include gmp.h: found21library gmp: found22OCaml supports -bin-annot to produce documentation2324detected configuration:2526 native-code: yes27 dynamic linking: yes28 defines: -DHAS_GMP 29 libraries: -lgmp30 C options: 31 installation path: /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib32 installation method findlib3334configuration successful!35now type "make" to build36then type "make install" or "sudo make install" to installbuildPhase
37building38build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash39(echo "let"; grep "version" META | head -1) > zarith_version.ml40ocamldep -native zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend41ocamlc -I +compiler-libs -bin-annot -c zarith_version.ml42ocamlc -I +compiler-libs -bin-annot -c z.mli43ocamlc -I +compiler-libs -bin-annot -c z.ml44ocamlc -I +compiler-libs -bin-annot -c q.mli45ocamlc -I +compiler-libs -bin-annot -c q.ml46File "q.ml", line 537, characters 9-23:47537 | (Z.of_substring s 0 i)48 ^^^^^^^^^^^^^^49Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.50File "q.ml", line 538, characters 9-23:51538 | (Z.of_substring s (i+1) (String.length s-i-1))52 ^^^^^^^^^^^^^^53Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.54ocamlc -I +compiler-libs -bin-annot -c big_int_Z.mli55ocamlc -I +compiler-libs -bin-annot -c big_int_Z.ml56ocamlmklib -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp57ocamlc -ccopt "-I/nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/lib/ocaml -DHAS_GMP " -c caml_z.c58ocamlmklib -failsafe -o zarith caml_z.o -lgmp59ocamlc -I +compiler-libs -bin-annot -c zarith_top.ml60ocamlc -o zarith_top.cma -a zarith_top.cmo61ocamlopt -I +compiler-libs -c zarith_version.ml62ocamlopt -I +compiler-libs -c z.ml63ocamlopt -I +compiler-libs -c q.ml64File "q.ml", line 537, characters 9-23:65537 | (Z.of_substring s 0 i)66 ^^^^^^^^^^^^^^67Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.68File "q.ml", line 538, characters 9-23:69538 | (Z.of_substring s (i+1) (String.length s-i-1))70 ^^^^^^^^^^^^^^71Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.72ocamlopt -I +compiler-libs -c big_int_Z.ml73ocamlmklib -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp74ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkallinstallPhase
75installing76install flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash install77ocamlfind install -destdir "/nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so78Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/big_int_Z.cmti79Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/q.cmti80Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/z.cmti81Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/zarith.a82Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/big_int_Z.mli83Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/q.mli84Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/zarith.h85Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/zarith.cmxs86Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/big_int_Z.cmx87Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/q.cmx88Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/z.cmx89Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/zarith.cmxa90Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/z.mli91Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/zarith_top.cma92Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/big_int_Z.cmi93Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/q.cmi94Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/z.cmi95Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/libzarith.a96Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/zarith.cma97Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/stublibs/dllzarith.so98Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/stublibs/dllzarith.so.owner99Installed /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/METAfixupPhase
100post-installation fixup101shrinking RPATHs of ELF executables and libraries in /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12102shrinking /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/zarith/zarith.cmxs103shrinking /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib/ocaml/4.14.0/site-lib/stublibs/dllzarith.so104strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip105stripping (with command strip and flags -S) in /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12/lib106patching script interpreter paths in /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12107checking for references to /build/ in /nix/store/sjk6wgv2gdkzn32whrljznrdlm0qgwsi-ocaml4.14.0-zarith-1.12...