Building on laodoke.ocamllabs.io (from ocaml/opam:debian-unstable) 2021-12-03 07:09.45 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam")) 2021-12-03 07:09.45 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q b1ed080260d9fb3332ffd1ed74a70b40f8d46d66")) 2021-12-03 07:09.45 ---> using "470a5139cd314c308ef6f8a7115ce3eecbef27ce3b36ad57c590d49c448a8f62" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2021-12-03 07:09.45 ---> using "6ff696b0fce120bd80d73dc055775d9b6cd971171da508a2aeef8fc7d75ea210" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.12' '4.12.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.12.1"} | "ocaml-system" {= "4.12.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.4.12.1 (cached) -> installed ocaml-base-compiler.4.12.1 -> installed ocaml-config.2 -> installed ocaml.4.12.1 Done. # Run eval $(opam env --switch=4.12) to update the current shell environment 2021-12-03 07:09.45 ---> using "ca7b6caf7a46ddb28076c5a6f691f2d0763957be051563a9718de14fdb1c5ef8" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [165 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2021-12-02-2006.44-F-2021-11-23-2001.32.pdiff [526 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2021-12-02-2006.44-F-2021-11-23-2001.32.pdiff [526 kB] - Fetched 755 kB in 3s (299 kB/s) - Reading package lists... - 2021-12-03 07:09.45 ---> using "ad5cb488dd2cd44108a641e9f4b1b432ff2c0ea292d3a55069379dafdf4023b1" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"cubicle.1.1.2\"\ \nopam install -vy \"cubicle.1.1.2\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"cubicle.1.1.2\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) [NOTE] cubicle.1.1.2 is not installed. Nothing to do. The following actions will be performed: - install ocamlfind 1.9.1 [required by cubicle] - install num 1.4 [required by cubicle] - install cubicle 1.1.2 ===== 3 to install ===== <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/9: Processing 2/9: Processing 3/9: -> retrieved cubicle.1.1.2 (cached) -> retrieved num.1.4 (cached) -> retrieved ocamlfind.1.9.1 (cached) Processing 4/9: [ocamlfind: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.12/bin" "-sitelib" "/home/opam/.opam/4.12/lib" "-mandir" "/home/opam/.opam/4.12/man" "-config" "/home/opam/.opam/4.12/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1) - Welcome to findlib version 1.9.1 - Configuring core... - Checking for #remove_directory... - Testing threading model... - systhread_supported: true - Testing DLLs... - Testing whether ppxopt can be supported... - Checking for ocamlc -opaque... - Querying installation: META list not found - make install will double-check installed META files - Configuring libraries... - unix: found - bigarray: found - compiler-libs: found - dbm: not present (normal since 4.00) - graphics: not present (normal since 4.09) - num: not present (normal since 4.06) - ocamlbuild: not present (normal since 4.03) - ocamldoc: found - raw_spacetime: not present (normal since 4.12) - threads: found - str: found - labltk: not present (normal since 4.02) - native dynlink: found - camlp4: disabled - bytes: found, installing fake library - Configuration for dynlink written to site-lib-src/dynlink/META - Configuration for stdlib written to site-lib-src/stdlib/META - Configuration for unix written to site-lib-src/unix/META - Configuration for bigarray written to site-lib-src/bigarray/META - Configuration for compiler-libs written to site-lib-src/compiler-libs/META - Configuration for ocamldoc written to site-lib-src/ocamldoc/META - Configuration for threads written to site-lib-src/threads/META - Configuration for str written to site-lib-src/str/META - Configuration for bytes written to site-lib-src/bytes/META - Detecting compiler arguments: (extractor built) ok - - About the OCAML core installation: - Standard library: /home/opam/.opam/4.12/lib/ocaml - Binaries: /home/opam/.opam/4.12/bin - Manual pages: /home/opam/.opam/4.12/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.12/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.12/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/4.12/bin - Manual pages: /home/opam/.opam/4.12/man - topfind script: /home/opam/.opam/4.12/lib/ocaml - Topfind ppxopt support: yes - Toolbox: no - Link custom runtime: no - Need bytes compatibility: no - - Configuration has been written to Makefile.config - - You can now do 'make all', and optionally 'make opt', to build ocamlfind. Processing 4/9: [ocamlfind: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1) - for p in findlib; do ( cd src/$p; make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib' - ocamllex fl_meta.mll - 22 states, 392 transitions, table size 1700 bytes - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib_config.mlp | \ - ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.12/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.12/lib/ocaml' | \ - sed -e 's;@AUTOLINK@;true;g' \ - -e 's;@SYSTEM@;linux;g' \ - >findlib_config.ml - if [ "true" = "true" ]; then \ - cp topfind.ml.in topfind.ml; \ - else \ - sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \ - > topfind.ml ; \ - fi - ocamldep *.ml *.mli >depend - ocamlc -I +compiler-libs -opaque -g -c findlib_config.ml - ocamlc -I +compiler-libs -opaque -g -c fl_split.ml - ocamlc -I +compiler-libs -opaque -g -c fl_metatoken.ml - ocamlc -I +compiler-libs -opaque -g -c fl_meta.ml - ocamlc -I +compiler-libs -opaque -c fl_metascanner.mli - ocamlc -I +compiler-libs -opaque -g -c fl_metascanner.ml - ocamlc -I +compiler-libs -opaque -c fl_topo.mli - ocamlc -I +compiler-libs -opaque -g -c fl_topo.ml - ocamlc -I +compiler-libs -opaque -c fl_package_base.mli - ocamlc -I +compiler-libs -opaque -g -c fl_package_base.ml - ocamlc -I +compiler-libs -opaque -c findlib.mli - ocamlc -I +compiler-libs -opaque -g -c findlib.ml - ocamlc -I +compiler-libs -opaque -g -c fl_args.ml - ocamlc -I +compiler-libs -opaque -g -c fl_lint.ml - ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo - ocamlc -I +compiler-libs -opaque -g -c ocaml_args.ml - ocamlc -I +compiler-libs -opaque -g -c frontend.ml - File "frontend.ml", line 1826, characters 16-29: - 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *) - ^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.create - Use Bytes.create/BytesLabels.create instead. - ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \ - ocaml_args.cmo frontend.cmo - ocamlc -I +compiler-libs -opaque -c topfind.mli - ocamlc -I +compiler-libs -opaque -g -c topfind.ml - ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat topfind_rd1.p | \ - ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.12/lib' \ - >topfind - ocamlc -I +compiler-libs -opaque -c fl_dynload.mli - ocamlc -I +compiler-libs -opaque -g -c fl_dynload.ml - ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib' - make all-config - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.12/lib' >findlib.conf - if ./tools/cmd_from_same_dir ocamlc; then \ - echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamlopt; then \ - echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamldep; then \ - echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamldoc; then \ - echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' Processing 4/9: [ocamlfind: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1) - for p in findlib; do ( cd src/$p; make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib' - ocamlopt -I +compiler-libs -g -opaque -c findlib_config.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_split.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_metatoken.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_meta.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_metascanner.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_topo.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_package_base.ml - ocamlopt -I +compiler-libs -g -opaque -c findlib.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_args.ml - ocamlopt -I +compiler-libs -g -opaque -c fl_lint.ml - ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \ - fi - ocamlopt -I +compiler-libs -g -opaque -c ocaml_args.ml - ocamlopt -I +compiler-libs -g -opaque -c frontend.ml - File "frontend.ml", line 1826, characters 16-29: - 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *) - ^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.create - Use Bytes.create/BytesLabels.create instead. - ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \ - ocaml_args.cmx frontend.cmx - ocamlopt -I +compiler-libs -g -opaque -c topfind.ml - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque - ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \ - fi - ocamlopt -I +compiler-libs -g -opaque -c fl_dynload.ml - ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib' -> compiled ocamlfind.1.9.1 Processing 5/9: [ocamlfind: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1) - if [ "1" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/4.12/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.12/lib/$x/META"; then \ - rm -f site-lib-src/$x/META; \ - fi \ - fi \ - done; \ - test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \ - fi - echo 'SITELIB_META =' > Makefile.packages.in - for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done - tr '\n' ' ' < Makefile.packages.in > Makefile.packages - rm Makefile.packages.in - mkdir -p "/home/opam/.opam/4.12/bin" - mkdir -p "/home/opam/.opam/4.12/man" - make install-config - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' - mkdir -p "`dirname \"/home/opam/.opam/4.12/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.12/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.12/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' - for p in findlib; do ( cd src/$p; make install ); done - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib' - mkdir -p "/home/opam/.opam/4.12/lib/findlib" - mkdir -p "/home/opam/.opam/4.12/bin" - test 1 -eq 0 || cp topfind "/home/opam/.opam/4.12/lib/ocaml" - files=` ../../tools/collect_files ../../Makefile.config findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs topfind.cmi topfind.mli fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi META` && \ - cp $files "/home/opam/.opam/4.12/lib/findlib" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - cp $f "/home/opam/.opam/4.12/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.12/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.12/lib/ocaml/compiler-libs/"; \ - cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.12/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1/src/findlib' - make install-meta - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' - for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.12/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.12/lib/$x"; done - mkdir -p "/home/opam/.opam/4.12/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.12/lib/findlib/Makefile.packages" - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' - test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; } - test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.12/bin" - make install-doc - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' - mkdir -p "/home/opam/.opam/4.12/man/man1" "/home/opam/.opam/4.12/man/man3" "/home/opam/.opam/4.12/man/man5" - cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.12/man/man1" - cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.12/man/man5" - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.1' -> installed ocamlfind.1.9.1 Processing 6/9: [num: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.12/.opam-switch/build/num.1.4) - make -C src all - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/src' - ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c - ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c - ocamlmklib -oc nums bng.o nat_stubs.o - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli - ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml - ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx - ocamlopt -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.cmxa - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/src' - make -C toplevel all - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/toplevel' - ocamlc -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.mli - ocamlc -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.ml - ocamlc -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.mli - ocamlc -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.ml - ocamlc -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.cmo - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/toplevel' -> compiled num.1.4 Processing 7/9: [num: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/num.1.4) - make -C src install - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/src' - install -d /home/opam/.opam/4.12/lib/ocaml - sed -e 's/%%VERSION%%/1.4/g' META.in > META - ocamlfind install num META - Installed /home/opam/.opam/4.12/lib/num/META - rm -f META - install -m 644 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 int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs /home/opam/.opam/4.12/lib/ocaml - install -d /home/opam/.opam/4.12/lib/ocaml/stublibs - install dllnums.so /home/opam/.opam/4.12/lib/ocaml/stublibs - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/src' - make -C toplevel install - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/toplevel' - sed -e 's/%%VERSION%%/1.4/g' META.in > META - ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi - Installed /home/opam/.opam/4.12/lib/num-top/num_top_printers.cmi - Installed /home/opam/.opam/4.12/lib/num-top/num_top.cmi - Installed /home/opam/.opam/4.12/lib/num-top/num_top.cma - Installed /home/opam/.opam/4.12/lib/num-top/META - rm -f META - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/num.1.4/toplevel' -> installed num.1.4 Processing 8/9: [cubicle: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.12" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cubicle.1.1.2) - checking for ocamlc.opt... ocamlc.opt - OCaml version is 4.12.1 - checking for gawk... no - checking for mawk... mawk - OCaml library path is /home/opam/.opam/4.12/lib/ocaml - checking for ocamlfind... yes - /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead. - checking for ocamlopt.opt... ocamlopt.opt - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamlyacc... ocamlyacc - ocamlfind: Package `functory' not found - checking for /home/opam/.opam/4.12/lib/ocaml/functory/functory.cma... no - Cannot find functory library. - Compiling without support for Z3. - checking platform... Unix platform - configure: creating ./config.status - config.status: creating Makefile Processing 8/9: [cubicle: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cubicle.1.1.2) - fatal: not a git repository (or any parent up to mount point /) - Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). - Compiling parser.mly - Compiling lexer.mll - Compiling muparser.mly - Compiling mulexer.mll - Compiling version.cmx - Compiling options.cmi - Compiling options.cmx - Compiling common/timer.cmi - Compiling common/timer.cmx - Compiling common/hashcons.cmi - Compiling common/hashcons.cmx - Compiling common/hstring.cmi - Compiling common/hstring.cmx - Compiling common/vec.cmi - Compiling common/vec.cmx - Compiling common/heap.cmi - Compiling common/heap.cmx - Compiling common/iheap.cmi - Compiling common/iheap.cmx - Compiling smt/ty.cmi - Compiling smt/ty.cmx - File "smt/ty.ml", line 52, characters 16-34: - 52 | | t1, t2 -> Pervasives.compare t1 t2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/symbols.cmi - Compiling smt/symbols.cmx - File "smt/symbols.ml", line 63, characters 10-28: - 63 | | _ -> Pervasives.compare s1 s2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/term.cmi - Compiling smt/term.cmx - File "smt/term.ml", line 57, characters 10-28: - 57 | let c = Pervasives.compare t2.tag t1.tag in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/literal.cmi - Compiling smt/literal.cmx - File "smt/literal.ml", line 93, characters 22-40: - 93 | let compare a1 a2 = Pervasives.compare a1.tag a2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/solver_types.cmi - Compiling smt/solver_types.cmx - Compiling smt/explanation.cmi - Compiling smt/explanation.cmx - Compiling smt/exception.cmi - Compiling smt/exception.cmx - Compiling smt/polynome.cmi - Compiling smt/polynome.cmx - Compiling smt/sig.cmi - Compiling smt/uf.cmi - Compiling smt/uf.cmx - Compiling smt/use.cmi - Compiling smt/use.cmx - Compiling smt/intervals.cmi - Compiling smt/intervals.cmx - Compiling smt/fm.cmi - Compiling smt/fm.cmx - Compiling smt/arith.cmi - Compiling smt/arith.cmx - Compiling smt/sum.cmi - Compiling smt/sum.cmx - Compiling smt/combine.cmi - Compiling smt/combine.cmx - File "smt/combine.ml", line 64, characters 4-22: - 64 | Pervasives.compare (theory_num a) (theory_num b) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/cc.cmi - Compiling smt/cc.cmx - Compiling smt/solver.cmi - Compiling smt/solver.cmx - Compiling smt/enumsolver_types.cmi - Compiling smt/enumsolver_types.cmx - Compiling smt/enumsolver.cmi - Compiling smt/enumsolver.cmx - Compiling smt/smt_sig.cmi - Compiling smt/alt_ergo.cmi - Compiling smt/alt_ergo.cmx - File "smt/alt_ergo.ml", line 524, characters 48-66: - 524 | Set.Make (struct type t = int let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/z3wrapper.cmi - Compiling smt/z3wrapper.cmx - Compiling smt/smt.cmi - Compiling smt/smt.cmx - Compiling util.cmi - Compiling util.cmx - Compiling variable.cmi - Compiling variable.cmx - Compiling types.cmi - Compiling types.cmx - File "types.ml", line 67, characters 10-28: - 67 | let c = Pervasives.compare s1 s2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 100, characters 39-57: - 100 | let compare_constants = MConst.compare Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 310, characters 14-32: - 310 | let c0 = Pervasives.compare op1 op2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 562, characters 4-22: - 562 | Pervasives.compare (nb_diff p1 a) (nb_diff p2 a) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 583, characters 4-22: - 583 | Pervasives.compare (nb_common p2 a) (nb_common p1 a) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling cube.cmi - Compiling cube.cmx - Compiling ast.cmi - Compiling node.cmi - Compiling node.cmx - File "node.ml", line 41, characters 14-32: - 41 | | k1, k2 -> Pervasives.compare k1 k2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 46, characters 10-28: - 46 | let c = Pervasives.compare v1 v2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 50, characters 12-30: - 50 | let c = Pervasives.compare c1 c2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 54, characters 16-34: - 54 | let c = Pervasives.compare s1.depth s2.depth in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 56, characters 10-28: - 56 | Pervasives.compare (abs s1.tag) (abs s2.tag) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 61, characters 10-28: - 61 | let c = Pervasives.compare v1 v2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 65, characters 12-30: - 65 | let c = Pervasives.compare c1 c2 in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 69, characters 16-34: - 69 | let c = Pervasives.compare s2.depth s1.depth in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "node.ml", line 71, characters 10-28: - 71 | Pervasives.compare (abs s1.tag) (abs s2.tag) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling pretty.cmi - Compiling pretty.cmx - File "pretty.ml", line 233, characters 15-52: - 233 | let old_fs = Format.pp_get_formatter_tag_functions formatter () in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions - Use Format.pp_get_formatter_stag_functions. - File "pretty.ml", line 234, characters 2-39: - 234 | Format.pp_set_formatter_tag_functions formatter - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions - This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions. - Compiling ptree.cmi - Compiling ptree.cmx - Compiling parser.cmi - Compiling parser.cmx - Compiling lexer.cmx - Compiling instantiation.cmi - Compiling instantiation.cmx - Compiling dot.cmi - Compiling dot.cmx - Compiling cubetrie.cmi - Compiling cubetrie.cmx - Compiling prover.cmi - Compiling prover.cmx - Compiling safety.cmi - Compiling safety.cmx - Compiling fixpoint.cmi - Compiling fixpoint.cmx - Compiling pre.cmi - Compiling pre.cmx - Compiling forward.cmi - Compiling forward.cmx - File "forward.ml", line 21, characters 5-15: - 21 | open Pervasives - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling oracle.cmi - Compiling enumerative.cmi - Compiling enumerative.cmx - File "enumerative.ml", line 40, characters 18-36: - 40 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "enumerative.ml", line 45, characters 18-36: - 45 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "enumerative.ml", line 1187, characters 22-33: - 1187 | List.iter (fun s -> Obj.set_tag (Obj.repr s) (Obj.no_scan_tag)) env.states - ^^^^^^^^^^^ - Alert deprecated: Stdlib.Obj.set_tag - Use with_tag instead. - File "enumerative.ml", line 1446, characters 33-51: - 1446 | let compare (t,_) (t',_) = Pervasives.compare t t' - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling muparser_globals.cmi - Compiling muparser_globals.cmx - Compiling muparser.cmi - Compiling muparser.cmx - Compiling mulexer.cmx - Compiling murphi.cmi - Compiling murphi.cmx - Compiling approx.cmi - Compiling approx.cmx - File "approx.ml", line 286, characters 15-33: - 286 | let c = Pervasives.compare (Node.dim s1) (Node.dim s2) in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "approx.ml", line 289, characters 13-31: - 289 | let c = Pervasives.compare (Node.size s1) (Node.size s2) in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "approx.ml", line 292, characters 17-35: - 292 | let c = Pervasives.compare (nb_neq s2) (nb_neq s1) in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "approx.ml", line 295, characters 11-29: - 295 | Pervasives.compare (nb_arrays s1) (nb_arrays s2) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling stats.cmi - Compiling stats.cmx - Compiling bwd.cmi - Compiling bwd.cmx - Compiling brab.cmi - Compiling brab.cmx - Compiling typing.cmi - Compiling typing.cmx - File "typing.ml", line 21, characters 5-15: - 21 | open Pervasives - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling trace.cmi - Compiling trace.cmx - File "trace.ml", line 545, characters 53-71: - 545 | module CompInt = struct type t = int let compare = Pervasives.compare end - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 549, characters 24-42: - 549 | let compare n1 n2 = Pervasives.compare n1.tag n2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1361, characters 53-71: - 1361 | module CompInt = struct type t = int let compare = Pervasives.compare end - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1365, characters 24-42: - 1365 | let compare n1 n2 = Pervasives.compare n1.tag n2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1373, characters 14-32: - 1373 | let c = Pervasives.compare n1.tag n2.tag in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "trace.ml", line 1374, characters 20-38: - 1374 | if c = 0 then Pervasives.compare s1 s2 else c - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling main.cmx - Linking cubicle.opt -> compiled cubicle.1.1.2 -> installed cubicle.1.1.2 Done. # Run eval $(opam env) to update the current shell environment 2021-12-03 07:10.17 ---> saved as "a28003c937e05a6f7073043afbfed5e4360934787451930e1a31cda7394fc0c4" Job succeeded