starting phase `set-SOURCE-DATE-EPOCH' phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds starting phase `set-paths' environment variable `PATH' set to `/gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/bin:/gnu/store/hbv7zw8jb3n6v5lhxb4scv00ng46gnw9-ocaml-findlib-1.9.1/bin:/gnu/store/v26gmmw0xakfw4g46bc437srbj70hl0b-perl-5.34.0/bin:/gnu/store/d8kx7i62bzcd8ladkzwrchcrd60f7bfj-tar-1.34/bin:/gnu/store/6ascvgl36zxymlpldh8x8igv7pkizi5s-gzip-1.10/bin:/gnu/store/dmca74p8b9ik05mrsnvbviflbxrz9qaw-bzip2-1.0.8/bin:/gnu/store/s3577mn5iz2gjgkrava2sm914bgbnkd8-xz-5.2.5/bin:/gnu/store/61b8q6rgdfgd2ffdnyqk6gq2ckrnm007-file-5.39/bin:/gnu/store/2mvffg3isy144py579g5ajwyjh04xbmp-diffutils-3.8/bin:/gnu/store/b34jl32gsdw4rvm78a82m4q50i6p1d7l-patch-2.7.6/bin:/gnu/store/zxaz9cg2b7x6c1z545x861zqllj8vz6h-findutils-4.8.0/bin:/gnu/store/sb75h0di8w5mhpn4wfhk7za6c7x3c97c-gawk-5.1.0/bin:/gnu/store/skrsx5h5h011al604grc3rqa2dhqp2wc-sed-4.8/bin:/gnu/store/vl9pxlycbk5ff0i7jbgyrh0rb2dl07lx-grep-3.6/bin:/gnu/store/firkqph0zalxwjv5g4cdjm4zh3kl3fax-coreutils-8.32/bin:/gnu/store/zjhq95bn5kmlhiqdsvcyy1nhyphxi8yb-make-4.3/bin:/gnu/store/7npwsymmqsb6qcn268cbdnd5558byfy2-bash-minimal-5.1.8/bin:/gnu/store/zhpqig154gpqkgc964wmdnf6b889jfsq-ld-wrapper-0/bin:/gnu/store/h8052068pq3a6rc903982ad2dd5ssxgk-binutils-2.37/bin:/gnu/store/ky9xbrj6slwvgwa4536xbs5lradbqfk5-gcc-10.3.0/bin:/gnu/store/skfhr2f8b7jnnpiarrrcjn6qx0xzfw00-glibc-2.33/bin:/gnu/store/skfhr2f8b7jnnpiarrrcjn6qx0xzfw00-glibc-2.33/sbin' environment variable `OCAMLPATH' set to `/gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/lib/ocaml:/gnu/store/hbv7zw8jb3n6v5lhxb4scv00ng46gnw9-ocaml-findlib-1.9.1/lib/ocaml:/gnu/store/hbv7zw8jb3n6v5lhxb4scv00ng46gnw9-ocaml-findlib-1.9.1/lib/ocaml/site-lib' environment variable `CAML_LD_LIBRARY_PATH' unset environment variable `PERL5LIB' set to `/gnu/store/v26gmmw0xakfw4g46bc437srbj70hl0b-perl-5.34.0/lib/perl5/site_perl' environment variable `BASH_LOADABLES_PATH' unset environment variable `C_INCLUDE_PATH' set to `/gnu/store/b16z4xk0sa81z9vfmhfkz9cyi61ry9mq-gmp-6.2.1/include:/gnu/store/dmca74p8b9ik05mrsnvbviflbxrz9qaw-bzip2-1.0.8/include:/gnu/store/s3577mn5iz2gjgkrava2sm914bgbnkd8-xz-5.2.5/include:/gnu/store/61b8q6rgdfgd2ffdnyqk6gq2ckrnm007-file-5.39/include:/gnu/store/sb75h0di8w5mhpn4wfhk7za6c7x3c97c-gawk-5.1.0/include:/gnu/store/zjhq95bn5kmlhiqdsvcyy1nhyphxi8yb-make-4.3/include:/gnu/store/h8052068pq3a6rc903982ad2dd5ssxgk-binutils-2.37/include:/gnu/store/ky9xbrj6slwvgwa4536xbs5lradbqfk5-gcc-10.3.0/include:/gnu/store/skfhr2f8b7jnnpiarrrcjn6qx0xzfw00-glibc-2.33/include:/gnu/store/swpaxgk7xzgs4lkmw450wiak8iy8snsm-linux-libre-headers-5.10.35/include' environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/b16z4xk0sa81z9vfmhfkz9cyi61ry9mq-gmp-6.2.1/include:/gnu/store/dmca74p8b9ik05mrsnvbviflbxrz9qaw-bzip2-1.0.8/include:/gnu/store/s3577mn5iz2gjgkrava2sm914bgbnkd8-xz-5.2.5/include:/gnu/store/61b8q6rgdfgd2ffdnyqk6gq2ckrnm007-file-5.39/include:/gnu/store/sb75h0di8w5mhpn4wfhk7za6c7x3c97c-gawk-5.1.0/include:/gnu/store/zjhq95bn5kmlhiqdsvcyy1nhyphxi8yb-make-4.3/include:/gnu/store/h8052068pq3a6rc903982ad2dd5ssxgk-binutils-2.37/include:/gnu/store/ky9xbrj6slwvgwa4536xbs5lradbqfk5-gcc-10.3.0/include/c++:/gnu/store/ky9xbrj6slwvgwa4536xbs5lradbqfk5-gcc-10.3.0/include:/gnu/store/skfhr2f8b7jnnpiarrrcjn6qx0xzfw00-glibc-2.33/include:/gnu/store/swpaxgk7xzgs4lkmw450wiak8iy8snsm-linux-libre-headers-5.10.35/include' environment variable `LIBRARY_PATH' set to `/gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/lib:/gnu/store/hbv7zw8jb3n6v5lhxb4scv00ng46gnw9-ocaml-findlib-1.9.1/lib:/gnu/store/v26gmmw0xakfw4g46bc437srbj70hl0b-perl-5.34.0/lib:/gnu/store/b16z4xk0sa81z9vfmhfkz9cyi61ry9mq-gmp-6.2.1/lib:/gnu/store/dmca74p8b9ik05mrsnvbviflbxrz9qaw-bzip2-1.0.8/lib:/gnu/store/s3577mn5iz2gjgkrava2sm914bgbnkd8-xz-5.2.5/lib:/gnu/store/61b8q6rgdfgd2ffdnyqk6gq2ckrnm007-file-5.39/lib:/gnu/store/sb75h0di8w5mhpn4wfhk7za6c7x3c97c-gawk-5.1.0/lib:/gnu/store/h8052068pq3a6rc903982ad2dd5ssxgk-binutils-2.37/lib:/gnu/store/skfhr2f8b7jnnpiarrrcjn6qx0xzfw00-glibc-2.33/lib:/gnu/store/66nrq0ra6d3jnsc24cms9lgzbyb9spr8-glibc-2.33-static/lib:/gnu/store/mnxbr2w45qrfi4bi7khl2yj56rjz9vbi-glibc-utf8-locales-2.33/lib' environment variable `GUIX_LOCPATH' set to `/gnu/store/mnxbr2w45qrfi4bi7khl2yj56rjz9vbi-glibc-utf8-locales-2.33/lib/locale' phase `set-paths' succeeded after 0.0 seconds starting phase `install-locale' using 'en_US.utf8' locale for category "LC_ALL" phase `install-locale' succeeded after 0.0 seconds starting phase `unpack' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/.gitignore' -> `./.gitignore' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/Changes' -> `./Changes' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/META' -> `./META' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/README.md' -> `./README.md' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/big_int_Z.ml' -> `./big_int_Z.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/big_int_Z.mli' -> `./big_int_Z.mli' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/caml_z.c' -> `./caml_z.c' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/configure' -> `./configure' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/project.mak' -> `./project.mak' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/q.ml' -> `./q.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/q.mli' -> `./q.mli' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/z.ml' -> `./z.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/z.mli' -> `./z.mli' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/z_mlgmpidl.ml' -> `./z_mlgmpidl.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/z_mlgmpidl.mli' -> `./z_mlgmpidl.mli' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/zarith.h' -> `./zarith.h' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/zarith.opam' -> `./zarith.opam' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/zarith_top.ml' -> `./zarith_top.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/LICENSE' -> `./LICENSE' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/config.guess' -> `./config.guess' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/Makefile' -> `./tests/Makefile' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/bi.ml' -> `./tests/bi.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/ofstring.ml' -> `./tests/ofstring.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/pi.ml' -> `./tests/pi.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/pi.output' -> `./tests/pi.output' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/setround.c' -> `./tests/setround.c' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/timings.ml' -> `./tests/timings.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/tofloat.ml' -> `./tests/tofloat.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/zq.ml' -> `./tests/zq.ml' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/zq.output32' -> `./tests/zq.output32' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/tests/zq.output64' -> `./tests/zq.output64' `/gnu/store/2n5cv75mkyipc5ny56bsza4883zambrf-ocaml-zarith-1.12-checkout/.github/workflows/CI.yml' -> `./.github/workflows/CI.yml' phase `unpack' succeeded after 0.0 seconds starting phase `patch-usr-bin-file' phase `patch-usr-bin-file' succeeded after 0.0 seconds starting phase `patch-source-shebangs' patch-shebang: ./config.guess: changing `/bin/sh' to `/gnu/store/7npwsymmqsb6qcn268cbdnd5558byfy2-bash-minimal-5.1.8/bin/sh' patch-shebang: ./configure: changing `/bin/sh' to `/gnu/store/7npwsymmqsb6qcn268cbdnd5558byfy2-bash-minimal-5.1.8/bin/sh' phase `patch-source-shebangs' succeeded after 0.0 seconds starting phase `ocaml-findlib-environment' phase `ocaml-findlib-environment' succeeded after 0.0 seconds starting phase `configure' binary ocaml: found in /gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/bin binary ocamlc: found in /gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/bin binary ocamldep: found in /gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/bin binary ocamlmklib: found in /gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/bin binary ocamldoc: found in /gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/bin binary gcc: found in /gnu/store/ky9xbrj6slwvgwa4536xbs5lradbqfk5-gcc-10.3.0/bin binary ocamlopt: found in /gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/bin checking compilation with gcc -O3 -Wall -Wextra : working include caml/mlvalues.h: found library dynlink.cmxa: found binary ocamlfind: found in /gnu/store/hbv7zw8jb3n6v5lhxb4scv00ng46gnw9-ocaml-findlib-1.9.1/bin OCaml's word size is 64 binary uname: found in /gnu/store/firkqph0zalxwjv5g4cdjm4zh3kl3fax-coreutils-8.32/bin ./configure: unable to guess system type This script, last modified 2010-09-24, has failed to recognize the operating system you are using. It is advised that you download the most up to date version of the config scripts from http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD and http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD If the version you run (./configure) is already up to date, please send the following data and any information you think might be pertinent to in order to provide the needed information to handle your system. config.guess timestamp = 2010-09-24 uname -m = aarch64 uname -r = 5.12.17-gnu uname -s = Linux uname -v = #1 SMP 1 /usr/bin/uname -p = /bin/uname -X = hostinfo = /bin/universe = /usr/bin/arch -k = /bin/arch = /usr/bin/oslevel = /usr/convex/getsysinfo = UNAME_MACHINE = aarch64 UNAME_RELEASE = 5.12.17-gnu UNAME_SYSTEM = Linux UNAME_VERSION = #1 SMP 1 include gmp.h: found library gmp: found OCaml supports -bin-annot to produce documentation detected configuration: native-code: yes dynamic linking: yes defines: -DHAS_GMP libraries: -lgmp C options: -O3 -Wall -Wextra installation path: /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib installation method findlib configuration successful! now type "make" to build then type "make install" or "sudo make install" to install phase `configure' succeeded after 1.0 seconds starting phase `patch-generated-file-shebangs' phase `patch-generated-file-shebangs' succeeded after 0.0 seconds starting phase `build' (echo "let"; grep "version" META | head -1) > zarith_version.ml ocamldep -native zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend ocamlc -I +compiler-libs -bin-annot -c zarith_version.ml ocamlc -I +compiler-libs -bin-annot -c z.mli ocamlc -I +compiler-libs -bin-annot -c z.ml ocamlc -I +compiler-libs -bin-annot -c q.mli ocamlc -I +compiler-libs -bin-annot -c q.ml File "q.ml", line 537, characters 9-23: 537 | (Z.of_substring s 0 i) ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function. File "q.ml", line 538, characters 9-23: 538 | (Z.of_substring s (i+1) (String.length s-i-1)) ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function. ocamlc -I +compiler-libs -bin-annot -c big_int_Z.mli ocamlc -I +compiler-libs -bin-annot -c big_int_Z.ml ocamlmklib -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp ocamlc -ccopt "-I/gnu/store/vz398441bv8gaq91442pmpanbnacqpm0-ocaml-4.13.1/lib/ocaml -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c ocamlmklib -failsafe -o zarith caml_z.o -lgmp ocamlc -I +compiler-libs -bin-annot -c zarith_top.ml ocamlc -o zarith_top.cma -a zarith_top.cmo ocamlopt -I +compiler-libs -c zarith_version.ml ocamlopt -I +compiler-libs -c z.ml ocamlopt -I +compiler-libs -c q.ml File "q.ml", line 537, characters 9-23: 537 | (Z.of_substring s 0 i) ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function. File "q.ml", line 538, characters 9-23: 538 | (Z.of_substring s (i+1) (String.length s-i-1)) ^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function. ocamlopt -I +compiler-libs -c big_int_Z.ml ocamlmklib -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall phase `build' succeeded after 6.1 seconds starting phase `check' phase `check' succeeded after 0.0 seconds starting phase `prepare-install' phase `prepare-install' succeeded after 0.0 seconds starting phase `install' ocamlfind install -destdir "/gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/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.so Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/dllzarith.so Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/big_int_Z.cmti Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/q.cmti Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/z.cmti Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/zarith.a Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/big_int_Z.mli Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/q.mli Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/zarith.h Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/zarith.cmxs Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/big_int_Z.cmx Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/q.cmx Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/z.cmx Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/zarith.cmxa Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/z.mli Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/zarith_top.cma Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/big_int_Z.cmi Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/q.cmi Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/z.cmi Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/libzarith.a Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/zarith.cma Installed /gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib/ocaml/site-lib/zarith/META phase `install' succeeded after 0.1 seconds starting phase `move-sublibs' phase `move-sublibs' succeeded after 0.0 seconds starting phase `patch-shebangs' phase `patch-shebangs' succeeded after 0.0 seconds starting phase `strip' stripping binaries in "/gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib" with "strip" and flags ("--strip-debug") stripping binaries in "/gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/bin" with "strip" and flags ("--strip-debug") phase `strip' succeeded after 0.1 seconds starting phase `validate-runpath' validating RUNPATH of 2 binaries in "/gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/lib"... validating RUNPATH of 0 binaries in "/gnu/store/qaymmikph6pnqgr8z1km26dqwfr62cc2-ocaml-zarith-1.12/bin"... phase `validate-runpath' succeeded after 0.0 seconds starting phase `validate-documentation-location' phase `validate-documentation-location' succeeded after 0.0 seconds starting phase `delete-info-dir-file' phase `delete-info-dir-file' succeeded after 0.0 seconds starting phase `patch-dot-desktop-files' phase `patch-dot-desktop-files' succeeded after 0.0 seconds starting phase `make-dynamic-linker-cache' phase `make-dynamic-linker-cache' succeeded after 0.0 seconds starting phase `install-license-files' installing 1 license files from '../source' phase `install-license-files' succeeded after 0.0 seconds starting phase `reset-gzip-timestamps' phase `reset-gzip-timestamps' succeeded after 0.0 seconds starting phase `compress-documentation' phase `compress-documentation' succeeded after 0.0 seconds