Building on pima.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:286b1a07f166d69599599e77d36ff670e397cb189a08f108911b5151b4668ce1) 2022-06-03 09:00.30 ---> using "47ed2e5e0feee1987ba23dd55270cc6ad201fc29c17004e34e901e030428f794" 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-06-03 09:00.30 ---> using "4a75653e8e13af1975fafc6190bea646f6c5227de6a31d9a10c263381aa24cc1" 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 acdf0fda43c6ad752dca7fbab614d7a45df50538")) 2022-06-03 09:00.30 ---> using "e017e24311b2d1facae68aa054d4808ac0fd85da474fe18b5feb752a484a7401" 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-06-03 09:00.30 ---> using "fe4ab29b581b2ba4fc496c6fcd5cd0653b4902fb6da880b540dae71463661523" 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 2022-06-03 09:00.30 ---> using "96bcd1210b0e13a9f3627cb7cd89ae6090a6262c026c51388e78da9f5da39016" 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-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB] - Fetched 303 kB in 2s (168 kB/s) - Reading package lists... - 2022-06-03 09:00.30 ---> using "791909be36035f7c32a5d602929a3712b657b0a418a0ad7c9e4fe18a107fb4c2" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"lambdapi.2.2.0\"\ \nopam install -vy \"lambdapi.2.2.0\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"lambdapi.2.2.0\" | 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] lambdapi.2.2.0 is not installed. The following actions will be performed: === install 29 packages - install base-bytes base [required by gen] - install bindlib 6.0.0 [required by lambdapi] - install biniou 1.2.1 [required by yojson] - install cmdliner 1.1.1 [required by lambdapi] - install cppo 1.6.9 [required by yojson] - install csexp 1.5.1 [required by dune-configurator] - install dune 3.2.0 [required by lambdapi] - install dune-configurator 3.2.0 [required by gen] - install easy-format 1.3.3 [required by yojson] - install gen 1.0 [required by sedlex] - install lambdapi 2.2.0 - install menhir 20220210 [required by lambdapi] - install menhirLib 20220210 [required by menhir] - install menhirSdk 20220210 [required by menhir] - install num 1.4 [required by why3] - install ocaml-compiler-libs v0.12.4 [required by ppxlib] - install ocamlbuild 0.14.1 [required by uchar] - install ocamlfind 1.9.3 [required by timed, why3] - install ppx_derivers 1.2.1 [required by ppxlib] - install ppxlib 0.26.0 [required by sedlex] - install pratter 1.2 [required by lambdapi] - install sedlex 3.0 [required by lambdapi] - install seq base [required by gen] - install sexplib0 v0.15.0 [required by ppxlib] - install stdlib-shims 0.3.0 [required by lambdapi] - install timed 1.0 [required by lambdapi] - install uchar 0.0.2 [required by sedlex] - install why3 1.4.1 [required by lambdapi] - install yojson 1.7.0 [required by lambdapi] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/84: Processing 3/84: Processing 4/84: -> retrieved biniou.1.2.1 (cached) Processing 5/84: -> retrieved bindlib.6.0.0 (cached) Processing 6/84: -> retrieved cmdliner.1.1.1 (cached) Processing 7/84: Processing 8/84: [cmdliner: make all] -> retrieved cppo.1.6.9 (cached) Processing 9/84: [cmdliner: make all] -> retrieved csexp.1.5.1 (cached) Processing 10/84: [cmdliner: make all] -> retrieved easy-format.1.3.3 (cached) Processing 11/84: [lambdapi.2.2.0: http] [cmdliner: make all] -> retrieved gen.1.0 (cached) Processing 12/84: [lambdapi.2.2.0: http] [cmdliner: make all] -> retrieved menhir.20220210, menhirLib.20220210, menhirSdk.20220210 (cached) Processing 13/84: [lambdapi.2.2.0: http] [cmdliner: make all] -> retrieved num.1.4 (cached) Processing 14/84: [lambdapi.2.2.0: http] [cmdliner: make all] Processing 14/84: [cmdliner: make all] -> retrieved ocaml-compiler-libs.v0.12.4 (cached) Processing 15/84: [cmdliner: make all] -> retrieved ocamlbuild.0.14.1 (cached) Processing 16/84: [cmdliner: make all] Processing 17/84: [cmdliner: make all] [ocamlbuild: make configure.make] -> retrieved dune.3.2.0, dune-configurator.3.2.0 (cached) Processing 18/84: [cmdliner: make all] [ocamlbuild: make configure.make] Processing 19/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] -> retrieved lambdapi.2.2.0 (https://github.com/Deducteam/lambdapi/releases/download/2.2.0/lambdapi-2.2.0.tbz) Processing 20/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] -> retrieved ocamlfind.1.9.3 (cached) Processing 21/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] Processing 22/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] [ocamlfind: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.12" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.12/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.12/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.12/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1) - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX="; \ - echo "OCAML_BINDIR=/home/opam/.opam/4.12/bin"; \ - echo "OCAML_LIBDIR=/home/opam/.opam/4.12/lib/ocaml"; \ - echo "OCAML_MANDIR=/home/opam/.opam/4.12/man"; \ - echo ;\ - echo "EXT_OBJ=.o"; \ - echo "EXT_ASM=.s"; \ - echo "EXT_LIB=.a"; \ - echo "EXT_DLL=.so"; \ - echo "EXE="; \ - echo ;\ - echo "OCAML_NATIVE=true"; \ - echo "OCAML_NATIVE_TOOLS=true"; \ - echo "NATDYNLINK=true"; \ - echo "SUPPORT_SHARED_LIBRARIES=true"; \ - echo ;\ - echo "PREFIX=/home/opam/.opam/4.12"; \ - echo "BINDIR=/home/opam/.opam/4.12/bin"; \ - echo "LIBDIR=/home/opam/.opam/4.12/lib"; \ - echo "MANDIR=/home/opam/.opam/4.12/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/home/opam/.opam/4.12/bin"'; \ - echo 'let libdir = "/home/opam/.opam/4.12/lib"'; \ - echo 'let ocaml_libdir = "/home/opam/.opam/4.12/lib/ocaml"'; \ - echo 'let libdir_abs = "/home/opam/.opam/4.12/lib"'; \ - echo 'let ocaml_native = true'; \ - echo 'let ocaml_native_tools = true'; \ - echo 'let supports_shared_libraries = true';\ - echo 'let a = "a"'; \ - echo 'let o = "o"'; \ - echo 'let so = "so"'; \ - echo 'let ext_dll = ".so"'; \ - echo 'let exe = ""'; \ - echo 'let version = "0.14.1"'; \ - ) > src/ocamlbuild_config.ml Processing 22/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved ppx_derivers.1.2.1 (cached) Processing 23/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved pratter.1.2 (cached) Processing 24/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] Processing 25/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] Processing 26/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> installed seq.base Processing 27/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved sedlex.3.0 (cached) Processing 28/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved sexplib0.v0.15.0 (cached) Processing 29/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved stdlib-shims.0.3.0 (cached) Processing 30/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved timed.1.0 (cached) Processing 31/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved uchar.0.0.2 (cached) Processing 32/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] -> retrieved yojson.1.7.0 (cached) -> retrieved ppxlib.0.26.0 (cached) -> retrieved why3.1.4.1 (cached) + /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.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: 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 32/84: [cmdliner: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" "PREFIX=/home/opam/.opam/4.12" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cmdliner.1.1.1) - ocaml build.ml cma - ocaml build.ml cmxa - ocaml build.ml cmxs -> compiled cmdliner.1.1.1 Processing 32/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all] Processing 33/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all] [cmdliner: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.12/.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.12/.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.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 - 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.3/src/findlib' - make all-config - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.3' - 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.3' Processing 33/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt] [cmdliner: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "LIBDIR=/home/opam/.opam/4.12/lib/cmdliner" "DOCDIR=/home/opam/.opam/4.12/doc/cmdliner" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cmdliner.1.1.1) - install -d /home/opam/.opam/4.12/lib/cmdliner - install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti /home/opam/.opam/4.12/lib/cmdliner - install cmdliner.opam /home/opam/.opam/4.12/lib/cmdliner/opam - install _build/cmdliner.cma /home/opam/.opam/4.12/lib/cmdliner - install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \ - /home/opam/.opam/4.12/lib/cmdliner - install _build/cmdliner.cmxs /home/opam/.opam/4.12/lib/cmdliner Processing 33/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt] [cmdliner: make install-doc] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-doc" "LIBDIR=/home/opam/.opam/4.12/lib/cmdliner" "DOCDIR=/home/opam/.opam/4.12/doc/cmdliner" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cmdliner.1.1.1) - install -d /home/opam/.opam/4.12/doc/cmdliner/odoc-pages - install CHANGES.md LICENSE.md README.md /home/opam/.opam/4.12/doc/cmdliner - install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \ - doc/tool_man.mld /home/opam/.opam/4.12/doc/cmdliner/odoc-pages -> installed cmdliner.1.1.1 Processing 33/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [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.3) - 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.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]: 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.3/src/findlib' -> compiled ocamlfind.1.9.3 Processing 33/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] Processing 34/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [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.3) - 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.3' - 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.3' - 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.3/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 \ - 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.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.3/src/findlib' - make install-meta - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlfind.1.9.3' - 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/META.tmp" && mv "/home/opam/.opam/4.12/lib/$x/META.tmp" "/home/opam/.opam/4.12/lib/$x/META"; 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.3' - 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.3' - 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.3' -> installed ocamlfind.1.9.3 Processing 34/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] Processing 35/84: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] Processing 36/84: [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] Processing 37/84: [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [timed: make] -> installed base-bytes.base Processing 38/84: [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [timed: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.12/.opam-switch/build/timed.1.0) - [OPT] timed.cmi - [OPT] timed.cmx - File "timed.ml", line 77, characters 16-30: - 77 | let count = Pervasives.ref 0 - ^^^^^^^^^^^^^^ - 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 "timed.ml", line 96, characters 10-25: - 96 | Pervasives.incr count; - ^^^^^^^^^^^^^^^ - 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 "timed.ml", line 105, characters 10-25: - 105 | Pervasives.incr count; - ^^^^^^^^^^^^^^^ - 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 "timed.ml", line 117, characters 12-27: - 117 | Pervasives.incr count - ^^^^^^^^^^^^^^^ - 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 "timed.ml", line 135, characters 25-35: - 135 | if r.last_uid <> Pervasives.(!count) then - ^^^^^^^^^^ - 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 "timed.ml", line 141, characters 26-36: - 141 | r.last_uid <- Pervasives.(!count) (* Last set at current time. *) - ^^^^^^^^^^ - 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 - [OPT] timed.cmxa - [OPT] timed.cmxs - [BYT] timed.cmo - File "timed.ml", line 77, characters 16-30: - 77 | let count = Pervasives.ref 0 - ^^^^^^^^^^^^^^ - 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 "timed.ml", line 96, characters 10-25: - 96 | Pervasives.incr count; - ^^^^^^^^^^^^^^^ - 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 "timed.ml", line 105, characters 10-25: - 105 | Pervasives.incr count; - ^^^^^^^^^^^^^^^ - 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 "timed.ml", line 117, characters 12-27: - 117 | Pervasives.incr count - ^^^^^^^^^^^^^^^ - 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 "timed.ml", line 135, characters 25-35: - 135 | if r.last_uid <> Pervasives.(!count) then - ^^^^^^^^^^ - 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 "timed.ml", line 141, characters 26-36: - 141 | r.last_uid <- Pervasives.(!count) (* Last set at current time. *) - ^^^^^^^^^^ - 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 - [BYT] timed.cma - [OPT] timed_compat.cmi - [OPT] timed_compat.cmx - [OPT] timed_compat.cmxa - [OPT] timed_compat.cmxs - [BYT] timed_compat.cmo - [BYT] timed_compat.cma - [GEN] META (version 1.0) - [DOC] doc/index.html -> compiled timed.1.0 Processing 38/84: [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] Processing 39/84: [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [timed: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/timed.1.0) - ocamlfind: [WARNING] No such file: /home/opam/.opam/4.12/lib/timed/META - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.mli - Installed /home/opam/.opam/4.12/lib/timed/timed.mli - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.cmx - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.cmi - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.o - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.a - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.cma - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.cmxs - Installed /home/opam/.opam/4.12/lib/timed/timed_compat.cmxa - Installed /home/opam/.opam/4.12/lib/timed/timed.cmx - Installed /home/opam/.opam/4.12/lib/timed/timed.cmi - Installed /home/opam/.opam/4.12/lib/timed/timed.o - Installed /home/opam/.opam/4.12/lib/timed/timed.a - Installed /home/opam/.opam/4.12/lib/timed/timed.cma - Installed /home/opam/.opam/4.12/lib/timed/timed.cmxs - Installed /home/opam/.opam/4.12/lib/timed/timed.cmxa - Installed /home/opam/.opam/4.12/lib/timed/META -> installed timed.1.0 Processing 39/84: [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1) - if test -d /home/opam/.opam/4.12/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/home/opam/.opam/4.12/lib/ocaml/ocamlbuild";\ - >&2 echo "Installation aborted; if you want to bypass this"\ - "safety check, pass CHECK_IF_PREINSTALLED=false to make";\ - exit 2;\ - fi - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamllex.opt src/glob_lexer.mll - 55 states, 419 transitions, table size 2006 bytes - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamllex.opt src/lexers.mll - 251 states, 1051 transitions, table size 5710 bytes - 4334 additional bytes used for bindings - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo - mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi - mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.mli - ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml - ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo src/ocamlbuild.cmo - ocamlc.opt -a -o src/ocamlbuildlib.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml - mkdir -p tmp - ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx - mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml - ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml - ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild.cmx - ocamlopt.opt -a -o src/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx - ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte - ./man/options_man.byte > man/ocamlbuild.options.1 - cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1 - make ocamlbuild.install - make[1]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - rm -f ocamlbuild.install - touch ocamlbuild.install - make install-bin-opam - make[2]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - echo 'bin: [' >> ocamlbuild.install - echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install - echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - make install-lib-opam - make[2]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - echo 'lib: [' >> ocamlbuild.install - make install-lib-basics-opam - make[3]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install - echo ' "META"' >> ocamlbuild.install - for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - make install-lib-byte-opam - make[3]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - for lib in src/ocamlbuildlib.cma src/ocamlbuild.cmo src/ocamlbuild_pack.cmi src/ocamlbuild_plugin.cmi src/ocamlbuild_executor.cmi src/ocamlbuild_unix_plugin.cmi; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - make install-lib-native-opam - make[3]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - for lib in src/ocamlbuildlib.cmxa src/ocamlbuildlib.a src/ocamlbuild.cmx src/ocamlbuild.o src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild_plugin.o src/ocamlbuild_executor.o src/ocamlbuild_unix_plugin.o; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - make install-man-opam - make[2]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - echo 'man: [' >> ocamlbuild.install - echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - make install-doc-opam - make[2]: Entering directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - echo 'doc: [' >> ocamlbuild.install - echo ' "LICENSE"' >> ocamlbuild.install - echo ' "Changes"' >> ocamlbuild.install - echo ' "Readme.md"' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' - make[1]: Leaving directory '/home/opam/.opam/4.12/.opam-switch/build/ocamlbuild.0.14.1' -> compiled ocamlbuild.0.14.1 Processing 39/84: [dune: ocaml bootstrap.ml] [num: make] -> installed ocamlbuild.0.14.1 Processing 40/84: [dune: ocaml bootstrap.ml] [num: make] Processing 41/84: [dune: ocaml bootstrap.ml] [num: make] [uchar: ocaml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "pkg/git.ml" (CWD=/home/opam/.opam/4.12/.opam-switch/build/uchar.0.0.2) + /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 41/84: [dune: ocaml bootstrap.ml] [uchar: ocaml] Processing 42/84: [dune: ocaml bootstrap.ml] [uchar: ocaml] [num: ocamlfind remove] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "pkg/build.ml" "native=true" "native-dynlink=true" (CWD=/home/opam/.opam/4.12/.opam-switch/build/uchar.0.0.2) -> compiled uchar.0.0.2 Processing 42/84: [dune: ocaml bootstrap.ml] [num: ocamlfind remove] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocamlfind" "remove" "num" (CWD=/home/opam/.opam/4.12/.opam-switch/build/num.1.4) - ocamlfind: [WARNING] No such file: /home/opam/.opam/4.12/lib/num/META + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocamlfind" "remove" "num-top" (CWD=/home/opam/.opam/4.12/.opam-switch/build/num.1.4) - ocamlfind: [WARNING] No such file: /home/opam/.opam/4.12/lib/num-top/META Processing 42/84: [dune: ocaml bootstrap.ml] [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 42/84: [dune: ocaml bootstrap.ml] -> installed uchar.0.0.2 Processing 43/84: [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune.3.2.0) - ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 127 - Processing 43/84: [dune: ./dune.exe build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune.3.2.0) -> compiled dune.3.2.0 -> installed dune.3.2.0 Processing 45/84: [bindlib: dune build] Processing 46/84: [bindlib: dune build] [cppo: dune build] Processing 47/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] Processing 48/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] Processing 49/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] Processing 50/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] Processing 51/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] Processing 52/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] Processing 53/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [pratter: dune build] Processing 54/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [pratter: dune build] [sexplib0: dune build] Processing 55/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppx_derivers" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ppx_derivers.1.2.1) -> compiled ppx_derivers.1.2.1 Processing 55/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] -> installed ppx_derivers.1.2.1 Processing 56/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "pratter" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/pratter.1.2) -> compiled pratter.1.2 Processing 56/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] -> installed pratter.1.2 Processing 57/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "easy-format" "-j" "127" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/easy-format.1.3.3) Processing 57/84: [bindlib: dune build] [cppo: dune build] [csexp: dune build] [easy-format: dune install] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "csexp" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/csexp.1.5.1) -> compiled csexp.1.5.1 Processing 57/84: [bindlib: dune build] [cppo: dune build] [easy-format: dune install] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] -> installed csexp.1.5.1 Processing 58/84: [bindlib: dune build] [cppo: dune build] [easy-format: dune install] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] Processing 59/84: [bindlib: dune build] [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bindlib" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/bindlib.6.0.0) -> compiled bindlib.6.0.0 Processing 59/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] -> installed bindlib.6.0.0 Processing 60/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/menhirSdk.20220210) -> compiled menhirSdk.20220210 Processing 60/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] -> installed menhirSdk.20220210 Processing 61/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sexplib0" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/sexplib0.v0.15.0) -> compiled sexplib0.v0.15.0 Processing 61/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [stdlib-shims: dune build] -> installed sexplib0.v0.15.0 Processing 62/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "stdlib-shims" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/stdlib-shims.0.3.0) -> compiled stdlib-shims.0.3.0 Processing 62/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [ocaml-compiler-libs: dune build] -> installed stdlib-shims.0.3.0 Processing 63/84: [cppo: dune build] [dune-configurator: rm] [easy-format: dune install] [menhirLib: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "install" "-p" "easy-format" "--create-install-files" "easy-format" (CWD=/home/opam/.opam/4.12/.opam-switch/build/easy-format.1.3.3) - Copying to _destdir/home/opam/.opam/4.12/lib/easy-format/META - Copying to _destdir/home/opam/.opam/4.12/lib/easy-format/dune-package -> compiled easy-format.1.3.3 Processing 63/84: [cppo: dune build] [dune-configurator: rm] [menhirLib: dune build] [ocaml-compiler-libs: dune build] -> installed easy-format.1.3.3 Processing 64/84: [cppo: dune build] [dune-configurator: rm] [menhirLib: dune build] [ocaml-compiler-libs: dune build] Processing 65/84: [biniou: dune build] [cppo: dune build] [dune-configurator: rm] [menhirLib: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/csexp" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune-configurator.3.2.0) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/pp" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune-configurator.3.2.0) Processing 65/84: [biniou: dune build] [cppo: dune build] [dune-configurator: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/menhirLib.20220210) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20220210 Processing 65/84: [biniou: dune build] [cppo: dune build] [dune-configurator: dune build] [ocaml-compiler-libs: dune build] -> installed menhirLib.20220210 Processing 66/84: [biniou: dune build] [cppo: dune build] [dune-configurator: dune build] [ocaml-compiler-libs: dune build] Processing 67/84: [biniou: dune build] [cppo: dune build] [dune-configurator: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cppo.1.6.9) -> compiled cppo.1.6.9 Processing 67/84: [biniou: dune build] [dune-configurator: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] -> installed cppo.1.6.9 Processing 68/84: [biniou: dune build] [dune-configurator: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocaml-compiler-libs" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ocaml-compiler-libs.v0.12.4) -> compiled ocaml-compiler-libs.v0.12.4 Processing 68/84: [biniou: dune build] [dune-configurator: dune build] [menhir: dune build] -> installed ocaml-compiler-libs.v0.12.4 Processing 69/84: [biniou: dune build] [dune-configurator: dune build] [menhir: dune build] Processing 70/84: [biniou: dune build] [dune-configurator: dune build] [menhir: dune build] [ppxlib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "biniou" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/biniou.1.2.1) -> compiled biniou.1.2.1 Processing 70/84: [dune-configurator: dune build] [menhir: dune build] [ppxlib: dune build] -> installed biniou.1.2.1 Processing 71/84: [dune-configurator: dune build] [menhir: dune build] [ppxlib: dune build] Processing 72/84: [dune-configurator: dune build] [menhir: dune build] [ppxlib: dune build] [yojson: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "dune-configurator" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune-configurator.3.2.0) -> compiled dune-configurator.3.2.0 Processing 72/84: [menhir: dune build] [ppxlib: dune build] [yojson: dune build] -> installed dune-configurator.3.2.0 Processing 73/84: [menhir: dune build] [ppxlib: dune build] [yojson: dune build] Processing 74/84: [gen: dune build] [menhir: dune build] [ppxlib: dune build] [yojson: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "yojson" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/yojson.1.7.0) -> compiled yojson.1.7.0 Processing 74/84: [gen: dune build] [menhir: dune build] [ppxlib: dune build] -> installed yojson.1.7.0 Processing 75/84: [gen: dune build] [menhir: dune build] [ppxlib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "@install" "-p" "gen" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/gen.1.0) -> compiled gen.1.0 Processing 75/84: [menhir: dune build] [ppxlib: dune build] -> installed gen.1.0 Processing 76/84: [menhir: dune build] [ppxlib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "127" (CWD=/home/opam/.opam/4.12/.opam-switch/build/menhir.20220210) - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check - Read 101 sample input sentences and 101 error messages. - Read 101 sample input sentences and 48 error messages. - (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred) - Grammar has 56 nonterminal symbols, among which 1 start symbols. - Grammar has 37 terminal symbols. - Grammar has 129 productions. - Built an LR(0) automaton with 194 states. - The grammar is not SLR(1) -- 5 states have a conflict. - The construction mode is no-pager. - Built an LR(1) automaton with 298 states. - One shift/reduce conflict was silently solved. - Extra reductions on error were added in 40 states. - Priority played a role in 0 of these states. - 152 out of 298 states have a default reduction. - 102 out of 298 states are represented. - 44 out of 96 symbols keep track of their start position. - 41 out of 96 symbols keep track of their end position. - 264 specialized copies of 64 functions have been created. - The StackLang code contains 5161 instructions in 241 blocks. - The StackLang code comprises 5 mutually recursive groups. - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml - Read 101 sample input sentences and 48 error messages. -> compiled menhir.20220210 Processing 76/84: [ppxlib: dune build] -> installed menhir.20220210 Processing 77/84: [ppxlib: dune build] Processing 78/84: [ppxlib: dune build] [why3: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.12" "--disable-frama-c" "--disable-coq-libs" "--disable-js-of-ocaml" "--disable-ide" (CWD=/home/opam/.opam/4.12/.opam-switch/build/why3.1.4.1) - checking executable suffix... <none> - checking for gcc... gcc - checking whether the C compiler works... yes - checking for C compiler default output file name... a.out - checking for suffix of executables... - checking whether we are cross compiling... no - checking for suffix of object files... o - checking whether we are using the GNU C compiler... yes - checking whether gcc accepts -g... yes - checking for gcc option to accept ISO C89... none needed - checking for gcc option to accept ISO C99... none needed - checking for gcc option to accept ISO Standard C... (cached) none needed - checking for a thread-safe mkdir -p... /bin/mkdir -p - checking for a BSD-compatible install... /usr/bin/install -c - checking for ocamlc... ocamlc - ocaml version is 4.12.1 - ocaml library path is /home/opam/.opam/4.12/lib/ocaml - checking for ocamlopt... ocamlopt - checking ocamlopt version... ok - checking for ocamlc.opt... ocamlc.opt - checking ocamlc.opt version... ok - checking for ocamlopt.opt... ocamlopt.opt - checking ocamlc.opt version... ok - checking for ocamldep... ocamldep - checking for ocamldep.opt... ocamldep.opt - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for ocamlyacc... ocamlyacc - checking for ocamldoc... ocamldoc - checking for ocamldoc.opt... ocamldoc.opt - checking for menhir... menhir - checking for ocamlfind... ocamlfind - ocamlfind found compiler-libs in /home/opam/.opam/4.12/lib/ocaml/compiler-libs - checking for sphinx-build... no - configure: WARNING: Cannot find sphinx-build, Documentation disabled. - checking for emacs... no - configure: WARNING: Cannot find emacs, compilation of why3.elc disabled. - ocamlfind found num in /home/opam/.opam/4.12/lib/num - checking for /home/opam/.opam/4.12/lib/num/nums.cma... no - checking for /home/opam/.opam/4.12/lib/num/num.cmi... no - checking for /home/opam/.opam/4.12/lib/ocaml/nums.cma... yes - checking for /home/opam/.opam/4.12/lib/ocaml/num.cmi... yes - ocamlfind: Package `zarith' not found - checking for /home/opam/.opam/4.12/lib/ocaml/zarith/zarith.cma... no - checking for /home/opam/.opam/4.12/lib/ocaml/zarith/z.cmi... no - configure: WARNING: Lib Zarith not found, using Nums instead. - ocamlfind: Package `zip' not found - checking for /home/opam/.opam/4.12/lib/ocaml/zip/zip.cma... no - checking for /home/opam/.opam/4.12/lib/ocaml/zip/zip.cmi... no - configure: WARNING: Lib camlzip not found, sessions files will not be compressed. - ocamlfind found menhirLib in /home/opam/.opam/4.12/lib/menhirLib - checking for /home/opam/.opam/4.12/lib/menhirLib/menhirLib.cmi... yes - ocamlfind found seq in /home/opam/.opam/4.12/lib/seq - checking for /home/opam/.opam/4.12/lib/seq/seq.cma... no - checking for /home/opam/.opam/4.12/lib/seq/seq.cmi... no - checking for /home/opam/.opam/4.12/lib/ocaml/stdlib__seq.cmi... yes - ocamlfind: Package `re' not found - checking for /home/opam/.opam/4.12/lib/ocaml/re/re.cmx... no - checking for /home/opam/.opam/4.12/lib/ocaml/re/re.cmi... no - configure: WARNING: Library re not found. - ocamlfind: Package `ocamlgraph' not found - checking for /home/opam/.opam/4.12/lib/ocaml/ocamlgraph/graph.cma... no - checking for /home/opam/.opam/4.12/lib/ocaml/ocamlgraph/graph.cmi... no - configure: WARNING: Lib ocamlgraph not found, hypothesis selection disabled. - ocamlfind: Package `mlmpfr' not found - ocamlfind: Package `ppx_sexp_conv' not found - checking for pvs... no - configure: WARNING: Cannot find pvs. - checking for isabelle... no - configure: WARNING: Cannot find isabelle. - configure: creating ./config.status - config.status: creating Makefile - config.status: creating src/config.sh - config.status: creating lib/why3/META - config.status: creating .merlin - config.status: creating src/jessie/Makefile - config.status: creating src/jessie/.merlin - config.status: creating lib/coq/version - config.status: creating lib/pvs/version - config.status: executing chmod commands - - Summary - ----------------------------------------- - Verbose make : no - OCaml compiler : yes - Version : 4.12.1 - Library path : /home/opam/.opam/4.12/lib/ocaml - Ocamlfind : yes - Native compilation : yes - Profiling : no - Memory profiling : no (disabled by default) - PPX : yes - S-expr for why3pp : no (requires ppx_sexp_conv) - Javascript support : no (disabled by user) - MPFR support : no (mlmpfr not found) - Re support : no - Components - Why3 library : yes - GTK IDE : no (disabled by user) - Web IDE : no (Javascript support not available) - GMP arithmetic : no (zarith not found) - Compressed sessions : no (camlzip not found) - Hypothesis selection : no (ocamlgraph not found) - Invariant inference(exp): no (disabled by default) - Frama-C support : no - Documentation : no (sphinx-build not found) - Support for interactive proof assistants - Coq : no (disabled by user) - PVS : no (pvs not found) - Isabelle : no (isabelle not found) - Installable : yes - Binary path : ${exec_prefix}/bin - Library path : ${exec_prefix}/lib/why3 - Data path : ${prefix}/share/why3 - OCaml library path : /home/opam/.opam/4.12/lib/why3 - Relocatable : no Processing 78/84: [ppxlib: dune build] [why3: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppxlib" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/ppxlib.0.26.0) -> compiled ppxlib.0.26.0 Processing 78/84: [why3: make all] -> installed ppxlib.0.26.0 Processing 79/84: [why3: make all] Processing 80/84: [sedlex: dune build] [why3: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sedlex" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/sedlex.3.0) -> compiled sedlex.3.0 Processing 80/84: [why3: make all] -> installed sedlex.3.0 Processing 81/84: [why3: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j127" "all" "opt" "byte" (CWD=/home/opam/.opam/4.12/.opam-switch/build/why3.1.4.1) - Ocamldep src/trywhy3/worker_proto.ml - Ocamldep src/trywhy3/why3_worker.ml - Ocamldep src/trywhy3/trywhy3.ml - Ocamldep src/trywhy3/shortener.ml - Ocamldep src/trywhy3/bindings.ml - Ocamldep src/trywhy3/alt_ergo_worker.ml - Ocamllex src/why3doc/doc_lexer.mll - cp src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml - Ocamldep src/isabelle-client/isabelle_client_main.ml - Ocamldep src/tools/why3shell.ml - Ocamldep src/why3session/why3session_main.ml - Ocamldep src/why3session/why3session_update.ml - Ocamldep src/why3session/why3session_latex.ml - Ocamldep src/why3session/why3session_html.ml - 125 states, 1119 transitions, table size 5226 bytes - 1793 additional bytes used for bindings - Ocamldep src/why3session/why3session_info.ml - Ocamldep src/why3session/why3session_lib.ml - Ocamldep src/ide/why3web.ml - Ocamldep src/ide/wserver.ml - Ocamllex src/tools/why3wc.mll - Ocamllex plugins/tptp/tptp_lexer.mll - Menhir plugins/tptp/tptp_parser.mly - Ocamllex plugins/python/py_lexer.mll - Menhir plugins/python/py_parser.mly - Ocamllex plugins/microc/mc_lexer.mll - Menhir plugins/microc/mc_parser.mly - Ocamllex plugins/cfg/cfg_lexer.mll - 56 states, 651 transitions, table size 2940 bytes - 1375 additional bytes used for bindings - Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly - 101 states, 1563 transitions, table size 6858 bytes - 3126 additional bytes used for bindings - Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly - 77 states, 473 transitions, table size 2354 bytes - 1504 additional bytes used for bindings - Ocamllex plugins/parser/dimacs.mll - Generate src/util/config.ml - Ocamllex src/util/rc.mll - cp src/util/mysexplib-dummy.ml src/util/mysexplib.ml - Ocamllex src/util/lexlib.mll - Menhir src/util/json_parser.mly - 34 states, 434 transitions, table size 1940 bytes - 1293 additional bytes used for bindings - 48 states, 1889 transitions, table size 7844 bytes - 3073 additional bytes used for bindings - cp src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml - Ocamllex src/util/json_lexer.mll - cp src/util/dynlink_new.ml src/util/dynlink_wrapper.ml - Ocamllex src/parser/lexer.mll - Menhir src/parser/parser_common.mly src/parser/parser.mly - 39 states, 600 transitions, table size 2634 bytes - 1338 additional bytes used for bindings - 52 states, 495 transitions, table size 2292 bytes - Menhir src/parser/parser_common.mly src/parser/parser.mly - Menhir src/driver/driver_parser.mly - Ocamllex src/driver/driver_lexer.mll - cp src/session/compress_none.ml src/session/compress.ml - Ocamllex src/driver/sexp.mll - Ocamllex src/session/xml.mll - Ocamllex src/session/strategy_parser.mll - 34 states, 1366 transitions, table size 5668 bytes - 27 states, 306 transitions, table size 1386 bytes - 117 states, 1396 transitions, table size 6286 bytes - 3556 additional bytes used for bindings - 155 states, 4342 transitions, table size 18298 bytes - 7537 additional bytes used for bindings - 307 states, 15627 transitions, table size 64350 bytes - 158 states, 4359 transitions, table size 18384 bytes - 7555 additional bytes used for bindings - cp src/util/recompat.ml src/util/re.ml - 43 states, 639 transitions, table size 2814 bytes - 1799 additional bytes used for bindings - Read 3 sample input sentences and 3 error messages. - menhir --explain --strict src/parser/parser_common.mly src/parser/parser.mly --base src/parser/parser --compile-errors \ - src/parser/handcrafted.messages > src/parser/parser_messages.ml - Read 3 sample input sentences and 3 error messages. - Ocamldep src/why3doc/doc_main.ml - Ocamldep src/why3doc/doc_lexer.ml - Ocamldep src/why3doc/doc_def.ml - Ocamldep src/why3doc/doc_html.ml - Ocamldep src/tools/why3pp.ml - Ocamldep src/tools/why3pp_sexp.ml - Ocamldep src/tools/why3wc.ml - Ocamldep src/tools/why3replay.ml - Ocamldep src/tools/why3realize.ml - Ocamldep src/tools/why3prove.ml - Ocamldep src/tools/why3extract.ml - Ocamldep src/tools/why3execute.ml - Ocamldep src/tools/why3config.ml - Ocamldep src/tools/main.ml - Ocamldep plugins/cfg/cfg_main.ml - Ocamldep plugins/cfg/cfg_lexer.ml - Ocamldep plugins/cfg/cfg_parser.ml - Ocamldep plugins/cfg/cfg_tokens.ml - Ocamldep plugins/cfg/cfg_ast.ml - Ocamldep plugins/microc/mc_main.ml - Ocamldep plugins/microc/mc_printer.ml - Ocamldep plugins/microc/mc_lexer.ml - Ocamldep plugins/microc/mc_parser.ml - Ocamldep plugins/microc/mc_ast.ml - Ocamldep plugins/python/py_main.ml - Ocamldep plugins/python/py_lexer.ml - Ocamldep plugins/python/py_parser.ml - Ocamldep plugins/python/py_ast.ml - Ocamldep plugins/tptp/tptp_printer.ml - Ocamldep plugins/tptp/tptp_lexer.ml - Ocamldep plugins/tptp/tptp_typing.ml - Ocamldep plugins/tptp/tptp_parser.ml - Ocamldep plugins/tptp/tptp_ast.ml - Ocamldep plugins/parser/dimacs.ml - Ocamldep plugins/parser/genequlin.ml - Ocamldep src/session/unix_scheduler.ml - Ocamldep src/session/json_util.ml - Ocamldep src/session/itp_server.ml - Ocamldep src/session/itp_communication.ml - Ocamldep src/session/server_utils.ml - Ocamldep src/session/controller_itp.ml - Ocamldep src/session/strategy_parser.ml - Ocamldep src/session/strategy.ml - Ocamldep src/session/session_itp.ml - Ocamldep src/session/termcode.ml - Ocamldep src/session/xml.ml - Ocamldep src/session/compress.ml - Ocamldep src/printer/mathematica.ml - Ocamldep src/printer/yices.ml - Ocamldep src/printer/cvc3.ml - Ocamldep src/printer/gappa.ml - Ocamldep src/printer/simplify.ml - Ocamldep src/printer/isabelle.ml - Ocamldep src/printer/pvs.ml - Ocamldep src/printer/coq.ml - Ocamldep src/printer/smtv2.ml - Ocamldep src/printer/smtv1.ml - Ocamldep src/printer/why3printer.ml - Ocamldep src/printer/alt_ergo.ml - Ocamldep src/printer/cntexmp_printer.ml - Ocamldep src/transform/reflection.ml - Ocamldep src/transform/matching.ml - Ocamldep src/transform/induction_pr.ml - Ocamldep src/transform/induction.ml - Ocamldep src/transform/prepare_for_counterexmp.ml - Ocamldep src/transform/intro_vc_vars_counterexmp.ml - Ocamldep src/transform/congruence.ml - Ocamldep src/transform/cut.ml - Ocamldep src/transform/destruct.ml - Ocamldep src/transform/ind_itp.ml - Ocamldep src/transform/introduction.ml - Ocamldep src/transform/subst.ml - Ocamldep src/transform/apply.ml - Ocamldep src/transform/case.ml - Ocamldep src/transform/generic_arg_trans_utils.ml - Ocamldep src/transform/eliminate_literal.ml - Ocamldep src/transform/prop_curry.ml - Ocamldep src/transform/smoke_detector.ml - Ocamldep src/transform/instantiate_predicate.ml - Ocamldep src/transform/intro_projections_counterexmp.ml - Ocamldep src/transform/eliminate_epsilon.ml - Ocamldep src/transform/lift_epsilon.ml - Ocamldep src/transform/close_epsilon.ml - Ocamldep src/transform/abstraction.ml - Ocamldep src/transform/filter_trigger.ml - Ocamldep src/transform/simplify_array.ml - Ocamldep src/transform/encoding_sort.ml - Ocamldep src/transform/encoding_twin.ml - Ocamldep src/transform/encoding_tags.ml - Ocamldep src/transform/encoding_guards.ml - Ocamldep src/transform/encoding_tags_full.ml - Ocamldep src/transform/encoding_guards_full.ml - Ocamldep src/transform/encoding_select.ml - Ocamldep src/transform/encoding.ml - Ocamldep src/transform/discriminate.ml - Ocamldep src/transform/libencoding.ml - Ocamldep src/transform/eliminate_if.ml - Ocamldep src/transform/eliminate_let.ml - Ocamldep src/transform/eliminate_inductive.ml - Ocamldep src/transform/eliminate_symbol.ml - Ocamldep src/transform/eliminate_unknown_lsymbols.ml - Ocamldep src/transform/eliminate_unknown_types.ml - Ocamldep src/transform/abstract_quantifiers.ml - Ocamldep src/transform/eliminate_algebraic.ml - Ocamldep src/transform/eliminate_definition.ml - Ocamldep src/transform/compute.ml - Ocamldep src/transform/reduction_engine.ml - Ocamldep src/transform/detect_polymorphism.ml - Ocamldep src/transform/args_wrapper.ml - Ocamldep src/transform/split_goal.ml - Ocamldep src/transform/inlining.ml - Ocamldep src/transform/simplify_formula.ml - Ocamldep src/parser/mlw_printer.ml - Ocamldep src/parser/lexer.ml - Ocamldep src/parser/report.ml - Ocamldep src/parser/typing.ml - Ocamldep src/parser/parser.ml - Ocamldep src/parser/parser_messages.ml - Ocamldep src/parser/glob.ml - Ocamldep src/parser/ptree_helpers.ml - Ocamldep src/parser/ptree.ml - Ocamldep src/extract/cakeml.ml - Ocamldep src/extract/ocaml.ml - Ocamldep src/extract/c.ml - Ocamldep src/extract/ml_printer.ml - Ocamldep src/extract/pdriver.ml - Ocamldep src/extract/mlinterp.ml - Ocamldep src/extract/compile.ml - Ocamldep src/extract/mltree.ml - Ocamldep src/mlw/counterexample.ml - Ocamldep src/mlw/pinterp.ml - Ocamldep src/mlw/big_real.ml - Ocamldep src/mlw/dexpr.ml - Ocamldep src/mlw/pmodule.ml - Ocamldep src/mlw/vc.ml - Ocamldep src/mlw/typeinv.ml - Ocamldep src/mlw/eval_match.ml - Ocamldep src/mlw/pdecl.ml - Ocamldep src/mlw/expr.ml - Ocamldep src/mlw/ity.ml - Ocamldep src/driver/smtv2_model_parser.ml - Ocamldep src/driver/sexp.ml - Ocamldep src/driver/collect_data_model.ml - Ocamldep src/driver/smtv2_model_defs.ml - Ocamldep src/driver/autodetection.ml - Ocamldep src/driver/whyconf.ml - Ocamldep src/driver/driver.ml - Ocamldep src/driver/driver_lexer.ml - Ocamldep src/driver/driver_parser.ml - Ocamldep src/driver/driver_ast.ml - Ocamldep src/driver/call_provers.ml - Ocamldep src/driver/prove_client.ml - Ocamldep src/core/model_parser.ml - Ocamldep src/core/printer.ml - Ocamldep src/core/trans.ml - Ocamldep src/core/env.ml - Ocamldep src/core/dterm.ml - Ocamldep src/core/pretty.ml - Ocamldep src/core/task.ml - Ocamldep src/core/theory.ml - Ocamldep src/core/coercion.ml - Ocamldep src/core/decl.ml - Ocamldep src/core/pattern.ml - Ocamldep src/core/term.ml - Ocamldep src/core/ty.ml - Ocamldep src/core/ident.ml - Ocamldep src/util/re.ml - Ocamldep src/util/pqueue.ml - Ocamldep src/util/vector.ml - Ocamldep src/util/constant.ml - Ocamldep src/util/number.ml - Ocamldep src/util/bigInt.ml - Ocamldep src/util/plugin.ml - Ocamldep src/util/rc.ml - Ocamldep src/util/sysutil.ml - Ocamldep src/util/warning.ml - Ocamldep src/util/cmdline.ml - Ocamldep src/util/dynlink_wrapper.ml - Ocamldep src/util/print_tree.ml - Ocamldep src/util/lexlib.ml - Ocamldep src/util/loc.ml - Ocamldep src/util/debug.ml - Ocamldep src/util/json_lexer.ml - Ocamldep src/util/json_parser.ml - Ocamldep src/util/json_base.ml - Ocamldep src/util/getopt.ml - Ocamldep src/util/exn_printer.ml - Ocamldep src/util/wstdlib.ml - Ocamldep src/util/hashcons.ml - Ocamldep src/util/diffmap.ml - Ocamldep src/util/weakhtbl.ml - Ocamldep src/util/exthtbl.ml - Ocamldep src/util/extset.ml - Ocamldep src/util/extmap.ml - Ocamldep src/util/pp.ml - Ocamldep src/util/strings.ml - Ocamldep src/util/lists.ml - Ocamldep src/util/opt.ml - Ocamldep src/util/util.ml - Ocamldep src/util/mlmpfr_wrapper.ml - Ocamldep src/util/config.ml - Ocamldep src/util/mysexplib.ml - mkdir lib/plugins - Ocamlc src/util/mysexplib.ml - Ocamlc src/util/config.ml - Ocamlc src/util/bigInt.mli - Ocamlc src/util/mlmpfr_wrapper.mli - Ocamlc src/util/util.mli - Ocamlc src/util/opt.mli - Ocamlc src/util/lists.mli - Ocamlc src/util/strings.mli - Ocamlc src/util/pp.mli - Ocamlc src/util/extmap.mli - Ocamlc src/util/exthtbl.mli - Ocamlc src/util/weakhtbl.mli - Ocamlc src/util/hashcons.mli - Ocamlc src/util/exn_printer.mli - Ocamlc src/util/getopt.mli - Ocamlc src/util/loc.mli - Ocamlc src/util/lexlib.mli - Ocamlc src/util/print_tree.mli - Ocamlc src/util/dynlink_wrapper.ml - Ocamlc src/util/cmdline.mli - Ocamlc src/util/sysutil.mli - Ocamlc src/util/vector.mli - Ocamlc src/util/pqueue.mli - Ocamlc src/util/re.ml - File "src/util/util.mli", line 103, characters 22-52: - 103 | val ansi_color_tags : Format.formatter_tag_functions - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.formatter_tag_functions - Use formatter_stag_functions. - Ocamlc src/driver/prove_client.mli - Ocamlc src/driver/sexp.mli - Ocamlc src/mlw/big_real.mli - Linking src/util/ppx_debug_optim - Ocamlc src/parser/parser_messages.ml - findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/opam/.opam/4.12/lib/ocaml, /home/opam/.opam/4.12/lib/ocaml/compiler-libs - Ocamlc src/transform/encoding_select.mli - Ocamlc src/transform/encoding_guards_full.mli - File "src/util/pp.mli", line 122, characters 33-51: - 122 | ('b, formatter, unit, string) Pervasives.format4 -> '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 - Ocamlc src/transform/encoding_tags_full.mli - File "src/util/pp.mli", line 125, characters 33-51: - 125 | ('b, formatter, unit, string) Pervasives.format4 -> '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 - Ocamlc src/transform/encoding_guards.mli - Ocamlc src/transform/encoding_tags.mli - Ocamlc src/transform/encoding_twin.mli - Ocamlc src/transform/encoding_sort.mli - Ocamlc src/transform/simplify_array.mli - Ocamlc src/transform/filter_trigger.mli - Ocamlc src/transform/lift_epsilon.mli - Ocamlc src/transform/instantiate_predicate.mli - Ocamlc src/transform/induction.mli - Ocamlc src/transform/induction_pr.mli - Ocamlc src/printer/alt_ergo.mli - Ocamlc src/printer/why3printer.mli - Ocamlc src/printer/smtv1.mli - Ocamlc src/printer/smtv2.mli - Ocamlc src/printer/coq.mli - Ocamlc src/printer/simplify.mli - Ocamlc src/printer/gappa.mli - Ocamlc src/printer/cvc3.mli - Ocamlc src/session/compress.mli - Ocamlc src/session/xml.mli - Ocamlc src/session/unix_scheduler.mli - Ocamlc src/util/bigInt.ml - Ocamlc src/util/mlmpfr_wrapper.ml - Ocamlc src/util/util.ml - Ocamlc src/util/opt.ml - Ocamlc src/util/lists.ml - Ocamlc src/util/strings.ml - Ocamlc src/util/pp.ml - Ocamlc src/util/extmap.ml - Ocamlc src/util/exthtbl.ml - Ocamlc src/util/weakhtbl.ml - Ocamlc src/util/hashcons.ml - Ocamlc src/util/exn_printer.ml - Ocamlc src/util/getopt.ml - Ocamlc src/util/lexlib.ml - Ocamlc src/util/print_tree.ml - Ocamlc src/util/cmdline.ml - Ocamlc src/util/sysutil.ml - Ocamlc src/util/vector.ml - Ocamlc src/util/pqueue.ml - Ocamlc src/driver/prove_client.ml - Ocamlc src/driver/sexp.ml - Ocamlc src/mlw/big_real.ml - Ocamlc plugins/tptp/tptp_printer.mli - Ocamlc src/ide/wserver.mli - Ocamlc src/tools/why3pp_sexp.ml - Ocamlc src/why3doc/doc_html.mli - gcc -Wall -O -g -o src/server/logging.o -c src/server/logging.c - gcc -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c - gcc -Wall -O -g -o src/server/options.o -c src/server/options.c - gcc -Wall -O -g -o src/server/queue.o -c src/server/queue.c - gcc -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c - gcc -Wall -O -g -o src/server/request.o -c src/server/request.c - gcc -Wall -O -g -o src/server/proc.o -c src/server/proc.c - gcc -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c - gcc -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c - gcc -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c - gcc -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c - gcc -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c - File "src/util/vector.ml", line 22, characters 22-30: - 22 | let create ?capacity:(capacity: (int) option) ~dummy:(dummy: 'a) : 'a t = - ^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - Generate drivers/coq-realizations.aux - Generate drivers/pvs-realizations.aux - Generate drivers/isabelle-realizations.aux - Ocamlopt src/util/mysexplib.ml - Ocamlopt src/util/config.ml - Ocamlopt src/util/mlmpfr_wrapper.ml - Ocamlopt src/util/util.ml - Ocamlopt src/util/opt.ml - Ocamlopt src/util/lists.ml - Ocamlopt src/util/strings.ml - Ocamlopt src/util/extmap.ml - Ocamlc src/util/extset.mli - Ocamlopt src/util/exthtbl.ml - Ocamlopt src/util/weakhtbl.ml - Ocamlc src/util/diffmap.mli - Ocamlopt src/util/hashcons.ml - Ocamlopt src/util/exn_printer.ml - Ocamlc src/util/debug.mli - Ocamlopt src/util/print_tree.ml - Ocamlopt src/util/dynlink_wrapper.ml - Ocamlc src/util/warning.mli - Ocamlc src/util/number.mli - Ocamlopt src/util/vector.ml - Ocamlopt src/util/re.ml - Ocamlc src/driver/driver_ast.ml - Ocamlopt src/driver/sexp.ml - Ocamlopt src/parser/parser_messages.ml - Ocamlopt src/session/compress.ml - Ocamlopt src/session/unix_scheduler.ml - Ocamlc src/session/compress.ml - Ocamlc src/session/unix_scheduler.ml - Ocamlopt src/tools/why3pp_sexp.ml - Ocamlopt src/util/bigInt.ml - Ocamlc src/util/plugin.mli - Ocamlc src/util/debug.ml - Ocamlc src/util/loc.ml - Ocamlc src/session/xml.ml - Ocamlc src/util/wstdlib.mli - Ocamlc src/core/ident.mli - Ocamlc src/util/extset.ml - Ocamlc src/util/diffmap.ml - Ocamlc src/util/number.ml - File "src/session/compress_none.ml", line 43, characters 23-33: - 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 "src/session/compress_none.ml", line 45, characters 20-30: - 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 "src/session/compress_none.ml", line 43, characters 23-33: - 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 "src/session/compress_none.ml", line 45, characters 20-30: - 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 - Ocamlopt src/util/pp.ml - Ocamlc src/util/constant.mli - Ocamlopt src/mlw/big_real.ml - File "src/util/vector.ml", line 22, characters 22-30: - 22 | let create ?capacity:(capacity: (int) option) ~dummy:(dummy: 'a) : 'a t = - ^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - Ocamlc src/driver/driver_parser.mli - Ocamlc src/driver/driver_lexer.mli - Ocamlopt src/util/cmdline.ml - Ocamlc src/util/warning.ml - Ocamlc src/util/plugin.ml - File "src/util/loc.ml", line 69, characters 14-32: - 69 | 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 "src/util/loc.ml", line 70, characters 12-26: - 70 | let equal = 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 - gcc -Wall -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o - Ocamlc src/util/constant.ml - File "src/util/debug.ml", line 115, characters 21-39: - 115 | (List.sort Pervasives.compare list); - ^^^^^^^^^^^^^^^^^^ - 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 - Ocamlc src/driver/driver_lexer.ml - Ocamlopt src/util/getopt.ml - Ocamlopt src/driver/prove_client.ml - Ocamlc src/core/ty.mli - Ocamlc src/parser/glob.mli - Ocamlc src/driver/driver_parser.ml - File "src/util/constant.ml", line 26, characters 33-51: - 26 | let c = if structural then Pervasives.compare k1 k2 else 0 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 "src/util/constant.ml", line 29, characters 33-51: - 29 | let c = if structural then Pervasives.compare k1 k2 else 0 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 "src/util/constant.ml", line 32, characters 6-24: - 32 | Pervasives.compare c1 c2 - ^^^^^^^^^^^^^^^^^^ - 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 - Ocamlopt src/util/pqueue.ml - Ocamlc src/parser/glob.ml - Ocamlc src/util/json_base.mli - Ocamlc src/util/rc.mli - Ocamlc src/util/wstdlib.ml - Ocamlc src/core/ident.ml - Ocamlc src/core/term.mli - Ocamlc src/core/ty.ml - Ocamlc src/util/json_parser.mli - Ocamlc src/util/json_base.ml - Ocamlc src/util/rc.ml - Ocamlopt src/util/sysutil.ml - gcc -Wall -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o - Ocamlc src/util/json_lexer.ml - Ocamlc src/util/json_parser.ml - Ocamlopt src/util/extset.ml - Ocamlopt src/util/diffmap.ml - Ocamlopt src/util/debug.ml - File "src/util/debug.ml", line 115, characters 21-39: - 115 | (List.sort Pervasives.compare list); - ^^^^^^^^^^^^^^^^^^ - 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 - Ocamlc src/core/pattern.mli - Ocamlc src/core/decl.mli - Ocamlc src/core/coercion.mli - Ocamlc src/mlw/ity.mli - Ocamlc src/transform/close_epsilon.mli - Ocamlc src/transform/matching.ml - Ocamlc src/printer/cntexmp_printer.mli - Ocamlc src/core/term.ml - Ocamlopt src/util/loc.ml - Ocamlopt src/util/plugin.ml - Ocamlopt src/util/number.ml - Ocamlopt src/session/xml.ml - Ocamlc src/core/dterm.mli - Ocamlc src/core/pattern.ml - Ocamlc src/core/coercion.ml - File "src/util/loc.ml", line 69, characters 14-32: - 69 | 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 "src/transform/matching.ml", line 157, characters 15-33: - 157 | let (--) = Pervasives.compare 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 "src/util/loc.ml", line 70, characters 12-26: - 70 | let equal = 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 - File "src/core/term.ml", line 281, characters 39-57: - 281 | let perv_compare h1 h2 = comp_raise (Pervasives.compare h1 h2) 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 - Ocamlopt src/util/wstdlib.ml - File "src/transform/matching.ml", line 268, characters 16-34: - 268 | 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 - Ocamlc src/core/theory.mli - Ocamlc src/core/decl.ml - Ocamlopt src/util/lexlib.ml - Ocamlopt src/util/warning.ml - Ocamlopt src/driver/driver_ast.ml - Ocamlc src/core/task.mli - Ocamlc src/core/env.mli - Ocamlc src/mlw/expr.mli - Ocamlc src/transform/detect_polymorphism.mli - Ocamlc src/transform/eliminate_literal.mli - Ocamlc src/core/theory.ml - Ocamlc src/printer/cntexmp_printer.ml - Ocamlc src/transform/reduction_engine.mli - Ocamlc src/core/env.ml - Ocamlc src/core/pretty.mli - Ocamlc src/core/trans.mli - Ocamlc src/session/termcode.mli - Ocamlc src/core/task.ml - Ocamlopt src/util/json_base.ml - Ocamlopt src/core/ident.ml - Ocamlopt src/util/rc.ml - Ocamlopt src/util/constant.ml - Ocamlc src/mlw/pdecl.mli - Ocamlc src/parser/ptree.ml - Ocamlc src/core/pretty.ml - Ocamlc src/core/dterm.ml - Ocamlc src/mlw/ity.ml - File "src/util/constant.ml", line 26, characters 33-51: - 26 | let c = if structural then Pervasives.compare k1 k2 else 0 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 - Ocamlc src/mlw/expr.ml - Ocamlc src/transform/reduction_engine.ml - File "src/util/constant.ml", line 29, characters 33-51: - 29 | let c = if structural then Pervasives.compare k1 k2 else 0 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 "src/util/constant.ml", line 32, characters 6-24: - 32 | Pervasives.compare c1 c2 - ^^^^^^^^^^^^^^^^^^ - 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 - Ocamlc src/core/printer.mli - Ocamlc src/transform/simplify_formula.mli - Ocamlc src/transform/inlining.mli - Ocamlc src/transform/split_goal.mli - Ocamlc src/transform/compute.mli - Ocamlc src/transform/eliminate_definition.mli - Ocamlc src/transform/eliminate_algebraic.mli - Ocamlc src/transform/abstract_quantifiers.ml - Ocamlc src/transform/eliminate_inductive.mli - Ocamlc src/transform/eliminate_symbol.ml - Ocamlc src/transform/eliminate_let.mli - Ocamlc src/transform/eliminate_if.mli - Ocamlc src/transform/libencoding.mli - Ocamlc src/transform/encoding.mli - Ocamlc src/transform/abstraction.mli - Ocamlc src/transform/eliminate_epsilon.mli - Ocamlc src/transform/intro_projections_counterexmp.mli - Ocamlc src/transform/smoke_detector.mli - Ocamlc src/transform/prop_curry.ml - Ocamlc src/transform/generic_arg_trans_utils.mli - Ocamlc src/transform/apply.mli - Ocamlc src/transform/subst.mli - Ocamlc src/transform/introduction.mli - Ocamlc src/transform/destruct.mli - Ocamlc src/transform/congruence.ml - Ocamlc src/transform/intro_vc_vars_counterexmp.mli - Ocamlc src/transform/prepare_for_counterexmp.mli - Ocamlc src/transform/reflection.mli - Ocamlc src/core/trans.ml - Ocamlc src/mlw/pdecl.ml - Ocamlc src/transform/simplify_formula.ml - Ocamlc src/transform/detect_polymorphism.ml - Ocamlc src/transform/simplify_array.ml - Ocamlc src/transform/close_epsilon.ml - Ocamlc src/transform/lift_epsilon.ml - Ocamlc src/transform/instantiate_predicate.ml - Ocamlc src/session/termcode.ml - Ocamlc src/mlw/eval_match.mli - Ocamlc src/mlw/vc.mli - Ocamlc src/mlw/typeinv.mli - Ocamlc src/mlw/pmodule.mli - Ocamlc src/parser/ptree_helpers.mli - Ocamlc src/parser/mlw_printer.mli - Ocamlc src/transform/args_wrapper.mli - Ocamlc src/transform/inlining.ml - Ocamlc src/transform/eliminate_inductive.ml - Ocamlc src/transform/eliminate_let.ml - Ocamlc src/transform/eliminate_epsilon.ml - Ocamlc src/transform/split_goal.ml - Ocamlc src/transform/abstraction.ml - Ocamlc src/transform/smoke_detector.ml - Ocamlopt src/util/json_parser.ml - Ocamlc src/core/model_parser.mli - Ocamlc src/transform/eliminate_unknown_types.ml - Ocamlc src/transform/eliminate_unknown_lsymbols.ml - Ocamlc src/transform/discriminate.mli - Ocamlc src/printer/pvs.ml - Ocamlc src/printer/isabelle.ml - Ocamlc src/printer/mathematica.ml - Ocamlc src/core/printer.ml - Ocamlc src/transform/eliminate_algebraic.ml - Ocamlc src/mlw/eval_match.ml - Ocamlc src/transform/eliminate_if.ml - Ocamlc src/transform/libencoding.ml - Ocamlc src/transform/encoding.ml - Ocamlc src/transform/encoding_guards_full.ml - Ocamlc src/transform/encoding_tags_full.ml - Ocamlc src/transform/encoding_guards.ml - Ocamlc src/transform/encoding_tags.ml - Ocamlc src/transform/encoding_twin.ml - Ocamlc src/transform/encoding_sort.ml - Ocamlc src/transform/filter_trigger.ml - Ocamlc src/transform/intro_projections_counterexmp.ml - Ocamlc src/transform/eliminate_literal.ml - Ocamlc src/transform/generic_arg_trans_utils.ml - Ocamlc src/transform/apply.ml - Ocamlc src/transform/subst.ml - Ocamlc src/transform/introduction.ml - Ocamlc src/transform/intro_vc_vars_counterexmp.ml - Ocamlc src/transform/prepare_for_counterexmp.ml - Ocamlc src/printer/coq.ml - Ocamlc src/printer/gappa.ml - Ocamlc src/mlw/dexpr.mli - Ocamlc src/parser/parser.mli - Ocamlc src/extract/mlinterp.mli - Ocamlc src/parser/lexer.mli - Ocamlc src/transform/case.ml - Ocamlc src/transform/ind_itp.mli - Ocamlc src/transform/cut.ml - Ocamlc src/printer/yices.ml - Ocamlc src/mlw/typeinv.ml - Ocamlc src/mlw/vc.ml - Ocamlc src/mlw/pmodule.ml - Ocamlc src/parser/ptree_helpers.ml - File "src/transform/inlining.ml", line 98, characters 25-38: - 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef = - ^^^^^^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/transform/inlining.ml", line 98, characters 8-21: - 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef = - ^^^^^^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - Ocamlc src/parser/mlw_printer.ml - Ocamlc src/transform/compute.ml - Ocamlc src/transform/eliminate_definition.ml - Ocamlc src/transform/discriminate.ml - Ocamlc src/transform/encoding_select.ml - Ocamlc src/printer/alt_ergo.ml - Ocamlc src/transform/destruct.ml - Ocamlc src/printer/why3printer.ml - Ocamlc src/printer/smtv1.ml - Ocamlc src/printer/smtv2.ml - Ocamlc src/printer/simplify.ml - Ocamlc src/printer/cvc3.ml - Ocamlc src/driver/call_provers.mli - Ocamlc src/driver/smtv2_model_defs.mli - Ocamlc src/core/model_parser.ml - Ocamlc src/transform/ind_itp.ml - Ocamlc src/transform/induction.ml - Ocamlc src/transform/induction_pr.ml - Ocamlopt src/core/ty.ml - Ocamlopt src/driver/driver_parser.ml - Ocamlc src/extract/mltree.ml - Ocamlopt src/parser/glob.ml - Ocamlc src/parser/typing.mli - Ocamlc src/parser/report.mli - Ocamlc src/mlw/dexpr.ml - Ocamlopt src/util/json_lexer.ml - Ocamlc src/driver/driver.mli - Ocamlc src/driver/call_provers.ml - Ocamlc src/transform/reflection.ml - Ocamlc src/driver/collect_data_model.mli - Ocamlc src/driver/smtv2_model_defs.ml - Ocamlc src/parser/typing.ml - Ocamlc src/parser/parser.ml - Ocamlc src/transform/args_wrapper.ml - Ocamlc src/parser/report.ml - Ocamlc src/parser/lexer.ml - Ocamlc src/driver/whyconf.mli - Ocamlc src/driver/driver.ml - Ocamlc src/driver/smtv2_model_parser.ml - Ocamlc src/driver/collect_data_model.ml - File "src/session/termcode.ml", line 1106, characters 24-42: - 1106 | let compare e1 e2 = Pervasives.compare e1.shape e2.shape 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 - Ocamlc src/driver/autodetection.mli - Ocamlc src/mlw/pinterp.mli - Ocamlc src/session/session_itp.mli - Ocamlc src/session/strategy.mli - Ocamlc src/driver/whyconf.ml - Ocamlopt src/core/term.ml - Ocamlc src/session/session_itp.ml - Ocamlc src/driver/autodetection.ml - Ocamlc src/session/strategy_parser.mli - Ocamlc src/session/controller_itp.mli - Ocamlc src/session/strategy.ml - Ocamlc src/session/itp_communication.mli - Ocamlc src/session/controller_itp.ml - Ocamlc src/extract/compile.mli - Ocamlc src/extract/pdriver.mli - Ocamlc src/session/strategy_parser.ml - File "src/core/term.ml", line 281, characters 39-57: - 281 | let perv_compare h1 h2 = comp_raise (Pervasives.compare h1 h2) 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 - Ocamlc src/mlw/counterexample.mli - Ocamlc src/mlw/pinterp.ml - Ocamlc src/session/server_utils.mli - Ocamlc src/session/itp_server.mli - Ocamlc src/session/json_util.mli - Ocamlc src/session/itp_communication.ml - Ocamlc src/extract/ml_printer.mli - Ocamlc src/extract/pdriver.ml - Ocamlc src/extract/c.ml - Ocamlc src/extract/compile.ml - Ocamlc src/extract/mlinterp.ml - Ocamlc src/mlw/counterexample.ml - Ocamlc src/session/json_util.ml - Ocamlc src/session/server_utils.ml - Ocamlc src/session/itp_server.ml - Ocamlc src/extract/ocaml.ml - Ocamlc src/extract/cakeml.ml - Ocamlc src/extract/ml_printer.ml - File "src/mlw/pinterp.ml", line 60, characters 14-28: - 60 | let n = Pervasives.max 0 (Array.length a - 25) 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 "src/session/controller_itp.ml", line 570, characters 36-43: - 570 | let schedule_proof_attempt c id pr ?save_to ~limit ~callback ~notification = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - Ocamlopt src/driver/driver_lexer.ml - File "src/mlw/pinterp.ml", line 1851, characters 48-62: - 1851 | let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) 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 - Ocamlopt src/core/pattern.ml - Ocamlopt src/core/coercion.ml - Ocamlopt src/transform/matching.ml - File "src/transform/matching.ml", line 157, characters 15-33: - 157 | let (--) = Pervasives.compare 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 "src/transform/matching.ml", line 268, characters 16-34: - 268 | 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 - Ocamlopt src/core/decl.ml - Ocamlopt src/core/theory.ml - Ocamlopt src/core/task.ml - Ocamlopt src/core/env.ml - Linking lib/why3/why3.cmo - Ocamlopt src/core/pretty.ml - Ocamlopt src/core/dterm.ml - Ocamlopt src/core/trans.ml - Ocamlopt src/mlw/ity.ml - Ocamlopt src/transform/reduction_engine.ml - Ocamlopt src/core/printer.ml - Ocamlopt src/transform/simplify_formula.ml - Ocamlopt src/transform/inlining.ml - Ocamlopt src/transform/split_goal.ml - Ocamlopt src/transform/detect_polymorphism.ml - Ocamlopt src/transform/abstract_quantifiers.ml - Ocamlopt src/transform/eliminate_symbol.ml - Ocamlopt src/transform/eliminate_let.ml - Ocamlopt src/transform/simplify_array.ml - Ocamlopt src/transform/abstraction.ml - Ocamlopt src/transform/close_epsilon.ml - Ocamlopt src/transform/eliminate_epsilon.ml - Ocamlopt src/transform/intro_projections_counterexmp.ml - Ocamlopt src/transform/instantiate_predicate.ml - Ocamlopt src/transform/smoke_detector.ml - Ocamlopt src/transform/prop_curry.ml - Ocamlopt src/transform/congruence.ml - Ocamlopt src/session/termcode.ml - File "src/transform/inlining.ml", line 98, characters 25-38: - 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef = - ^^^^^^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/transform/inlining.ml", line 98, characters 8-21: - 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef = - ^^^^^^^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/session/termcode.ml", line 1106, characters 24-42: - 1106 | let compare e1 e2 = Pervasives.compare e1.shape e2.shape 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 - Ocamlopt src/transform/lift_epsilon.ml - Ocamlopt src/transform/generic_arg_trans_utils.ml - Ocamlopt src/transform/eliminate_inductive.ml - Ocamlopt src/core/model_parser.ml - Ocamlopt src/transform/eliminate_algebraic.ml - Ocamlopt src/transform/eliminate_unknown_types.ml - Ocamlopt src/transform/eliminate_unknown_lsymbols.ml - Ocamlopt src/transform/eliminate_if.ml - Ocamlopt src/transform/libencoding.ml - Ocamlopt src/transform/encoding_sort.ml - Ocamlopt src/transform/filter_trigger.ml - Ocamlopt src/printer/coq.ml - Ocamlopt src/printer/pvs.ml - Ocamlopt src/printer/isabelle.ml - Ocamlopt src/printer/mathematica.ml - Ocamlopt src/mlw/expr.ml - Ocamlopt src/transform/intro_vc_vars_counterexmp.ml - Ocamlopt src/printer/cntexmp_printer.ml - Ocamlc plugins/parser/genequlin.ml - Ocamlc plugins/parser/dimacs.ml - Ocamlc plugins/tptp/tptp_ast.ml - Ocamlc plugins/python/py_ast.ml - Ocamlc plugins/microc/mc_ast.ml - Ocamlc plugins/microc/mc_printer.mli - Ocamlc plugins/cfg/cfg_ast.ml - Ocamlc plugins/cfg/cfg_tokens.ml - Ocamlc src/tools/main.ml - Ocamlc src/tools/why3config.ml - Ocamlc src/tools/why3execute.ml - Ocamlc src/tools/why3extract.ml - Ocamlc src/tools/why3prove.ml - Ocamlc src/tools/why3realize.ml - Ocamlc src/tools/why3replay.ml - Ocamlc src/tools/why3wc.ml - Ocamlc src/ide/why3web.ml - Ocamlc src/why3session/why3session_lib.mli - Ocamlc src/tools/why3shell.ml - Ocamlc src/isabelle-client/isabelle_client_main.ml - Ocamlc src/tools/why3pp.ml - Ocamlc src/why3doc/doc_def.mli - Ocamlc plugins/tptp/tptp_printer.ml - Linking lib/why3/why3.cma - Ocamlc src/ide/wserver.ml - Ocamlc src/why3doc/doc_html.ml - Ocamlopt src/transform/encoding.ml - Ocamlopt src/transform/eliminate_literal.ml - Ocamlc src/why3doc/doc_lexer.ml - Ocamlc src/why3doc/doc_def.ml - Ocamlc plugins/microc/mc_printer.ml - Ocamlc src/why3session/why3session_info.ml - Ocamlc src/why3session/why3session_html.ml - Ocamlc src/why3session/why3session_latex.ml - Ocamlc src/why3session/why3session_update.ml - Ocamlc src/why3session/why3session_lib.ml - Ocamlc plugins/tptp/tptp_parser.mli - Ocamlc plugins/tptp/tptp_typing.mli - Ocamlc plugins/tptp/tptp_lexer.mli - Ocamlc plugins/python/py_parser.mli - Ocamlc plugins/microc/mc_parser.mli - Ocamlc plugins/cfg/cfg_parser.mli - Ocamlc plugins/cfg/cfg_lexer.ml - Ocamlc plugins/cfg/cfg_parser.ml - Ocamlc plugins/tptp/tptp_parser.ml - File "src/tools/why3prove.ml", line 446, characters 6-40: - 446 | Format.set_formatter_tag_functions Util.ansi_color_tags; - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.set_formatter_tag_functions - Use Format.set_formatter_stag_functions. - Ocamlc plugins/tptp/tptp_typing.ml - Ocamlc plugins/tptp/tptp_lexer.ml - Ocamlc plugins/python/py_lexer.ml - Ocamlc plugins/python/py_parser.ml - Ocamlc plugins/microc/mc_lexer.ml - Ocamlc plugins/microc/mc_parser.ml - Ocamlopt src/transform/encoding_guards_full.ml - Ocamlopt src/transform/encoding_tags_full.ml - Ocamlopt src/transform/encoding_guards.ml - Ocamlopt src/transform/encoding_tags.ml - Ocamlopt src/transform/encoding_twin.ml - Linking bin/why3realize.cma - Linking bin/why3config.cma - Linking bin/why3prove.cma - Ocamlopt src/driver/call_provers.ml - Ocamlopt src/driver/smtv2_model_defs.ml - Linking bin/why3extract.cma - Linking bin/why3pp.cma - Linking lib/plugins/dimacs.cmo - Linking lib/plugins/genequlin.cmo - Linking bin/why3.byte - Linking bin/why3replay.cma - Linking bin/why3execute.cma - Ocamlc plugins/microc/mc_main.ml - Linking bin/isabelle_client.byte - Linking bin/why3shell.cma - Linking bin/why3webserver.cma - Ocamlc src/why3session/why3session_main.ml - Ocamlc src/why3doc/doc_main.ml - Ocamlopt src/driver/collect_data_model.ml - Linking bin/why3wc.cma - Ocamlc plugins/cfg/cfg_main.ml - Ocamlc plugins/python/py_main.ml - Ocamlopt src/mlw/pdecl.ml - Ocamlopt src/parser/ptree.ml - Linking bin/why3session.cma - Linking bin/why3doc.cma - Ocamlopt src/driver/smtv2_model_parser.ml - Ocamlopt src/parser/ptree_helpers.ml - Ocamlopt src/parser/mlw_printer.ml - Ocamlopt src/driver/driver.ml - Linking lib/plugins/microc.cmo - Linking lib/plugins/tptp.cmo - Ocamlopt src/driver/whyconf.ml - Linking lib/plugins/python.cmo - Ocamlopt src/mlw/eval_match.ml - Ocamlopt src/driver/autodetection.ml - Ocamlopt src/session/strategy.ml - Ocamlopt src/mlw/typeinv.ml - Ocamlopt src/session/strategy_parser.ml - Ocamlopt src/mlw/vc.ml - Linking lib/plugins/cfg.cmo - Ocamlopt src/mlw/pmodule.ml - Ocamlopt src/mlw/dexpr.ml - Ocamlopt src/mlw/pinterp.ml - File "src/mlw/pinterp.ml", line 60, characters 14-28: - 60 | let n = Pervasives.max 0 (Array.length a - 25) 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 "src/mlw/pinterp.ml", line 1851, characters 48-62: - 1851 | let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) 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 - Ocamlopt src/extract/mltree.ml - Ocamlopt src/parser/typing.ml - Ocamlopt src/extract/compile.ml - Ocamlopt src/extract/pdriver.ml - Ocamlopt src/mlw/counterexample.ml - Ocamlopt src/extract/ml_printer.ml - Ocamlopt src/extract/ocaml.ml - Ocamlopt src/extract/cakeml.ml - Ocamlopt src/extract/mlinterp.ml - Ocamlopt src/extract/c.ml - Ocamlopt src/parser/parser.ml - Ocamlopt src/parser/report.ml - Ocamlopt src/parser/lexer.ml - Ocamlopt src/transform/args_wrapper.ml - Ocamlopt src/transform/compute.ml - Ocamlopt src/transform/case.ml - Ocamlopt src/transform/apply.ml - Ocamlopt src/transform/subst.ml - Ocamlopt src/transform/ind_itp.ml - Ocamlopt src/transform/cut.ml - Ocamlopt src/transform/eliminate_definition.ml - Ocamlopt src/transform/discriminate.ml - Ocamlopt src/printer/gappa.ml - Ocamlopt src/transform/induction.ml - Ocamlopt src/transform/induction_pr.ml - Ocamlopt src/transform/introduction.ml - Ocamlopt src/transform/destruct.ml - Ocamlopt src/transform/reflection.ml - Ocamlopt src/transform/encoding_select.ml - Ocamlopt src/printer/alt_ergo.ml - Ocamlopt src/printer/why3printer.ml - Ocamlopt src/printer/smtv1.ml - Ocamlopt src/printer/smtv2.ml - Ocamlopt src/printer/simplify.ml - Ocamlopt src/printer/cvc3.ml - Ocamlopt src/printer/yices.ml - Ocamlopt src/transform/prepare_for_counterexmp.ml - Ocamlopt src/session/session_itp.ml - Ocamlopt src/session/controller_itp.ml - File "src/session/controller_itp.ml", line 570, characters 36-43: - 570 | let schedule_proof_attempt c id pr ?save_to ~limit ~callback ~notification = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - Ocamlopt src/session/itp_communication.ml - Ocamlopt src/session/server_utils.ml - Ocamlopt src/session/json_util.ml - Ocamlopt src/session/itp_server.ml - Linking lib/why3/why3.cmx - Ocamlopt plugins/parser/genequlin.ml - Ocamlopt plugins/parser/dimacs.ml - Ocamlopt plugins/tptp/tptp_ast.ml - Ocamlopt plugins/tptp/tptp_printer.ml - Ocamlopt plugins/python/py_ast.ml - Ocamlopt plugins/microc/mc_ast.ml - Ocamlopt plugins/microc/mc_printer.ml - Ocamlopt plugins/cfg/cfg_ast.ml - Ocamlopt plugins/cfg/cfg_tokens.ml - Linking lib/why3/why3.cmxa - Linking lib/why3/why3.cmxs - Ocamlopt src/tools/main.ml - Ocamlopt src/tools/why3config.ml - Ocamlopt src/tools/why3execute.ml - Ocamlopt src/tools/why3extract.ml - Ocamlopt src/tools/why3prove.ml - Ocamlopt src/tools/why3realize.ml - Ocamlopt src/tools/why3replay.ml - Ocamlopt src/tools/why3wc.ml - Ocamlopt src/ide/wserver.ml - Ocamlopt src/why3session/why3session_lib.ml - Ocamlopt src/tools/why3shell.ml - Ocamlopt src/isabelle-client/isabelle_client_main.ml - Ocamlopt src/tools/why3pp.ml - Ocamlopt src/why3doc/doc_html.ml - Ocamlopt src/why3doc/doc_def.ml - Ocamlopt plugins/microc/mc_parser.ml - Ocamlopt plugins/tptp/tptp_parser.ml - Ocamlopt plugins/tptp/tptp_typing.ml - Ocamlopt plugins/python/py_parser.ml - Ocamlopt plugins/cfg/cfg_parser.ml - Linking bin/isabelle_client.opt - Linking bin/why3config.cmxs - Linking bin/why3wc.cmxs - Ocamlopt src/ide/why3web.ml - Linking lib/plugins/genequlin.cmxs - Linking lib/plugins/dimacs.cmxs - Ocamlopt src/why3doc/doc_lexer.ml - Linking bin/why3.opt - File "src/tools/why3prove.ml", line 446, characters 6-40: - 446 | Format.set_formatter_tag_functions Util.ansi_color_tags; - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Format.set_formatter_tag_functions - Use Format.set_formatter_stag_functions. - Linking bin/why3realize.cmxs - Linking bin/why3shell.cmxs - Linking bin/why3execute.cmxs - Linking bin/why3replay.cmxs - Ocamlopt src/why3session/why3session_info.ml - Ocamlopt src/why3session/why3session_html.ml - Ocamlopt src/why3session/why3session_latex.ml - Ocamlopt src/why3session/why3session_update.ml - Linking bin/why3webserver.cmxs - Linking bin/why3prove.cmxs - Linking bin/why3pp.cmxs - Linking bin/why3extract.cmxs - Ocamlopt src/why3doc/doc_main.ml - Ocamlopt plugins/python/py_lexer.ml - Ocamlopt plugins/tptp/tptp_lexer.ml - Linking bin/why3doc.cmxs - Ocamlopt src/why3session/why3session_main.ml - Ocamlopt plugins/microc/mc_lexer.ml - Ocamlopt plugins/python/py_main.ml - Linking bin/why3session.cmxs - Linking lib/plugins/tptp.cmxs - Ocamlopt plugins/microc/mc_main.ml - Linking lib/plugins/python.cmxs - Linking lib/plugins/microc.cmxs - Ocamlopt plugins/cfg/cfg_lexer.ml - Ocamlopt plugins/cfg/cfg_main.ml - Linking lib/plugins/cfg.cmxs - make: Nothing to be done for 'opt'. -> compiled why3.1.4.1 Processing 82/84: [why3: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "install-lib" (CWD=/home/opam/.opam/4.12/.opam-switch/build/why3.1.4.1) - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3/plugins - /usr/bin/install -c -m 644 lib/plugins/genequlin.cmo lib/plugins/dimacs.cmo lib/plugins/tptp.cmo lib/plugins/python.cmo lib/plugins/microc.cmo lib/plugins/cfg.cmo lib/plugins/genequlin.cmxs lib/plugins/dimacs.cmxs lib/plugins/tptp.cmxs lib/plugins/python.cmxs lib/plugins/microc.cmxs lib/plugins/cfg.cmxs /home/opam/.opam/4.12/lib/why3/plugins - /bin/mkdir -p /home/opam/.opam/4.12/bin - /usr/bin/install -c bin/why3.opt /home/opam/.opam/4.12/bin/why3 - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3/commands - /usr/bin/install -c -m 644 bin/why3config.cmxs bin/why3execute.cmxs bin/why3extract.cmxs bin/why3prove.cmxs bin/why3realize.cmxs bin/why3replay.cmxs bin/why3wc.cmxs /home/opam/.opam/4.12/lib/why3/commands - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3 - /usr/bin/install -c lib/why3server /home/opam/.opam/4.12/lib/why3/why3server - /usr/bin/install -c lib/why3cpulimit /home/opam/.opam/4.12/lib/why3/why3cpulimit - /usr/bin/install -c lib/why3-call-pvs /home/opam/.opam/4.12/lib/why3/why3-call-pvs - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3/commands - /usr/bin/install -c -m 644 bin/why3webserver.cmxs /home/opam/.opam/4.12/lib/why3/commands - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3/commands - /usr/bin/install -c -m 644 bin/why3session.cmxs /home/opam/.opam/4.12/lib/why3/commands - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3/commands - /usr/bin/install -c -m 644 bin/why3shell.cmxs /home/opam/.opam/4.12/lib/why3/commands - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3/commands - /usr/bin/install -c -m 644 bin/why3pp.cmxs /home/opam/.opam/4.12/lib/why3/commands - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3/commands - /usr/bin/install -c -m 644 bin/why3doc.cmxs /home/opam/.opam/4.12/lib/why3/commands - /bin/mkdir -p /home/opam/.opam/4.12/share/why3 - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/vim - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/vim/ftdetect - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/vim/syntax - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/lang - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/stdlib - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/stdlib/mach - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/drivers - /usr/bin/install -c -m 644 stdlib/*.mlw /home/opam/.opam/4.12/share/why3/stdlib - /usr/bin/install -c -m 644 stdlib/mach/*.mlw /home/opam/.opam/4.12/share/why3/stdlib/mach - /usr/bin/install -c -m 644 drivers/*.drv drivers/*.gen /home/opam/.opam/4.12/share/why3/drivers - /usr/bin/install -c -m 644 LICENSE /home/opam/.opam/4.12/share/why3/ - /usr/bin/install -c -m 644 share/provers-detection-data.conf /home/opam/.opam/4.12/share/why3/ - /usr/bin/install -c -m 644 share/why3session.dtd /home/opam/.opam/4.12/share/why3 - /usr/bin/install -c -m 644 share/Makefile.config /home/opam/.opam/4.12/share/why3 - /usr/bin/install -c -m 644 share/vim/ftdetect/why3.vim /home/opam/.opam/4.12/share/why3/vim/ftdetect/why3.vim - /usr/bin/install -c -m 644 share/vim/syntax/why3.vim /home/opam/.opam/4.12/share/why3/vim/syntax/why3.vim - /usr/bin/install -c -m 644 share/lang/why3.lang /home/opam/.opam/4.12/share/why3/lang/why3.lang - /usr/bin/install -c -m 644 share/lang/why3c.lang /home/opam/.opam/4.12/share/why3/lang/why3c.lang - /usr/bin/install -c -m 644 share/lang/why3py.lang /home/opam/.opam/4.12/share/why3/lang/why3py.lang - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/drivers - /usr/bin/install -c -m 644 drivers/coq-realizations.aux /home/opam/.opam/4.12/share/why3/drivers/ - /bin/mkdir -p /home/opam/.opam/4.12/share/why3/drivers/ - /usr/bin/install -c -m 644 drivers/pvs-realizations.aux /home/opam/.opam/4.12/share/why3/drivers/ - /usr/bin/install -c -m 644 drivers/isabelle-realizations.aux /home/opam/.opam/4.12/share/why3/drivers/ - /bin/mkdir -p /home/opam/.opam/4.12/share/emacs/site-lisp/ - /usr/bin/install -c -m 644 share/emacs/why3.el /home/opam/.opam/4.12/share/emacs/site-lisp/why3.el - if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \ - /usr/bin/install -c share/bash/why3 /etc/bash_completion.d; \ - fi - /bin/mkdir -p /home/opam/.opam/4.12/lib/why3 - /usr/bin/install -c -m 644 lib/why3/why3.a lib/why3/why3.cma lib/why3/why3.cmx lib/why3/why3.cmi lib/why3/why3.cmxa lib/why3/why3.cmxs lib/why3/why3.cmt \ - lib/why3/META /home/opam/.opam/4.12/lib/why3 -> installed why3.1.4.1 Processing 83/84: [lambdapi: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "lambdapi" "-j" "127" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/lambdapi.2.2.0) -> compiled lambdapi.2.2.0 -> installed lambdapi.2.2.0 Done. # Run eval $(opam env) to update the current shell environment 2022-06-03 09:01.51 ---> saved as "f7389f896458ec38ab3dc0ca6aa190a799fbda5f2ad5837e82910dcaba9e575f" Job succeeded