Building on c2-2.equinix.ci.dev (from ocaml/opam:debian-unstable) Unable to find image 'ocaml/opam:debian-unstable' locally debian-unstable: Pulling from ocaml/opam 384752546542: Pulling fs layer 384752546542: Verifying Checksum 384752546542: Download complete 384752546542: Pull complete Digest: sha256:fcf3121263c59a1f7716501e69921b634fac652b1c96757a18e40158f5625013 Status: Downloaded newer image for ocaml/opam:debian-unstable 2023-11-18 10:48.35 ---> 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")) 2023-11-18 10:48.35 ---> using "5a48029448e4c4dcb1058375cea3e3790f5832d398adedd7742173873baea387" 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 2dcd8684f95238ebe345f74fa6b964d42688f5b0")) 2023-11-18 10:48.35 ---> using "93424a44d975e7545eaad39b0269c041f3918f3ead58155b9be321cfcf49e489" 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. 2023-11-18 10:48.35 ---> using "3aa9808b91111e07a67b721a50741d0f576ab1703fe8a225c7c69c071742d827" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '5.1' '5.1.0'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "5.1.0"} | "ocaml-system" {= "5.1.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.5.1.0 (https://github.com/ocaml/ocaml/archive/5.1.0.tar.gz) -> installed ocaml-base-compiler.5.1.0 -> installed ocaml-config.3 -> installed ocaml.5.1.0 -> installed base-domains.base -> installed base-nnp.base Done. # Run eval $(opam env --switch=5.1) to update the current shell environment 2023-11-18 10:48.35 ---> using "327107908857ac32bd53348c3a6f57bcca4a68901a4dc78fdf8679d51e3b0520" 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-2023-11-17-1403.39-F-2023-11-17-0204.01.pdiff [30.7 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-11-17-1403.39-F-2023-11-17-0204.01.pdiff [30.7 kB] - Fetched 292 kB in 2s (146 kB/s) - Reading package lists... - 2023-11-18 10:48.35 ---> using "02d63749cd5b8c7d8e0c9dcbbef0297120b7f4bf9c57576ce6c5faefefd8f122" from cache /: (env OCAMLPARAM warn-error=+8,_) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"ott.0.33\"\ \nopam install -vy \"ott.0.33\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"ott.0.33\" | 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] ott.0.33 is not installed. Nothing to do. The following actions will be performed: === install 5 packages - install dune 3.11.1 [required by ocamlgraph] - install ocamlfind 1.9.6 [required by ott] - install ocamlgraph 2.1.0 [required by ott] - install ott 0.33 - install stdlib-shims 0.3.0 [required by ocamlgraph] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/15: Processing 2/15: Processing 3/15: -> retrieved ocamlfind.1.9.6 (cached) Processing 4/15: [ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch Processing 5/15: [ocamlfind: patch] -> retrieved ocamlgraph.2.1.0 (cached) Processing 6/15: [ocamlfind: patch] -> retrieved ott.0.33 (cached) Processing 6/15: [ocamlfind: ./configure] -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved dune.3.11.1 (cached) Processing 7/15: [dune: ocaml 47] [ocamlfind: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/5.1/bin" "-sitelib" "/home/opam/.opam/5.1/lib" "-mandir" "/home/opam/.opam/5.1/man" "-config" "/home/opam/.opam/5.1/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/5.1/.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... - Configuring libraries... - unix: found (in +unix) - dynlink: found (in +dynlink) - bigarray: not present (possible since 4.08) - 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: not present (normal since 4.12) - threads: found (in +threads) - str: found (in +str) - labltk: not present (normal since 4.02) - native dynlink: found - camlp4: disabled - bytes: found, installing fake library - 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/5.1/lib/ocaml - Binaries: /home/opam/.opam/5.1/bin - Manual pages: /home/opam/.opam/5.1/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/5.1/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/5.1/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/5.1/bin - Manual pages: /home/opam/.opam/5.1/man - topfind script: /home/opam/.opam/5.1/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 7/15: [dune: ocaml 47] [ocamlfind: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.1/.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/5.1/.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/5.1/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/5.1/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 - File "fl_package_base.ml", line 304, characters 22-40: - 304 | let pkg_ancestors = query_requirements predlist pkg in - ^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "fl_package_base.ml", line 350, characters 18-36: - 350 | let ancestors = query_requirements predlist package_name in - ^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "fl_package_base.ml", line 375, characters 23-41: - 375 | let pkg_ancestors = query_requirements predlist pkg in - ^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "fl_package_base.ml", line 510, characters 16-35: - 510 | ( let c = package_definitions search_path pkg.package_name in - ^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label search_path was omitted in the application of this function. - 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 - File "findlib.ml", line 390, characters 2-26: - 390 | Fl_package_base.requires predlist pkg - ^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "findlib.ml", line 396, characters 2-33: - 396 | Fl_package_base.requires_deeply predlist pkglist - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - 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 - File "frontend.ml", line 859, characters 10-39: - 859 | Fl_package_base.package_users predicates1 packages1 - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - 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 - File "topfind.ml", line 128, characters 40-63: - 128 | match Hashtbl.find Toploop.directive_table "ppx" with - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 258, characters 4-27: - 258 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 268, characters 4-27: - 268 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 280, characters 4-27: - 280 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 293, characters 4-27: - 293 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 307, characters 4-27: - 307 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 319, characters 4-27: - 319 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - 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/5.1/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/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - make all-config - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/5.1/lib' | \ - tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/5.1/lib/ocaml:/home/opam/.opam/5.1/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/5.1/.opam-switch/build/ocamlfind.1.9.6' Processing 7/15: [dune: ocaml 47] [ocamlfind: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/5.1/.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/5.1/.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 - File "fl_package_base.ml", line 304, characters 22-40: - 304 | let pkg_ancestors = query_requirements predlist pkg in - ^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "fl_package_base.ml", line 350, characters 18-36: - 350 | let ancestors = query_requirements predlist package_name in - ^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "fl_package_base.ml", line 375, characters 23-41: - 375 | let pkg_ancestors = query_requirements predlist pkg in - ^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "fl_package_base.ml", line 510, characters 16-35: - 510 | ( let c = package_definitions search_path pkg.package_name in - ^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label search_path was omitted in the application of this function. - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml - File "findlib.ml", line 390, characters 2-26: - 390 | Fl_package_base.requires predlist pkg - ^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - - File "findlib.ml", line 396, characters 2-33: - 396 | Fl_package_base.requires_deeply predlist pkglist - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - 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 - File "frontend.ml", line 859, characters 10-39: - 859 | Fl_package_base.package_users predicates1 packages1 - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label preds was omitted in the application of this function. - 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 "topfind.ml", line 128, characters 40-63: - 128 | match Hashtbl.find Toploop.directive_table "ppx" with - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 258, characters 4-27: - 258 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 268, characters 4-27: - 268 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 280, characters 4-27: - 280 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 293, characters 4-27: - 293 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 307, characters 4-27: - 307 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - - File "topfind.ml", line 319, characters 4-27: - 319 | Toploop.directive_table - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Toploop.directive_table - 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/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' -> compiled ocamlfind.1.9.6 Processing 7/15: [dune: ocaml 47] Processing 8/15: [dune: ocaml 47] [ocamlfind: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6) - if [ "0" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/5.1/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/5.1/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/5.1/bin" - install -d "/home/opam/.opam/5.1/man" - make install-config - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - install -d "`dirname \"/home/opam/.opam/5.1/lib/findlib.conf\"`" - test -f "/home/opam/.opam/5.1/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/5.1/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/5.1/.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/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - install -d "/home/opam/.opam/5.1/lib/findlib" - install -d "/home/opam/.opam/5.1/bin" - test 1 -eq 0 || install -d "/home/opam/.opam/5.1/lib/ocaml" - test 1 -eq 0 || install -c topfind "/home/opam/.opam/5.1/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/5.1/lib/findlib/" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - install -c $f "/home/opam/.opam/5.1/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/5.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/5.1/lib/ocaml/compiler-libs/"; \ - install -c topdirs.cmi toploop.cmi "/home/opam/.opam/5.1/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib' - make install-meta - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - for x in bytes ; do install -d "/home/opam/.opam/5.1/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/5.1/lib/$x/META.tmp" && mv "/home/opam/.opam/5.1/lib/$x/META.tmp" "/home/opam/.opam/5.1/lib/$x/META"; done - install -d "/home/opam/.opam/5.1/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/5.1/lib/findlib/Makefile.packages" - make[1]: Leaving directory '/home/opam/.opam/5.1/.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/5.1/bin" - make install-doc - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' - install -d "/home/opam/.opam/5.1/man/man1" "/home/opam/.opam/5.1/man/man3" "/home/opam/.opam/5.1/man/man5" - install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/5.1/man/man1" - install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/5.1/man/man5" - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ocamlfind.1.9.6' -> installed ocamlfind.1.9.6 Processing 8/15: [dune: ocaml 47] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "47" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune.3.11.1) - ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot -I +unix unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 47 - Processing 8/15: [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" "47" (CWD=/home/opam/.opam/5.1/.opam-switch/build/dune.3.11.1) -> compiled dune.3.11.1 -> installed dune.3.11.1 Processing 10/15: [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "stdlib-shims" "-j" "47" (CWD=/home/opam/.opam/5.1/.opam-switch/build/stdlib-shims.0.3.0) -> compiled stdlib-shims.0.3.0 -> installed stdlib-shims.0.3.0 Processing 12/15: [ocamlgraph: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocamlgraph" "-j" "47" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ocamlgraph.2.1.0) -> compiled ocamlgraph.2.1.0 -> installed ocamlgraph.2.1.0 Processing 14/15: [ott: make world] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "world" (CWD=/home/opam/.opam/5.1/.opam-switch/build/ott.0.33) - cd src; make install - make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' - ocamllex grammar_lexer.mll - 374 states, 16439 transitions, table size 68000 bytes - 3397 additional bytes used for bindings - ocamlyacc -v grammar_parser.mly - 2 rules never reduced - ocamldep location.ml types.ml auxl.ml merge.ml global_option.ml grammar_lexer.ml grammar_parser.mli grammar_parser.ml version.ml grammar_pp.ml parse_table.ml glr.ml new_term_parser.ml term_parser.ml dependency.ml bounds.ml context_pp.ml quotient_rules.ml grammar_typecheck.ml transform.ml substs_pp.ml subrules_pp.ml embed_pp.ml defns.ml ln_transform.ml coq_induct.ml system_pp.ml lex_menhir_pp.ml align.ml main.ml align.mli bounds.mli coq_induct.mli defns.mli dependency.mli embed_pp.mli grammar_typecheck.mli merge.mli subrules_pp.mli substs_pp.mli system_pp.mli lex_menhir_pp.mli transform.mli term_parser.mli > .depend - mkdir ../bin - make opt - make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c location.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c types.ml - ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c auxl.ml - File "auxl.ml", lines 405-412, characters 7-19: - 405 | .......( match hse with - 406 | | Hom_index _ | Hom_terminal _ -> [] - 407 | | Hom_string s -> - 408 | let strs = Str.split (Str.regexp "[ \t]+") s in - 409 | let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in - 410 | if promote - 411 | then List.map (promote_ntr xd) ntrs_hom - 412 | else ntrs_hom ). - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - - File "auxl.ml", lines 467-471, characters 7-59: - 467 | .......( match hse with - 468 | | Hom_index _ | Hom_terminal _ -> [] - 469 | | Hom_string s -> - 470 | let strs = Str.split (Str.regexp "[ \t]+") s in - 471 | List.filter (fun st -> List.mem st defined_mvrs) strs ). - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - - File "auxl.ml", lines 1839-1854, characters 4-42: - 1839 | ....( match stre with - 1840 | | Struct_md mvr -> "metavar def: "^mvr - 1841 | | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs) - 1842 | | Struct_srs xs -> "subrule def: "^ - 1843 | (String.concat " " - ... - 1851 | | Struct_axs xs -> "aux def: "^ - 1852 | (String.concat " " xs) - 1853 | | Struct_fun_or_defnclass s -> "fundefn_class def: "^s - 1854 | | Struct_embed (_,h,_) -> "embed: "^h) - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Struct_crs _ - make[2]: *** [Makefile:208: auxl.cmx] Error 2 - make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' - make[1]: *** [Makefile:229: install] Error 2 - make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' - make: *** [Makefile:37: world] Error 2 [ERROR] The compilation of ott.0.33 failed at "make world". #=== ERROR while compiling ott.0.33 ===========================================# # context 2.2.0~alpha3 | linux/x86_64 | ocaml-base-compiler.5.1.0 | file:///home/opam/opam-repository # path ~/.opam/5.1/.opam-switch/build/ott.0.33 # command ~/.opam/opam-init/hooks/sandbox.sh build make world # exit-code 2 # env-file ~/.opam/log/ott-8-6ccb46.env # output-file ~/.opam/log/ott-8-6ccb46.out ### output ### # cd src; make install # make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' # ocamllex grammar_lexer.mll # 374 states, 16439 transitions, table size 68000 bytes # 3397 additional bytes used for bindings # ocamlyacc -v grammar_parser.mly # 2 rules never reduced # ocamldep location.ml types.ml auxl.ml merge.ml global_option.ml grammar_lexer.ml grammar_parser.mli grammar_parser.ml version.ml grammar_pp.ml parse_table.ml glr.ml new_term_parser.ml term_parser.ml dependency.ml bounds.ml context_pp.ml quotient_rules.ml grammar_typecheck.ml transform.ml substs_pp.ml subrules_pp.ml embed_pp.ml defns.ml ln_transform.ml coq_induct.ml system_pp.ml lex_menhir_pp.ml align.ml main.ml align.mli bounds.mli coq_induct.mli defns.mli dependency.mli embed_pp.mli grammar_typecheck.mli merge.mli subrules_pp.mli substs_pp.mli system_pp.mli lex_menhir_pp.mli transform.mli term_parser.mli > .depend # mkdir ../bin # make opt # make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' # ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c location.ml # ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c types.ml # ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c auxl.ml # File "auxl.ml", lines 405-412, characters 7-19: # 405 | .......( match hse with # 406 | | Hom_index _ | Hom_terminal _ -> [] # 407 | | Hom_string s -> # 408 | let strs = Str.split (Str.regexp "[ \t]+") s in # 409 | let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in # 410 | if promote # 411 | then List.map (promote_ntr xd) ntrs_hom # 412 | else ntrs_hom ). # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Hom_ln_free_index (_, _) # # File "auxl.ml", lines 467-471, characters 7-59: # 467 | .......( match hse with # 468 | | Hom_index _ | Hom_terminal _ -> [] # 469 | | Hom_string s -> # 470 | let strs = Str.split (Str.regexp "[ \t]+") s in # 471 | List.filter (fun st -> List.mem st defined_mvrs) strs ). # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Hom_ln_free_index (_, _) # # File "auxl.ml", lines 1839-1854, characters 4-42: # 1839 | ....( match stre with # 1840 | | Struct_md mvr -> "metavar def: "^mvr # 1841 | | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs) # 1842 | | Struct_srs xs -> "subrule def: "^ # 1843 | (String.concat " " # ... # 1851 | | Struct_axs xs -> "aux def: "^ # 1852 | (String.concat " " xs) # 1853 | | Struct_fun_or_defnclass s -> "fundefn_class def: "^s # 1854 | | Struct_embed (_,h,_) -> "embed: "^h) # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Struct_crs _ # make[2]: *** [Makefile:208: auxl.cmx] Error 2 # make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' # make[1]: *** [Makefile:229: install] Error 2 # make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/ott.0.33/src' # make: *** [Makefile:37: world] Error 2 <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build ott 0.33 +- +- The following changes have been performed | - install dune 3.11.1 | - install ocamlfind 1.9.6 | - install ocamlgraph 2.1.0 | - install stdlib-shims 0.3.0 +- # 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/5.1/.opam-switch/backup/state-20231118104841.export" 'opam install -vy ott.0.33' failed. "/bin/bash" "-c" " opam remove -y "ott.0.33" opam install -vy "ott.0.33" res=$? if [ $res = 31 ]; then if opam show -f x-ci-accept-failures: "ott.0.33" | 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