Building on x86-bm-11.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:0689b2c0bae81ca736a3cf47bf9f45d784bdbc49ceb862d61cac3392c998d272) 2022-04-06 18:04.47 ---> using "9694d2e78ab3fcaaf506053043dc404ac6350d10eabcb4e61663e36a98d481fd" 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-dev /usr/bin/opam")) 2022-04-06 18:04.47 ---> using "f1435c573d465aa4a3b32f3496f8ddaab4c185e5f8720ec93f2b8f5b9c107d4b" 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 aa1f173b2a62d094b9857fa09cf471a46424c4a8")) 2022-04-06 18:04.47 ---> using "16ab3e697c9012d52ecf2d027a886d80445d47f3204474de827be3a6a09ce5bd" 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. 2022-04-06 18:04.47 ---> using "161fa26fa8ff94f6712afd15c3db137cd2e1a4ac1ac76e29aae43348e67b52d7" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.05' '4.05.0'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.05.0"} | "ocaml-system" {= "4.05.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.05.0 (https://github.com/ocaml/ocaml/archive/4.05.0.tar.gz) -> installed ocaml-base-compiler.4.05.0 -> installed ocaml-config.1 -> installed ocaml.4.05.0 Done. # Run eval $(opam env --switch=4.05) to update the current shell environment 2022-04-06 18:04.47 ---> using "fc26a12c86fd666908ae370cd57089caea367e8d6f20f31848b8329a3093d93b" 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-2022-04-06-1404.48-F-2022-03-29-0803.54.pdiff [526 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-04-06-1404.48-F-2022-03-29-0803.54.pdiff [526 kB] - Fetched 755 kB in 2s (433 kB/s) - Reading package lists... - 2022-04-06 18:04.47 ---> using "c568bad2d7cfd44239b3cfb481bd80100f80baf6508e0650056c10fd2ba7be37" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install -y ocaml-secondary-compiler")) The following actions will be performed: === install 1 package - install ocaml-secondary-compiler 4.08.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-secondary-compiler.4.08.1-1 (https://github.com/ocaml/ocaml/archive/4.08.1.tar.gz) -> installed ocaml-secondary-compiler.4.08.1-1 Done. # Run eval $(opam env) to update the current shell environment 2022-04-06 18:04.47 ---> using "7eee16f15f9dcb0f4eebcaa9ba502ec9f01bf34c7f434909b914649952ee1ebd" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"aez.0.3\"\ \nopam install -vy \"aez.0.3\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"aez.0.3\" | 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")) Nothing to do. [NOTE] aez.0.3 is not installed. The following actions will be performed: === install 4 packages - install aez 0.3 - install base-num base [required by num] - install num 0 [required by aez] - install ocamlfind 1.9.3 [required by aez] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/12: [aez.0.3: http] Processing 2/12: [aez.0.3: http] Processing 3/12: [aez.0.3: http] Processing 4/12: [aez.0.3: http] Processing 5/12: [aez.0.3: http] -> installed base-num.base Processing 6/12: [aez.0.3: http] Processing 7/12: [aez.0.3: http] -> installed num.0 Processing 8/12: [aez.0.3: http] -> retrieved ocamlfind.1.9.3 (cached) Processing 9/12: [aez.0.3: http] [ocamlfind: ./configure] Processing 9/12: [ocamlfind: ./configure] -> retrieved aez.0.3 (http://cubicle.lri.fr/alt-ergo-zero/aez-0.3.tar.gz) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.05/bin" "-sitelib" "/home/opam/.opam/4.05/lib" "-mandir" "/home/opam/.opam/4.05/man" "-config" "/home/opam/.opam/4.05/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3) - Welcome to findlib version 1.9.3 - 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: found - num: found - ocamlbuild: not present (normal since 4.03) - ocamldoc: found - raw_spacetime: found - 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 graphics written to site-lib-src/graphics/META - Configuration for num written to site-lib-src/num/META - Configuration for num-top written to site-lib-src/num-top/META - Configuration for ocamldoc written to site-lib-src/ocamldoc/META - Configuration for raw_spacetime written to site-lib-src/raw_spacetime/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.05/lib/ocaml - Binaries: /home/opam/.opam/4.05/bin - Manual pages: /home/opam/.opam/4.05/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.05/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.05/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/4.05/bin - Manual pages: /home/opam/.opam/4.05/man - topfind script: /home/opam/.opam/4.05/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 9/12: [ocamlfind: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3) - for p in findlib; do ( cd src/$p; make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3/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.05/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.05/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 - 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.05/lib' \ - >topfind - ocamlc -I +compiler-libs -opaque -c num_top_printers.mli - ocamlc -I +compiler-libs -opaque -g -c num_top_printers.ml - ocamlc -I +compiler-libs -opaque -c num_top.mli - ocamlc -I +compiler-libs -opaque -g -c num_top.ml - ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - 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.05/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - make all-config - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.05/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.05/.opam-switch/build/ocamlfind.1.9.3' Processing 9/12: [ocamlfind: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3) - for p in findlib; do ( cd src/$p; make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3/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 - 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 was found in path for module Topdirs, and its interface was not compiled with -opaque - File "_none_", line 1: - Warning 58: 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.05/.opam-switch/build/ocamlfind.1.9.3/src/findlib' -> compiled ocamlfind.1.9.3 Processing 10/12: [ocamlfind: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3) - if [ "1" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/4.05/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.05/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.05/bin" - mkdir -p "/home/opam/.opam/4.05/man" - make install-config - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3' - mkdir -p "`dirname \"/home/opam/.opam/4.05/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.05/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.05/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3' - for p in findlib; do ( cd src/$p; make install ); done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - mkdir -p "/home/opam/.opam/4.05/lib/findlib" - mkdir -p "/home/opam/.opam/4.05/bin" - test 1 -eq 0 || cp topfind "/home/opam/.opam/4.05/lib/ocaml" - files=` ../../tools/collect_files ../../Makefile.config \ - findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \ - findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \ - fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \ - 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.05/lib/findlib" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - cp $f "/home/opam/.opam/4.05/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.05/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.05/lib/ocaml/compiler-libs/"; \ - cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.05/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - make install-meta - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3' - for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamldoc raw_spacetime stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.05/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.05/lib/$x/META.tmp" && mv "/home/opam/.opam/4.05/lib/$x/META.tmp" "/home/opam/.opam/4.05/lib/$x/META"; done - mkdir -p "/home/opam/.opam/4.05/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.05/lib/findlib/Makefile.packages" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3' - test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; } - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - mkdir -p "/home/opam/.opam/4.05/lib/num-top" - cp num_top.cma num_top.cmi num_top_printers.cmi \ - "/home/opam/.opam/4.05/lib/num-top" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.05/bin" - make install-doc - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3' - mkdir -p "/home/opam/.opam/4.05/man/man1" "/home/opam/.opam/4.05/man/man3" "/home/opam/.opam/4.05/man/man5" - cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.05/man/man1" - cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.05/man/man5" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.3' -> installed ocamlfind.1.9.3 Processing 11/12: [aez: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/4.05/.opam-switch/build/aez.0.3) - checking for ocp-ocamlc.opt... no - checking for ocamlc.opt... ocamlc.opt - ocaml version is 4.05.0 - ocaml library path is /home/opam/.opam/4.05/lib/ocaml - checking for ocp-ocamlopt.opt... no - checking for ocamlopt.opt... ocamlopt.opt - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamlyacc... ocamlyacc - checking platform... Unix platform - configure: creating ./config.status - config.status: creating Makefile - config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting Processing 11/12: [aez: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.05/.opam-switch/build/aez.0.3) - Compiling common/timer.cmi - Compiling common/timer.cmo - Compiling common/hashcons.cmi - Compiling common/hashcons.cmo - Compiling common/hstring.cmi - Compiling common/hstring.cmo - Compiling common/vec.cmi - Compiling common/vec.cmo - Compiling common/heap.cmi - Compiling common/heap.cmo - Compiling common/iheap.cmi - Compiling common/iheap.cmo - Compiling smt/ty.cmi - Compiling smt/symbols.cmi - Compiling smt/term.cmi - Compiling smt/literal.cmi - Compiling smt/solver_types.cmi - Compiling smt/explanation.cmi - Compiling smt/exception.cmi - Compiling smt/exception.cmo - Compiling smt/symbols.cmo - Compiling smt/ty.cmo - Compiling smt/term.cmo - Compiling smt/literal.cmo - Compiling smt/solver_types.cmo - Compiling smt/explanation.cmo - Compiling smt/polynome.cmi - Compiling smt/polynome.cmo - File "smt/polynome.ml", line 221, characters 19-35: - Warning 52: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 8.5) - Compiling smt/sig.cmi - Compiling smt/uf.cmi - Compiling smt/uf.cmo - Compiling smt/use.cmi - Compiling smt/use.cmo - Compiling smt/intervals.cmi - Compiling smt/intervals.cmo - File "smt/intervals.ml", line 542, characters 18-20: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - Compiling smt/fm.cmi - Compiling smt/fm.cmo - File "smt/fm.ml", line 263, characters 51-53: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "smt/fm.ml", line 437, characters 17-35: - Warning 52: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 8.5) - Compiling smt/arith.cmi - Compiling smt/arith.cmo - Compiling smt/sum.cmi - Compiling smt/sum.cmo - Compiling smt/combine.cmi - Compiling smt/combine.cmo - Compiling smt/cc.cmi - Compiling smt/cc.cmo - Compiling smt/solver.cmi - Compiling smt/solver.cmo - Compiling smt/smt.cmi - Compiling smt/smt.cmo - ocamlc.opt -dtypes -g -I common/ -I smt/ -annot -pack -o aez.cmo common/timer.cmo common/hashcons.cmo common/hstring.cmo common/vec.cmo common/heap.cmo common/iheap.cmo smt/exception.cmo smt/symbols.cmo smt/ty.cmo smt/term.cmo smt/literal.cmo smt/solver_types.cmo smt/explanation.cmo smt/polynome.cmo smt/uf.cmo smt/use.cmo smt/intervals.cmo smt/fm.cmo smt/arith.cmo smt/sum.cmo smt/combine.cmo smt/cc.cmo smt/solver.cmo smt/smt.cmo - ocamlc.opt -a -dtypes -g -I common/ -I smt/ -annot -o aez.cma aez.cmo - Compiling common/timer.cmx - Compiling common/hashcons.cmx - Compiling common/hstring.cmx - Compiling common/vec.cmx - Compiling common/heap.cmx - Compiling common/iheap.cmx - Compiling smt/ty.cmx - Compiling smt/symbols.cmx - Compiling smt/term.cmx - Compiling smt/literal.cmx - Compiling smt/solver_types.cmx - Compiling smt/explanation.cmx - Compiling smt/exception.cmx - Compiling smt/polynome.cmx - File "smt/polynome.ml", line 221, characters 19-35: - Warning 52: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 8.5) - Compiling smt/uf.cmx - Compiling smt/use.cmx - Compiling smt/intervals.cmx - File "smt/intervals.ml", line 542, characters 18-20: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - Compiling smt/fm.cmx - File "smt/fm.ml", line 263, characters 51-53: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "smt/fm.ml", line 437, characters 17-35: - Warning 52: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 8.5) - Compiling smt/arith.cmx - Compiling smt/sum.cmx - Compiling smt/combine.cmx - Compiling smt/cc.cmx - Compiling smt/solver.cmx - Compiling smt/smt.cmx - ocamlopt.opt -I common/ -I smt/ -pack -o aez.cmx common/timer.cmx common/hashcons.cmx common/hstring.cmx common/vec.cmx common/heap.cmx common/iheap.cmx smt/exception.cmx smt/symbols.cmx smt/ty.cmx smt/term.cmx smt/literal.cmx smt/solver_types.cmx smt/explanation.cmx smt/polynome.cmx smt/uf.cmx smt/use.cmx smt/intervals.cmx smt/fm.cmx smt/arith.cmx smt/sum.cmx smt/combine.cmx smt/cc.cmx smt/solver.cmx smt/smt.cmx - ocamlopt.opt -a -dtypes -I common/ -I smt/ -annot -for-pack Aez -I common/ -I smt/ -o aez.cmxa aez.cmx -> compiled aez.0.3 Processing 12/12: [aez: ocamlfind install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocamlfind" "install" "aez" "aez.a" "aez.cmi" "aez.cma" "aez.cmxa" "META" (CWD=/home/opam/.opam/4.05/.opam-switch/build/aez.0.3) - Installed /home/opam/.opam/4.05/lib/aez/aez.cmxa - Installed /home/opam/.opam/4.05/lib/aez/aez.cma - Installed /home/opam/.opam/4.05/lib/aez/aez.cmi - Installed /home/opam/.opam/4.05/lib/aez/aez.a - Installed /home/opam/.opam/4.05/lib/aez/META -> installed aez.0.3 Done. # Run eval $(opam env) to update the current shell environment 2022-04-06 18:05.03 ---> saved as "ffdae9dcf25583becd8ca94e1666a0c411da29220aeb951d385d67ffc5ebba7a" Job succeeded