Building on doris.caelum.ci.dev (from ocaml/opam:debian-unstable) 2024-06-16 15:11.11 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2024-06-16 15:11.11 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 b6de4bb8dee70812d424cc3121b00a1e03b2b447")) 2024-06-16 15:11.11 ---> using "c05b640e056fc7736f091703acc1f33b2a48ca7986a88e13a45001559758722b" 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. 2024-06-16 15:11.11 ---> using "cb635b61e2263d56d86e61e3043edc291cc3e2a30881bddfc276f2ded9643c83" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.09' '4.09.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-config.1 (cached) -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.09.1 (https://github.com/ocaml/ocaml/archive/4.09.1.tar.gz) -> installed ocaml-base-compiler.4.09.1 -> installed ocaml-config.1 -> installed ocaml.4.09.1 Done. # Run eval $(opam env --switch=4.09) to update the current shell environment 2024-06-16 15:11.11 ---> using "03fab65eb147ab7e4789648ea9a01afe01b3e412a3d92f7385960461279fff07" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [198 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-2024-06-16-0804.50-F-2024-06-04-0804.54.pdiff [629 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-06-16-0804.50-F-2024-06-04-0804.54.pdiff [629 kB] - Fetched 890 kB in 1s (595 kB/s) - Reading package lists... - 2024-06-16 15:11.11 ---> using "656582fbf8363570595183785739a3007d1268f9538fc5e6d289948e7f54c2d7" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"alt-ergo.2.0.0\"\ \nopam install -vy \"alt-ergo.2.0.0\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"alt-ergo.2.0.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")) [NOTE] alt-ergo.2.0.0 is not installed. Nothing to do. The following actions will be performed: === install 12 packages - install alt-ergo 2.0.0 - install camlzip 1.07 [required by alt-ergo] - install conf-autoconf 0.2 [required by alt-ergo] - install conf-gmp 4 [required by zarith] - install dune 3.15.3 [required by menhir] - install menhir 20211128 [required by alt-ergo] - install menhirLib 20211128 [required by menhir] - install menhirSdk 20211128 [required by menhir] - install num 1.5 [required by alt-ergo] - install ocamlfind 1.9.6 [required by ocplib-simplex, camlzip, zarith] - install ocplib-simplex 0.4.1 [required by alt-ergo] - install zarith 1.13 [required by alt-ergo] The following system packages will first need to be installed: autoconf libgmp-dev zlib1g-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> opam believes some required external dependencies are missing. opam can: > 1. Run apt-get to install them (may need root/sudo access) 2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal) 3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable 4. Abort the installation [1/2/3/4] 1 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "libgmp-dev" "zlib1g-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package m4. - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19447 files and directories currently installed.) - Preparing to unpack .../0-m4_1.4.19-4_amd64.deb ... - Unpacking m4 (1.4.19-4) ... - Selecting previously unselected package autoconf. - Preparing to unpack .../1-autoconf_2.71-3_all.deb ... - Unpacking autoconf (2.71-3) ... - Selecting previously unselected package autotools-dev. - Preparing to unpack .../2-autotools-dev_20220109.1_all.deb ... - Unpacking autotools-dev (20220109.1) ... - Selecting previously unselected package automake. - Preparing to unpack .../3-automake_1%3a1.16.5-1.3_all.deb ... - Unpacking automake (1:1.16.5-1.3) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../4-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../5-libgmp-dev_2%3a6.3.0+dfsg-2+b1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b1) ... - Selecting previously unselected package zlib1g-dev:amd64. - Preparing to unpack .../6-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1_amd64.deb ... - Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1) ... - Setting up m4 (1.4.19-4) ... - Setting up autotools-dev (20220109.1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b1) ... - Setting up autoconf (2.71-3) ... - Setting up zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1) ... - Setting up automake (1:1.16.5-1.3) ... - update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode - Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b1) ... - Processing triggers for libc-bin (2.38-12) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/34: [alt-ergo.2.0.0: http] Processing 2/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] Processing 3/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] -> retrieved conf-gmp.4 (cached) Processing 4/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] Processing 5/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] Processing 6/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] [conf-autoconf: autoconf] Processing 7/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] [conf-autoconf: autoconf] [conf-gmp: sh] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" "-V" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-autoconf.0.2) - autoconf (GNU Autoconf) 2.71 - Copyright (C) 2021 Free Software Foundation, Inc. - License GPLv3+/Autoconf: GNU GPL version 3 or later - <https://gnu.org/licenses/gpl.html>, <https://gnu.org/licenses/exceptions.html> - This is free software: you are free to change and redistribute it. - There is NO WARRANTY, to the extent permitted by law. - - Written by David J. MacKenzie and Akim Demaille. -> compiled conf-autoconf.0.2 Processing 7/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] [conf-gmp: sh] -> installed conf-autoconf.0.2 Processing 8/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] [conf-gmp: sh] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-gmp.4) - + cc -c -I/usr/local/include test.c -> compiled conf-gmp.4 Processing 8/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] -> installed conf-gmp.4 Processing 9/34: [alt-ergo.2.0.0: http] [camlzip.1.07: http] Processing 9/34: [camlzip.1.07: http] Processing 9/34: -> retrieved camlzip.1.07 (https://github.com/xavierleroy/camlzip/archive/rel107.zip) Processing 10/34: Processing 10/34: [alt-ergo.2.0.0/makefile.user_replace_echo_by_printf.patch: dl] -> retrieved menhir.20211128, menhirLib.20211128, menhirSdk.20211128 (cached) Processing 11/34: [alt-ergo.2.0.0/makefile.user_replace_echo_by_printf.patch: dl] -> retrieved dune.3.15.3 (cached) Processing 12/34: [alt-ergo.2.0.0/makefile.user_replace_echo_by_printf.patch: dl] Processing 13/34: [alt-ergo.2.0.0/makefile.user_replace_echo_by_printf.patch: dl] [dune: ocaml 255] Processing 13/34: [alt-ergo.2.0.0/patch_for_changes_in_num_library.patch: dl] [dune: ocaml 255] -> retrieved num.1.5 (cached) Processing 14/34: [alt-ergo.2.0.0/patch_for_changes_in_num_library.patch: dl] [dune: ocaml 255] Processing 15/34: [alt-ergo.2.0.0/patch_for_changes_in_num_library.patch: dl] [dune: ocaml 255] [num: make opam-legacy] -> retrieved ocamlfind.1.9.6 (cached) Processing 16/34: [alt-ergo.2.0.0/patch_for_changes_in_num_library.patch: dl] [dune: ocaml 255] [num: make opam-legacy] [ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch Processing 17/34: [alt-ergo.2.0.0/patch_for_changes_in_num_library.patch: dl] [dune: ocaml 255] [num: make opam-legacy] [ocamlfind: patch] -> retrieved alt-ergo.2.0.0 (http://alt-ergo.ocamlpro.com/http/alt-ergo-2.0.0/alt-ergo-2.0.0.tar.gz) Processing 17/34: [dune: ocaml 255] [num: make opam-legacy] [ocamlfind: patch] -> retrieved ocplib-simplex.0.4.1 (cached) -> retrieved zarith.1.13 (cached) Processing 17/34: [dune: ocaml 255] [num: make opam-legacy] [ocamlfind: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.09/bin" "-sitelib" "/home/opam/.opam/4.09/lib" "-mandir" "/home/opam/.opam/4.09/man" "-config" "/home/opam/.opam/4.09/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6) - Welcome to findlib version 1.9.6 - Configuring core... - Checking for #remove_directory... - Testing threading model... - systhread_supported: true - Testing DLLs... - Testing whether ppxopt can be supported... - Checking for ocamlc -opaque... - Checking for ocamlopt -g... - Querying installation: META list not found - make install will double-check installed META files - Configuring libraries... - unix: found - dynlink: 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 (in +ocamldoc) - raw_spacetime: found - threads: found (in +threads) - str: found - labltk: not present (normal since 4.02) - native dynlink: found - camlp4: disabled - bytes: found, installing fake library - Configuration for stdlib written to site-lib-src/stdlib/META - Configuration for unix written to site-lib-src/unix/META - Configuration for dynlink written to site-lib-src/dynlink/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 raw_spacetime written to site-lib-src/raw_spacetime/META - Configuration for threads written to site-lib-src/threads/META - Configuration for str written to site-lib-src/str/META - Configuration for bytes written to site-lib-src/bytes/META - Detecting compiler arguments: (extractor built) ok - - About the OCAML core installation: - Standard library: /home/opam/.opam/4.09/lib/ocaml - Binaries: /home/opam/.opam/4.09/bin - Manual pages: /home/opam/.opam/4.09/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.09/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.09/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/4.09/bin - Manual pages: /home/opam/.opam/4.09/man - topfind script: /home/opam/.opam/4.09/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 17/34: [dune: ocaml 255] [num: make opam-legacy] [ocamlfind: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6) - for p in findlib; do ( cd src/$p; make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/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.09/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.09/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 -I +unix -I +dynlink -g -c findlib_config.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -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 -I +unix -I +dynlink -g -c ocaml_args.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml - ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \ - -I +unix -I +dynlink ocaml_args.cmo frontend.cmo - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -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.09/lib' \ - >topfind - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -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.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - make all-config - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.09/lib' | \ - tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.09/lib' -p >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.09/.opam-switch/build/ocamlfind.1.9.6' Processing 17/34: [dune: ocaml 255] [num: make opam-legacy] [ocamlfind: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "PROFILE=release" "opam-legacy" (CWD=/home/opam/.opam/4.09/.opam-switch/build/num.1.5) - make -C src all - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/num.1.5/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 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -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 - cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml . - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml - ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - echo 'version = "1.6~dev"' > META.top - cat META.num-top.in >> META.top - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml - ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -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 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa - make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/num.1.5/src' - cp src/num-legacy.install num.install -> compiled num.1.5 Processing 17/34: [dune: ocaml 255] [ocamlfind: make opt] -> installed num.1.5 Processing 18/34: [dune: ocaml 255] [ocamlfind: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6) - for p in findlib; do ( cd src/$p; make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -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 -I +unix -I +dynlink -c ocaml_args.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml - ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \ - -I +unix -I +dynlink ocaml_args.cmx frontend.cmx - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml - File "_none_", line 1: - Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque - File "_none_", line 1: - Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque - ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \ - fi - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -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.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib' -> compiled ocamlfind.1.9.6 Processing 18/34: [dune: ocaml 255] Processing 19/34: [dune: ocaml 255] [ocamlfind: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6) - if [ "1" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/4.09/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.09/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 - install -d "/home/opam/.opam/4.09/bin" - install -d "/home/opam/.opam/4.09/man" - make install-config - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6' - install -d "`dirname \"/home/opam/.opam/4.09/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.09/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.09/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6' - for p in findlib; do ( cd src/$p; make install ); done - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - install -d "/home/opam/.opam/4.09/lib/findlib" - install -d "/home/opam/.opam/4.09/bin" - test 1 -eq 0 || install -d "/home/opam/.opam/4.09/lib/ocaml" - test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.09/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` && \ - install -c $files "/home/opam/.opam/4.09/lib/findlib/" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - install -c $f "/home/opam/.opam/4.09/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.09/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.09/lib/ocaml/compiler-libs/"; \ - install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.09/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - make install-meta - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6' - for x in bigarray bytes compiler-libs dynlink ocamldoc raw_spacetime stdlib str threads unix ; do install -d "/home/opam/.opam/4.09/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.09/lib/$x/META.tmp" && mv "/home/opam/.opam/4.09/lib/$x/META.tmp" "/home/opam/.opam/4.09/lib/$x/META"; done - install -d "/home/opam/.opam/4.09/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.09/lib/findlib/Makefile.packages" - make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6' - test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; } - test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.09/bin" - make install-doc - make[1]: Entering directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6' - install -d "/home/opam/.opam/4.09/man/man1" "/home/opam/.opam/4.09/man/man3" "/home/opam/.opam/4.09/man/man5" - install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.09/man/man1" - install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.09/man/man5" - make[1]: Leaving directory '/home/opam/.opam/4.09/.opam-switch/build/ocamlfind.1.9.6' -> installed ocamlfind.1.9.6 Processing 19/34: [dune: ocaml 255] Processing 20/34: [camlzip: make all] [dune: ocaml 255] Processing 21/34: [camlzip: make all] [dune: ocaml 255] [ocplib-simplex: autoconf] Processing 22/34: [camlzip: make all] [dune: ocaml 255] [ocplib-simplex: autoconf] [zarith: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1) - configure.in:140: warning: AC_OUTPUT should be used without arguments. - configure.in:140: You should run autoupdate. Processing 22/34: [camlzip: make all] [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.09/.opam-switch/build/camlzip.1.07) - ocamlc -g -safe-string -c -ccopt -g zlibstubs.c - zlibstubs.c: In function 'camlzip_error': - zlibstubs.c:40:23: warning: assignment discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers] - 40 | camlzip_error_exn = caml_named_value("Zlib.Error"); - | ^ - ocamlmklib -oc camlzip zlibstubs.o \ - -lz - ocamlc -g -safe-string -c zlib.mli - ocamlc -g -safe-string -c zlib.ml - ocamlc -g -safe-string -c zip.mli - ocamlc -g -safe-string -c zip.ml - File "zip.ml", line 62, characters 16-37: - 62 | if_channel: Pervasives.in_channel; - ^^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 72, characters 16-38: - 72 | of_channel: Pervasives.out_channel; - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 221, characters 11-33: - 221 | let ic = Pervasives.open_in_bin filename 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 "zip.ml", line 236, characters 2-21: - 236 | Pervasives.close_in ifile.if_channel - ^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 372, characters 17-40: - 372 | of_channel = Pervasives.open_out_bin filename; - ^^^^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 419, characters 2-22: - 419 | Pervasives.close_out oc - ^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 554, characters 4-23: - 554 | Pervasives.close_in ic - ^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 556, characters 4-23: - 556 | Pervasives.close_in ic; raise x - ^^^^^^^^^^^^^^^^^^^ - 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 -g -safe-string -c gzip.mli - File "gzip.mli", line 29, characters 18-39: - 29 | val open_in_chan: Pervasives.in_channel -> in_channel - ^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.mli", line 89, characters 33-55: - 89 | val open_out_chan: ?level:int -> Pervasives.out_channel -> out_channel - ^^^^^^^^^^^^^^^^^^^^^^ - 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 -g -safe-string -c gzip.ml - File "gzip.ml", line 23, characters 13-34: - 23 | { in_chan: Pervasives.in_channel; - ^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 77, characters 16-38: - 77 | open_in_chan (Pervasives.open_in_bin filename) - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 81, characters 12-28: - 81 | let n = Pervasives.input iz.in_chan iz.in_buffer 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 "gzip.ml", line 107, characters 14-30: - 107 | let n = Pervasives.input iz.in_chan iz.in_buffer 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 "gzip.ml", line 165, characters 2-21: - 165 | Pervasives.close_in iz.in_chan - ^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 168, characters 14-36: - 168 | { out_chan: Pervasives.out_channel; - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 195, characters 24-47: - 195 | open_out_chan ~level (Pervasives.open_out_bin filename) - ^^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 202, characters 4-21: - 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos; - ^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 235, characters 4-26: - 235 | Pervasives.output_byte oc (Int32.to_int !r); - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 243, characters 6-23: - 243 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos; - ^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 257, characters 4-21: - 257 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos; - ^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 266, characters 2-22: - 266 | Pervasives.close_out oz.out_chan - ^^^^^^^^^^^^^^^^^^^^ - 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 - ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo \ - -lz Processing 22/34: [camlzip: make allopt] [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.13) - binary ocaml: found in /home/opam/.opam/4.09/bin - binary ocamlc: found in /home/opam/.opam/4.09/bin - binary ocamldep: found in /home/opam/.opam/4.09/bin - binary ocamlmklib: found in /home/opam/.opam/4.09/bin - binary ocamldoc: found in /home/opam/.opam/4.09/bin - binary ocamlopt: found in /home/opam/.opam/4.09/bin - checking compilation with ocamlc -O3 -Wall -Wextra : working - include caml/mlvalues.h: found - library dynlink.cmxa: found - binary ocamlfind: found in /home/opam/.opam/4.09/bin - OCaml's word size is 64 - include gmp.h: found - library gmp: found - OCaml supports -bin-annot to produce documentation - - detected configuration: - - native-code: yes - dynamic linking: yes - defines: -DHAS_GMP - includes: -I/home/opam/.opam/4.09/lib/ocaml - libraries: -lgmp - linker options: - C options: -O3 -Wall -Wextra - installation path: /home/opam/.opam/4.09/lib - installation method findlib - - configuration successful! - now type "make" to build - then type "make install" or "sudo make install" to install Processing 22/34: [camlzip: make allopt] [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "allopt" (CWD=/home/opam/.opam/4.09/.opam-switch/build/camlzip.1.07) - ocamlopt -safe-string -c zlib.ml - ocamlopt -safe-string -c zip.ml - File "zip.ml", line 62, characters 16-37: - 62 | if_channel: Pervasives.in_channel; - ^^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 72, characters 16-38: - 72 | of_channel: Pervasives.out_channel; - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 221, characters 11-33: - 221 | let ic = Pervasives.open_in_bin filename 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 "zip.ml", line 236, characters 2-21: - 236 | Pervasives.close_in ifile.if_channel - ^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 372, characters 17-40: - 372 | of_channel = Pervasives.open_out_bin filename; - ^^^^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 419, characters 2-22: - 419 | Pervasives.close_out oc - ^^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 554, characters 4-23: - 554 | Pervasives.close_in ic - ^^^^^^^^^^^^^^^^^^^ - 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 "zip.ml", line 556, characters 4-23: - 556 | Pervasives.close_in ic; raise x - ^^^^^^^^^^^^^^^^^^^ - 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 -safe-string -c gzip.ml - File "gzip.ml", line 23, characters 13-34: - 23 | { in_chan: Pervasives.in_channel; - ^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 77, characters 16-38: - 77 | open_in_chan (Pervasives.open_in_bin filename) - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 81, characters 12-28: - 81 | let n = Pervasives.input iz.in_chan iz.in_buffer 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 "gzip.ml", line 107, characters 14-30: - 107 | let n = Pervasives.input iz.in_chan iz.in_buffer 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 "gzip.ml", line 165, characters 2-21: - 165 | Pervasives.close_in iz.in_chan - ^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 168, characters 14-36: - 168 | { out_chan: Pervasives.out_channel; - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 195, characters 24-47: - 195 | open_out_chan ~level (Pervasives.open_out_bin filename) - ^^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 202, characters 4-21: - 202 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos; - ^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 235, characters 4-26: - 235 | Pervasives.output_byte oc (Int32.to_int !r); - ^^^^^^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 243, characters 6-23: - 243 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos; - ^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 257, characters 4-21: - 257 | Pervasives.output oz.out_chan oz.out_buffer 0 oz.out_pos; - ^^^^^^^^^^^^^^^^^ - 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 "gzip.ml", line 266, characters 2-22: - 266 | Pervasives.close_out oz.out_chan - ^^^^^^^^^^^^^^^^^^^^ - 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 - ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx \ - -lz - ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa -> compiled camlzip.1.07 Processing 22/34: [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make] Processing 23/34: [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make] [camlzip: make install-findlib] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-findlib" (CWD=/home/opam/.opam/4.09/.opam-switch/build/camlzip.1.07) - cp META-zip META && \ - ocamlfind install zip META *.mli *.a *.cmi *.cma gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \ - rm META - Installed /home/opam/.opam/4.09/lib/zip/zip.cmxs - Installed /home/opam/.opam/4.09/lib/zip/zip.cmxa - Installed /home/opam/.opam/4.09/lib/zip/zlib.cmx - Installed /home/opam/.opam/4.09/lib/zip/zip.cmx - Installed /home/opam/.opam/4.09/lib/zip/gzip.cmx - Installed /home/opam/.opam/4.09/lib/zip/zip.cma - Installed /home/opam/.opam/4.09/lib/zip/zlib.cmi - Installed /home/opam/.opam/4.09/lib/zip/zip.cmi - Installed /home/opam/.opam/4.09/lib/zip/gzip.cmi - Installed /home/opam/.opam/4.09/lib/zip/zip.a - Installed /home/opam/.opam/4.09/lib/zip/libcamlzip.a - Installed /home/opam/.opam/4.09/lib/zip/zlib.mli - Installed /home/opam/.opam/4.09/lib/zip/zip.mli - Installed /home/opam/.opam/4.09/lib/zip/gzip.mli - Installed /home/opam/.opam/4.09/lib/stublibs/dllcamlzip.so - Installed /home/opam/.opam/4.09/lib/stublibs/dllcamlzip.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.09/lib/stublibs is not mentioned in ld.conf - Installed /home/opam/.opam/4.09/lib/zip/META - cp META-camlzip META && \ - ocamlfind install camlzip META && \ - rm META - Installed /home/opam/.opam/4.09/lib/camlzip/META -> installed camlzip.1.07 Processing 23/34: [dune: ocaml 255] [ocplib-simplex: ./configure] [zarith: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-prefix" "/home/opam/.opam/4.09" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1) - checking for ocamlc... ocamlc - ocaml version is 4.09.1 - ocaml library path is /home/opam/.opam/4.09/lib/ocaml - checking for ocamlfind... yes - 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 ocamlopt.opt version... ok - checking for ocamldep... ocamldep - checking platform... configure: creating ./config.status - config.status: creating Makefile - config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting Processing 23/34: [dune: ocaml 255] [ocplib-simplex: make] [zarith: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1) - cp src/extSigs.mli src/extSigs.ml - cp src/coreSig.mli src/coreSig.ml - ocamldep -I src src/*.ml* > .depend - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.ml - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli - ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.ml - ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -pack -o src/ocplibSimplex.cmo src/version.cmo src/rat2.cmo src/extSigs.cmo src/polys.cmo src/coreSig.cmo src/core.cmo src/result.cmo src/assertBounds.cmo src/solveBounds.cmo src/basic.cmo - ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -o src/ocplibSimplex.cma src/ocplibSimplex.cmo - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/version.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/extSigs.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/polys.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/coreSig.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/core.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/result.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/assertBounds.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/solveBounds.ml - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/basic.ml - ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -pack -o src/ocplibSimplex.cmx src/version.cmx src/rat2.cmx src/extSigs.cmx src/polys.cmx src/coreSig.cmx src/core.cmx src/result.cmx src/assertBounds.cmx src/solveBounds.cmx src/basic.cmx - ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxa src/ocplibSimplex.cmx - ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxs src/ocplibSimplex.cmx -> compiled ocplib-simplex.0.4.1 Processing 23/34: [dune: ocaml 255] [zarith: make] Processing 24/34: [dune: ocaml 255] [zarith: make] [ocplib-simplex: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/ocplib-simplex.0.4.1) - OCAMLFIND_DESTDIR=/home/opam/.opam/4.09/lib/ \ - ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/version.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/solveBounds.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/result.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/rat2.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/polys.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/extSigs.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/coreSig.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/core.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/basic.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/assertBounds.mli - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.o - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmxs - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmxa - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmx - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmt - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmo - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cmi - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.cma - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/ocplibSimplex.a - Installed /home/opam/.opam/4.09/lib/ocplib-simplex/META -> installed ocplib-simplex.0.4.1 Processing 24/34: [dune: ocaml 255] [zarith: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.13) - (echo "let"; grep "version" META | head -1) > zarith_version.ml - ocamldep zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend - ocamlc -g -I +compiler-libs -bin-annot -c zarith_version.ml - ocamlc -g -I +compiler-libs -bin-annot -c z.mli - ocamlc -g -I +compiler-libs -bin-annot -c z.ml - ocamlc -g -I +compiler-libs -bin-annot -c q.mli - ocamlc -g -I +compiler-libs -bin-annot -c q.ml - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.mli - ocamlc -g -I +compiler-libs -bin-annot -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp - ocamlc -ccopt "-I/home/opam/.opam/4.09/lib/ocaml -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c - ocamlmklib -g -failsafe -o zarith caml_z.o -lgmp - ocamlc -g -I +compiler-libs -bin-annot -c zarith_top.ml - ocamlc -g -o zarith_top.cma -a zarith_top.cmo - ocamlopt -g -I +compiler-libs -c zarith_version.ml - ocamlopt -g -I +compiler-libs -c z.ml - ocamlopt -g -I +compiler-libs -c q.ml - ocamlopt -g -I +compiler-libs -c big_int_Z.ml - ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp - ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall -> compiled zarith.1.13 Processing 24/34: [dune: ocaml 255] Processing 25/34: [dune: ocaml 255] [zarith: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.13) - ocamlfind install -destdir "/home/opam/.opam/4.09/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so - Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmti - Installed /home/opam/.opam/4.09/lib/zarith/q.cmti - Installed /home/opam/.opam/4.09/lib/zarith/z.cmti - Installed /home/opam/.opam/4.09/lib/zarith/zarith.a - Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.mli - Installed /home/opam/.opam/4.09/lib/zarith/q.mli - Installed /home/opam/.opam/4.09/lib/zarith/zarith.h - Installed /home/opam/.opam/4.09/lib/zarith/zarith.cmxs - Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmx - Installed /home/opam/.opam/4.09/lib/zarith/q.cmx - Installed /home/opam/.opam/4.09/lib/zarith/z.cmx - Installed /home/opam/.opam/4.09/lib/zarith/zarith_version.cmx - Installed /home/opam/.opam/4.09/lib/zarith/zarith.cmxa - Installed /home/opam/.opam/4.09/lib/zarith/z.mli - Installed /home/opam/.opam/4.09/lib/zarith/zarith_top.cma - Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmi - Installed /home/opam/.opam/4.09/lib/zarith/q.cmi - Installed /home/opam/.opam/4.09/lib/zarith/z.cmi - Installed /home/opam/.opam/4.09/lib/zarith/libzarith.a - Installed /home/opam/.opam/4.09/lib/zarith/zarith.cma - Installed /home/opam/.opam/4.09/lib/stublibs/dllzarith.so - Installed /home/opam/.opam/4.09/lib/stublibs/dllzarith.so.owner - ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.09/lib/stublibs is not mentioned in ld.conf - Installed /home/opam/.opam/4.09/lib/zarith/META -> installed zarith.1.13 Processing 25/34: [dune: ocaml 255] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.15.3) - ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 255 - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml - File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamVCS.ml - File "vendor/opam/src/repository/opamVCS.ml", lines 179-182, characters 11-40: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads dune_util__Gc.ml - File "src/dune_util/gc.ml", lines 78-95, characters 5-6: - Warning 23: all the fields are explicitly listed in this record: - the 'with' clause is useless. - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamDownload.ml - File "vendor/opam/src/repository/opamDownload.ml", lines 323-361, characters 42-41: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - cd _boot && /home/opam/.opam/4.09/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamRepository.ml - File "vendor/opam/src/repository/opamRepository.ml", lines 88-90, characters 45-77: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamRepository.ml", lines 277-281, characters 38-17: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Checksum_mismatch _ - File "vendor/opam/src/repository/opamRepository.ml", lines 423-427, characters 12-42: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_, Checksum_mismatch _) - Processing 25/34: [dune: ./_boot/dune.exe build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.3.15.3) -> compiled dune.3.15.3 -> installed dune.3.15.3 Processing 27/34: [menhirLib: dune build] Processing 28/34: [menhirLib: dune build] [menhirSdk: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhirSdk.20211128) -> compiled menhirSdk.20211128 Processing 28/34: [menhirLib: dune build] -> installed menhirSdk.20211128 Processing 29/34: [menhirLib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhirLib.20211128) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20211128 -> installed menhirLib.20211128 Processing 31/34: [menhir: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/4.09/.opam-switch/build/menhir.20211128) - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --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 --no-pager --table --fixed-exception --require-aliases --strict --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. - The action table is 11324 entries; 1610 non-zero; 1359 compressed. - The action table occupies roughly 2816 bytes. - The goto table is 16986 entries; 329 non-zero; 636 compressed. - The goto table occupies roughly 1368 bytes. - The error table occupies roughly 1448 bytes. - The default_reduction table occupies roughly 336 bytes. - The lhs table occupies roughly 168 bytes. - The trace table occupies roughly 8 bytes. - (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --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.20211128 -> installed menhir.20211128 [alt-ergo: patch] applying makefile.user_replace_echo_by_printf.patch Processing 33/34: [alt-ergo: patch] [alt-ergo: patch] applying patch_for_changes_in_num_library.patch Processing 33/34: [alt-ergo: autoconf] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.0.0) - configure.in:315: warning: AC_OUTPUT should be used without arguments. - configure.in:315: You should run autoupdate. Processing 33/34: [alt-ergo: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-prefix" "/home/opam/.opam/4.09" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.0.0) - checking for ocp-ocamlc... no - checking for ocamlc... ocamlc - ocaml version is 4.09.1 - ocaml library path is /home/opam/.opam/4.09/lib/ocaml - checking for ocamlfind... yes - ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith - ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip - ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex - checking for ocp-ocamlopt... no - checking for ocamlopt... ocamlopt - checking ocamlopt version... ok - checking for ocp-ocamlc.opt... no - checking for ocamlc.opt... ocamlc.opt - checking ocamlc.opt version... ok - checking for ocp-ocamlopt.opt... no - checking for ocamlopt.opt... ocamlopt.opt - checking ocamlc.opt version... ok - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for menhir... menhir - ocamlfind: Package `lablgtk2.sourceview2' not found - checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no - Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* - checking for ocamlweb... true - checking platform... configure: creating ./config.status - config.status: creating Makefile.configurable - config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting Processing 33/34: [alt-ergo: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.09/.opam-switch/build/alt-ergo.2.0.0) - autoconf - configure.in:315: warning: AC_OUTPUT should be used without arguments. - configure.in:315: You should run autoupdate. - ./configure - checking for ocp-ocamlc... no - checking for ocamlc... ocamlc - ocaml version is 4.09.1 - ocaml library path is /home/opam/.opam/4.09/lib/ocaml - checking for ocamlfind... yes - ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith - ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip - ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex - checking for ocp-ocamlopt... no - checking for ocamlopt... ocamlopt - checking ocamlopt version... ok - checking for ocp-ocamlc.opt... no - checking for ocamlc.opt... ocamlc.opt - checking ocamlc.opt version... ok - checking for ocp-ocamlopt.opt... no - checking for ocamlopt.opt... ocamlopt.opt - checking ocamlc.opt version... ok - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for menhir... menhir - ocamlfind: Package `lablgtk2.sourceview2' not found - checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no - Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* - checking for ocamlweb... true - checking platform... configure: creating ./config.status - config.status: creating Makefile.configurable - config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting - menhir -v parsers/why/why_parser.mly - ocamllex.opt parsers/why/why_lexer.mll > /dev/null - ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \ - tools/gui/*.ml* parsers/why/*.ml* plugins/common/*ml* plugins/satML/*ml* plugins/fm-simplex/*ml* > .depend - autoconf - configure.in:315: warning: AC_OUTPUT should be used without arguments. - configure.in:315: You should run autoupdate. - ./configure - checking for ocp-ocamlc... no - checking for ocamlc... ocamlc - ocaml version is 4.09.1 - ocaml library path is /home/opam/.opam/4.09/lib/ocaml - checking for ocamlfind... yes - ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith - ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip - ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex - checking for ocp-ocamlopt... no - checking for ocamlopt... ocamlopt - checking ocamlopt version... ok - checking for ocp-ocamlc.opt... no - checking for ocamlc.opt... ocamlc.opt - checking ocamlc.opt version... ok - checking for ocp-ocamlopt.opt... no - checking for ocamlopt.opt... ocamlopt.opt - checking ocamlc.opt version... ok - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for menhir... menhir - ocamlfind: Package `lablgtk2.sourceview2' not found - checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no - Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* - checking for ocamlweb... true - checking platform... configure: creating ./config.status - config.status: creating Makefile.configurable - config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting - ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 @NUMLIB@ -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/config.ml - don't know what to do with @NUMLIB@ - Usage: ocamlopt <options> <files> - Options are: - -fPIC Generate position-independent machine code (default) - -fno-PIC Generate position-dependent machine code - -a Build a library - -alert <list> Enable or disable alerts according to <list>: - +<alertname> enable alert <alertname> - -<alertname> disable alert <alertname> - ++<alertname> treat <alertname> as fatal error - --<alertname> treat <alertname> as non-fatal - @<alertname> enable <alertname> and treat it as fatal error - <alertname> can be 'all' to refer to all alert names - -absname Show absolute filenames in error messages - -afl-instrument Enable instrumentation for afl-fuzz - -afl-inst-ratio Configure percentage of branches instrumented - (advanced, see afl-fuzz docs for AFL_INST_RATIO) - -annot Save information in <filename>.annot - -bin-annot Save typedtree in <filename>.cmt - -inline-branch-factor <n>|<round>=<n>[,...] Estimate the probability of a branch being cold as 1/(1+n) (used for inlining) (default 0.10) - -c Compile only (do not link) - -cc <command> Use <command> as the C compiler and linker - -cclib <opt> Pass option <opt> to the C linker - -ccopt <opt> Pass option <opt> to the C compiler and linker - -clambda-checks Instrument clambda code with closure and field access checks (for debugging the compiler) - -Oclassic Make inlining decisions at function definition time rather than at the call site (replicates previous behaviour of the compiler) - -color {auto|always|never} Enable or disable colors in compiler messages - The following settings are supported: - auto use heuristics to enable colors only if supported - always enable colors - never disable colors - The default setting is 'auto', and the current heuristic - checks that the TERM environment variable exists and is - not empty or "dumb", and that isatty(stderr) holds. - If the option is not specified, these setting can alternatively - be set through the OCAML_COLOR environment variable. - -error-style {contextual|short} Control the way error messages and warnings are printed - The following settings are supported: - short only print the error and its location - contextual like "short", but also display the source code - snippet corresponding to the location of the error - The default setting is 'contextual'. - If the option is not specified, these setting can alternatively - be set through the OCAML_ERROR_STYLE environment variable. - -compact Optimize code size rather than speed - -config Print configuration values and exit - -config-var Print the value of a configuration variable, a newline, and exit - (print nothing and exit with error value if the variable does not exist) - -dtypes (deprecated) same as -annot - -for-pack <ident> Generate code that can later be `packed' with - ocamlopt -pack -o <ident>.cmx - -g Record debugging information for exception backtrace - -stop-after {parsing|typing} Stop after the given compilation pass. - -i Print inferred interface - -I <dir> Add <dir> to the list of include directories - -impl <file> Compile <file> as a .ml file - -inline <n>|<round>=<n>[,...] Aggressiveness of inlining (default 1.25, higher numbers mean more aggressive) - -inline-toplevel <n>|<round>=<n>[,...] Aggressiveness of inlining at toplevel (higher numbers mean more aggressive) - -inline-alloc-cost <n>|<round>=<n>[,...] The cost of not removing an allocation during inlining (default 7, higher numbers more costly) - -inline-branch-cost <n>|<round>=<n>[,...] The cost of not removing a conditional during inlining (default 5, higher numbers more costly) - -inline-call-cost <n>|<round>=<n>[,...] The cost of not removing a call during inlining (default 5, higher numbers more costly) - -inline-prim-cost <n>|<round>=<n>[,...] The cost of not removing a primitive during inlining (default 3, higher numbers more costly) - -inline-indirect-cost <n>|<round>=<n>[,...] The cost of not removing an indirect call during inlining (default 4, higher numbers more costly) - -inline-lifting-benefit <n>|<round>=<n>[,...] The benefit of lifting definitions to toplevel during inlining (default 1300, higher numbers more beneficial) - -inlining-report Emit `.<round>.inlining' file(s) (one per round) showing the inliner's decisions - -insn-sched Run the instruction scheduling pass (default) - -intf <file> Compile <file> as a .mli file - -intf-suffix <string> Suffix for interface files (default: .mli) - -keep-docs Keep documentation strings in .cmi files - -no-keep-docs Do not keep documentation strings in .cmi files (default) - -keep-locs Keep locations in .cmi files (default) - -no-keep-locs Do not keep locations in .cmi files - -labels Use commuting label mode - -linkall Link all modules, even unused ones - -inline-max-depth <n>|<round>=<n>[,...] Maximum depth of search for inlining opportunities inside inlined functions (default 1) - -alias-deps Do record dependencies for module aliases - -no-alias-deps Do not record dependencies for module aliases - -linscan Use the linear scan register allocator - -app-funct Activate applicative functors - -no-app-funct Deactivate applicative functors - -no-float-const-prop Deactivate constant propagation for floating-point operations - -noassert Do not compile assertion checks - -noautolink Do not automatically link C libraries specified in .cmxa files - -nodynlink Enable optimizations for code that will not be dynlinked - -no-insn-sched Do not run the instruction scheduling pass - -nolabels Ignore non-optional labels in types - -nostdlib Do not add default directory to the list of include directories - -nopervasives (undocumented) - -no-unbox-free-vars-of-closures Do not unbox variables that will appear inside function closures - -no-unbox-specialised-args Do not unbox arguments to which functions have been specialised - -o <file> Set output file name to <file> - -O2 Apply increased optimization for speed - -O3 Apply aggressive optimization for speed (may significantly increase code size and compilation time) - -opaque Does not generate cross-module optimization information - (reduces necessary recompilation on module change) - -open <module> Opens the module <module> before typing - -output-obj Output an object file instead of an executable - -output-complete-obj Output an object file, including runtime, instead of an executable - -p (no longer supported) - -pack Package the given .cmx files into one .cmx - -plugin <plugin> (no longer supported) - -pp <command> Pipe sources through preprocessor <command> - -ppx <command> Pipe abstract syntax trees through preprocessor <command> - -principal Check principality of type inference - -no-principal Do not check principality of type inference (default) - -rectypes Allow arbitrary recursive types - -no-rectypes Do not allow arbitrary recursive types (default) - -remove-unused-arguments Remove unused function arguments - -rounds <n> Repeat tree optimization and inlining phases this many times (default 1). Rounds are numbered starting from zero. - -runtime-variant <str> Use the <str> variant of the run-time system - -with-runtime Include the runtime system in the generated program (default) - -without-runtime Do not include the runtime system in the generated program. - -S Keep intermediate assembly file - -safe-string Make strings immutable (default) - -shared Produce a dynlinkable plugin - -short-paths Shorten paths in types - -strict-sequence Left-hand part of a sequence must have type unit - -no-strict-sequence Left-hand part of a sequence need not have type unit (default) - -strict-formats Reject invalid formats accepted by legacy implementations - (Warning: Invalid formats may behave differently from - previous OCaml versions, and will become always-rejected - in future OCaml versions. You should always use this flag - to detect invalid formats so you can fix them.) - -no-strict-formats Accept invalid formats accepted by legacy implementations (default) - (Warning: Invalid formats may behave differently from - previous OCaml versions, and will become always-rejected - in future OCaml versions. You should never use this flag - and instead fix invalid formats.) - -thread (deprecated) same as -I +threads - -unbox-closures Pass free variables via specialised arguments rather than closures - -unbox-closures-factor <n > 0> Scale the size threshold above which unbox-closures will slow down indirect calls rather than duplicating a function (default 10) - -inline-max-unroll <n>|<round>=<n>[,...] Unroll recursive functions at most this many times (default 0) - -unboxed-types unannotated unboxable types will be unboxed - -no-unboxed-types unannotated unboxable types will not be unboxed (default) - -unsafe Do not compile bounds checking on array and string access - -unsafe-string Make strings mutable - -v Print compiler version and location of standard library and exit - -verbose Print calls to external commands - -version Print version and exit - --version Print version and exit - -vnum Print version number and exit - -w <list> Enable or disable warnings according to <list>: - +<spec> enable warnings in <spec> - -<spec> disable warnings in <spec> - @<spec> enable warnings in <spec> and treat them as errors - <spec> can be: - <num> a single warning number - <num1>..<num2> a range of consecutive warning numbers - <letter> a predefined set - default setting is "+a-4-6-7-9-27-29-32..42-44-45-48-50-60-66" - -warn-error <list> Enable or disable error status for warnings according - to <list>. See option -w for the syntax of <list>. - Default setting is "-a+31" - -warn-help Show description of warning numbers - -where Print location of standard library and exit - - <file> Treat <file> as a file name (even if it starts with `-') - -match-context-rows <n> (advanced, see manual section 9.2.) - -dno-unique-ids (undocumented) - -dunique-ids (undocumented) - -dsource (undocumented) - -dparsetree (undocumented) - -dtypedtree (undocumented) - -drawlambda (undocumented) - -dlambda (undocumented) - -drawclambda (undocumented) - -dclambda (undocumented) - -dflambda Print Flambda terms - -drawflambda Print Flambda terms after closure conversion - -dflambda-invariants Check Flambda invariants around each pass - -dflambda-no-invariants Do not Check Flambda invariants around each pass - -dflambda-let <stamp> Print when the given Flambda [Let] is created - -dflambda-verbose Print Flambda terms including around each pass - -dcmm (undocumented) - -dsel (undocumented) - -dcombine (undocumented) - -dcse (undocumented) - -dlive (undocumented) - -davail Print register availability info when printing liveness - -drunavail Run register availability pass (for testing only; needs -g) - -dspill (undocumented) - -dsplit (undocumented) - -dinterf (undocumented) - -dprefer (undocumented) - -dalloc (undocumented) - -dreload (undocumented) - -dscheduling (undocumented) - -dlinear (undocumented) - -dinterval (undocumented) - -dstartup (undocumented) - -dtimings Print timings information for each pass - -dprofile Print performance information for each pass - The columns are: time alloc top-heap absolute-top-heap. - -dump-into-file dump output like -dlambda into <target>.dump - -dump-pass Record transformations performed by these passes: - unbox-closures unbox-specialised-args unbox-free-vars-of-closures - remove-free-vars-equal-to-args remove-unused-arguments unused-arguments - -args <file> Read additional newline-terminated command line arguments - from <file> - -args0 <file> Read additional null character terminated command line arguments - from <file> - -depend <options> Compute dependencies (use 'ocamlopt -depend -help' for details) - -help Display this list of options - --help Display this list of options - make: *** [Makefile.users:273: lib/util/config.cmx] Error 2 [ERROR] The compilation of alt-ergo.2.0.0 failed at "make". #=== ERROR while compiling alt-ergo.2.0.0 =====================================# # context 2.2.0~beta3~dev | linux/x86_64 | ocaml-base-compiler.4.09.1 | file:///home/opam/opam-repository # path ~/.opam/4.09/.opam-switch/build/alt-ergo.2.0.0 # command ~/.opam/opam-init/hooks/sandbox.sh build make # exit-code 2 # env-file ~/.opam/log/alt-ergo-8-482a7e.env # output-file ~/.opam/log/alt-ergo-8-482a7e.out ### output ### # autoconf # configure.in:315: warning: AC_OUTPUT should be used without arguments. # configure.in:315: You should run autoupdate. # ./configure # checking for ocp-ocamlc... no # checking for ocamlc... ocamlc # ocaml version is 4.09.1 # ocaml library path is /home/opam/.opam/4.09/lib/ocaml # checking for ocamlfind... yes # ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith # ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip # ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex # checking for ocp-ocamlopt... no # checking for ocamlopt... ocamlopt # checking ocamlopt version... ok # checking for ocp-ocamlc.opt... no # checking for ocamlc.opt... ocamlc.opt # checking ocamlc.opt version... ok # checking for ocp-ocamlopt.opt... no # checking for ocamlopt.opt... ocamlopt.opt # checking ocamlc.opt version... ok # checking for ocamldep... ocamldep # checking for ocamllex... ocamllex # checking for ocamllex.opt... ocamllex.opt # checking for menhir... menhir # ocamlfind: Package `lablgtk2.sourceview2' not found # checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no # Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* # checking for ocamlweb... true # checking platform... configure: creating ./config.status # config.status: creating Makefile.configurable # config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting # menhir -v parsers/why/why_parser.mly # ocamllex.opt parsers/why/why_lexer.mll > /dev/null # ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \ # tools/gui/*.ml* parsers/why/*.ml* plugins/common/*ml* plugins/satML/*ml* plugins/fm-simplex/*ml* > .depend # autoconf # configure.in:315: warning: AC_OUTPUT should be used without arguments. # configure.in:315: You should run autoupdate. # ./configure # checking for ocp-ocamlc... no # checking for ocamlc... ocamlc # ocaml version is 4.09.1 # ocaml library path is /home/opam/.opam/4.09/lib/ocaml # checking for ocamlfind... yes # ocamlfind found zarith in -I /home/opam/.opam/4.09/lib/zarith # ocamlfind found camlzip in -I /home/opam/.opam/4.09/lib/camlzip/../zip # ocamlfind found ocplib-simplex in -I /home/opam/.opam/4.09/lib/ocplib-simplex # checking for ocp-ocamlopt... no # checking for ocamlopt... ocamlopt # checking ocamlopt version... ok # checking for ocp-ocamlc.opt... no # checking for ocamlc.opt... ocamlc.opt # checking ocamlc.opt version... ok # checking for ocp-ocamlopt.opt... no # checking for ocamlopt.opt... ocamlopt.opt # checking ocamlc.opt version... ok # checking for ocamldep... ocamldep # checking for ocamllex... ocamllex # checking for ocamllex.opt... ocamllex.opt # checking for menhir... menhir # ocamlfind: Package `lablgtk2.sourceview2' not found # checking for /home/opam/.opam/4.09/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no # Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* # checking for ocamlweb... true # checking platform... configure: creating ./config.status # config.status: creating Makefile.configurable # config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting # ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 @NUMLIB@ -I /home/opam/.opam/4.09/lib/zarith -I /home/opam/.opam/4.09/lib/camlzip/../zip -I /home/opam/.opam/4.09/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/config.ml # don't know what to do with @NUMLIB@ # Usage: ocamlopt <options> <files> # Options are: # -fPIC Generate position-independent machine code (default) # -fno-PIC Generate position-dependent machine code # -a Build a library # -alert <list> Enable or disable alerts according to <list>: # +<alertname> enable alert <alertname> # -<alertname> disable alert <alertname> # ++<alertname> treat <alertname> as fatal error # --<alertname> treat <alertname> as non-fatal # @<alertname> enable <alertname> and treat it as fatal error # <alertname> can be 'all' to refer to all alert names # -absname Show absolute filenames in error messages # -afl-instrument Enable instrumentation for afl-fuzz # -afl-inst-ratio Configure percentage of branches instrumented # (advanced, see afl-fuzz docs for AFL_INST_RATIO) # -annot Save information in <filename>.annot # -bin-annot Save typedtree in <filename>.cmt # -inline-branch-factor <n>|<round>=<n>[,...] Estimate the probability of a branch being cold as 1/(1+n) (used for inlining) (default 0.10) # -c Compile only (do not link) # -cc <command> Use <command> as the C compiler and linker # -cclib <opt> Pass option <opt> to the C linker # -ccopt <opt> Pass option <opt> to the C compiler and linker # -clambda-checks Instrument clambda code with closure and field access checks (for debugging the compiler) # -Oclassic Make inlining decisions at function definition time rather than at the call site (replicates previous behaviour of the compiler) # -color {auto|always|never} Enable or disable colors in compiler messages # The following settings are supported: # auto use heuristics to enable colors only if supported # always enable colors # never disable colors # The default setting is 'auto', and the current heuristic # checks that the TERM environment variable exists and is # not empty or "dumb", and that isatty(stderr) holds. # If the option is not specified, these setting can alternatively # be set through the OCAML_COLOR environment variable. # -error-style {contextual|short} Control the way error messages and warnings are printed # The following settings are supported: # short only print the error and its location # contextual like "short", but also display the source code # snippet corresponding to the location of the error # The default setting is 'contextual'. # If the option is not specified, these setting can alternatively # be set through the OCAML_ERROR_STYLE environment variable. # -compact Optimize code size rather than speed # -config Print configuration values and exit # -config-var Print the value of a configuration variable, a newline, and exit # (print nothing and exit with error value if the variable does not exist) # -dtypes (deprecated) same as -annot # -for-pack <ident> Generate code that can later be `packed' with # ocamlopt -pack -o <ident>.cmx # -g Record debugging information for exception backtrace # -stop-after {parsing|typing} Stop after the given compilation pass. # -i Print inferred interface # -I <dir> Add <dir> to the list of include directories # -impl <file> Compile <file> as a .ml file # -inline <n>|<round>=<n>[,...] Aggressiveness of inlining (default 1.25, higher numbers mean more aggressive) # -inline-toplevel <n>|<round>=<n>[,...] Aggressiveness of inlining at toplevel (higher numbers mean more aggressive) # -inline-alloc-cost <n>|<round>=<n>[,...] The cost of not removing an allocation during inlining (default 7, higher numbers more costly) # -inline-branch-cost <n>|<round>=<n>[,...] The cost of not removing a conditional during inlining (default 5, higher numbers more costly) # -inline-call-cost <n>|<round>=<n>[,...] The cost of not removing a call during inlining (default 5, higher numbers more costly) # -inline-prim-cost <n>|<round>=<n>[,...] The cost of not removing a primitive during inlining (default 3, higher numbers more costly) # -inline-indirect-cost <n>|<round>=<n>[,...] The cost of not removing an indirect call during inlining (default 4, higher numbers more costly) # -inline-lifting-benefit <n>|<round>=<n>[,...] The benefit of lifting definitions to toplevel during inlining (default 1300, higher numbers more beneficial) # -inlining-report Emit `.<round>.inlining' file(s) (one per round) showing the inliner's decisions # -insn-sched Run the instruction scheduling pass (default) # -intf <file> Compile <file> as a .mli file # -intf-suffix <string> Suffix for interface files (default: .mli) # -keep-docs Keep documentation strings in .cmi files # -no-keep-docs Do not keep documentation strings in .cmi files (default) # -keep-locs Keep locations in .cmi files (default) # -no-keep-locs Do not keep locations in .cmi files # -labels Use commuting label mode # -linkall Link all modules, even unused ones # -inline-max-depth <n>|<round>=<n>[,...] Maximum depth of search for inlining opportunities inside inlined functions (default 1) # -alias-deps Do record dependencies for module aliases # -no-alias-deps Do not record dependencies for module aliases # -linscan Use the linear scan register allocator # -app-funct Activate applicative functors # -no-app-funct Deactivate applicative functors # -no-float-const-prop Deactivate constant propagation for floating-point operations # -noassert Do not compile assertion checks # -noautolink Do not automatically link C libraries specified in .cmxa files # -nodynlink Enable optimizations for code that will not be dynlinked # -no-insn-sched Do not run the instruction scheduling pass # -nolabels Ignore non-optional labels in types # -nostdlib Do not add default directory to the list of include directories # -nopervasives (undocumented) # -no-unbox-free-vars-of-closures Do not unbox variables that will appear inside function closures # -no-unbox-specialised-args Do not unbox arguments to which functions have been specialised # -o <file> Set output file name to <file> # -O2 Apply increased optimization for speed # -O3 Apply aggressive optimization for speed (may significantly increase code size and compilation time) # -opaque Does not generate cross-module optimization information # (reduces necessary recompilation on module change) # -open <module> Opens the module <module> before typing # -output-obj Output an object file instead of an executable # -output-complete-obj Output an object file, including runtime, instead of an executable # -p (no longer supported) # -pack Package the given .cmx files into one .cmx # -plugin <plugin> (no longer supported) # -pp <command> Pipe sources through preprocessor <command> # -ppx <command> Pipe abstract syntax trees through preprocessor <command> # -principal Check principality of type inference # -no-principal Do not check principality of type inference (default) # -rectypes Allow arbitrary recursive types # -no-rectypes Do not allow arbitrary recursive types (default) # -remove-unused-arguments Remove unused function arguments # -rounds <n> Repeat tree optimization and inlining phases this many times (default 1). Rounds are numbered starting from zero. # -runtime-variant <str> Use the <str> variant of the run-time system # -with-runtime Include the runtime system in the generated program (default) # -without-runtime Do not include the runtime system in the generated program. # -S Keep intermediate assembly file # -safe-string Make strings immutable (default) # -shared Produce a dynlinkable plugin # -short-paths Shorten paths in types # -strict-sequence Left-hand part of a sequence must have type unit # -no-strict-sequence Left-hand part of a sequence need not have type unit (default) # -strict-formats Reject invalid formats accepted by legacy implementations # (Warning: Invalid formats may behave differently from # previous OCaml versions, and will become always-rejected # in future OCaml versions. You should always use this flag # to detect invalid formats so you can fix them.) # -no-strict-formats Accept invalid formats accepted by legacy implementations (default) # (Warning: Invalid formats may behave differently from # previous OCaml versions, and will become always-rejected # in future OCaml versions. You should never use this flag # and instead fix invalid formats.) # -thread (deprecated) same as -I +threads # -unbox-closures Pass free variables via specialised arguments rather than closures # -unbox-closures-factor <n > 0> Scale the size threshold above which unbox-closures will slow down indirect calls rather than duplicating a function (default 10) # -inline-max-unroll <n>|<round>=<n>[,...] Unroll recursive functions at most this many times (default 0) # -unboxed-types unannotated unboxable types will be unboxed # -no-unboxed-types unannotated unboxable types will not be unboxed (default) # -unsafe Do not compile bounds checking on array and string access # -unsafe-string Make strings mutable # -v Print compiler version and location of standard library and exit # -verbose Print calls to external commands # -version Print version and exit # --version Print version and exit # -vnum Print version number and exit # -w <list> Enable or disable warnings according to <list>: # +<spec> enable warnings in <spec> # -<spec> disable warnings in <spec> # @<spec> enable warnings in <spec> and treat them as errors # <spec> can be: # <num> a single warning number # <num1>..<num2> a range of consecutive warning numbers # <letter> a predefined set # default setting is "+a-4-6-7-9-27-29-32..42-44-45-48-50-60-66" # -warn-error <list> Enable or disable error status for warnings according # to <list>. See option -w for the syntax of <list>. # Default setting is "-a+31" # -warn-help Show description of warning numbers # -where Print location of standard library and exit # - <file> Treat <file> as a file name (even if it starts with `-') # -match-context-rows <n> (advanced, see manual section 9.2.) # -dno-unique-ids (undocumented) # -dunique-ids (undocumented) # -dsource (undocumented) # -dparsetree (undocumented) # -dtypedtree (undocumented) # -drawlambda (undocumented) # -dlambda (undocumented) # -drawclambda (undocumented) # -dclambda (undocumented) # -dflambda Print Flambda terms # -drawflambda Print Flambda terms after closure conversion # -dflambda-invariants Check Flambda invariants around each pass # -dflambda-no-invariants Do not Check Flambda invariants around each pass # -dflambda-let <stamp> Print when the given Flambda [Let] is created # -dflambda-verbose Print Flambda terms including around each pass # -dcmm (undocumented) # -dsel (undocumented) # -dcombine (undocumented) # -dcse (undocumented) # -dlive (undocumented) # -davail Print register availability info when printing liveness # -drunavail Run register availability pass (for testing only; needs -g) # -dspill (undocumented) # -dsplit (undocumented) # -dinterf (undocumented) # -dprefer (undocumented) # -dalloc (undocumented) # -dreload (undocumented) # -dscheduling (undocumented) # -dlinear (undocumented) # -dinterval (undocumented) # -dstartup (undocumented) # -dtimings Print timings information for each pass # -dprofile Print performance information for each pass # The columns are: time alloc top-heap absolute-top-heap. # -dump-into-file dump output like -dlambda into <target>.dump # -dump-pass Record transformations performed by these passes: # unbox-closures unbox-specialised-args unbox-free-vars-of-closures # remove-free-vars-equal-to-args remove-unused-arguments unused-arguments # -args <file> Read additional newline-terminated command line arguments # from <file> # -args0 <file> Read additional null character terminated command line arguments # from <file> # -depend <options> Compute dependencies (use 'ocamlopt -depend -help' for details) # -help Display this list of options # --help Display this list of options # make: *** [Makefile.users:273: lib/util/config.cmx] Error 2 <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build alt-ergo 2.0.0 +- +- The following changes have been performed | - install camlzip 1.07 | - install conf-autoconf 0.2 | - install conf-gmp 4 | - install dune 3.15.3 | - install menhir 20211128 | - install menhirLib 20211128 | - install menhirSdk 20211128 | - install num 1.5 | - install ocamlfind 1.9.6 | - install ocplib-simplex 0.4.1 | - install zarith 1.13 +- # Run eval $(opam env) to update the current shell environment The former state can be restored with: /usr/bin/opam switch import "/home/opam/.opam/4.09/.opam-switch/backup/state-20240616151113.export" 'opam install -vy alt-ergo.2.0.0' failed. "/usr/bin/env" "bash" "-c" " opam remove -y "alt-ergo.2.0.0" opam install -vy "alt-ergo.2.0.0" res=$? if [ $res = 31 ]; then if opam show -f x-ci-accept-failures: "alt-ergo.2.0.0" | grep -q '"debian-unstable"'; then echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field." exit 69 fi fi exit $res " failed with exit status 31 Failed: Build failed