Building on pima.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:5714458c85c13f9aeab00462cf20f7fdc245c8370924567a78744c6dfdc485bb)
2023-03-24 23:15.22 ---> using "8ace1e5350c8619f463b24b1224478189da2a5c75beeb46053c02abd7f01b68e" 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-03-24 23:15.22 ---> using "0c546c8af148012ffd50e6795448e3ff4abfb759afa8ad2b2f6355e7eb796205" 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 064e616f608f76e77b004fb4a121b03b94c44da7"))
2023-03-24 23:15.22 ---> using "b6529de171a11924ec8bcb356f87ad2f051fcd2a42f9b3339be5e782da25e223" 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-03-24 23:15.22 ---> using "f575b7d630eea9291b2106a851154eb5b545c07336a0802280a13bc1fa7ee37c" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.13' --packages ocaml-base-compiler.4.13.1"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.13.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.13.1 (cached)
-> installed ocaml-base-compiler.4.13.1
-> installed ocaml-config.2
-> installed ocaml.4.13.1
Done.
# Run eval $(opam env --switch=4.13) to update the current shell environment
2023-03-24 23:15.22 ---> using "6af81ede6adbf62d400763461fc886bba51dcbab74f12f3125fa61dbb28742b0" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [180 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [9432 kB]
- Fetched 9676 kB in 2s (3974 kB/s)
- Reading package lists...
-
2023-03-24 23:15.22 ---> using "df336fa15ac8be5af6449a828dc3496a3e0c9e4a12dfc75a16f7b6535076b21c" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"elpi.1.16.1\"\
\nopam install -vy \"elpi.1.16.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"elpi.1.16.1\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
Nothing to do.
[NOTE] elpi.1.16.1 is not installed.
The following actions will be performed:
=== install 25 packages
- install atd 2.9.1 [required by atdgen, atdts]
- install atdgen 2.9.1 [required by elpi]
- install atdgen-runtime 2.9.1 [required by atdgen]
- install atdts 2.9.1 [required by elpi]
- install biniou 1.2.2 [required by atdgen]
- install camlp-streams 5.0.1 [required by atdgen-runtime]
- install cmdliner 1.1.1 [required by atdts]
- install cppo 1.6.9 [required by ppx_deriving]
- install dune 3.7.0 [required by elpi]
- install easy-format 1.3.4 [required by atd]
- install elpi 1.16.1
- install menhir 20220210 [required by elpi]
- install menhirLib 20220210 [required by menhir]
- install menhirSdk 20220210 [required by menhir]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlfind 1.9.6 [required by ppx_deriving]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 5.2.1 [required by elpi]
- install ppxlib 0.29.1 [required by elpi]
- install re 1.10.4 [required by elpi]
- install result 1.5 [required by ppx_deriving]
- install seq base [required by re]
- install sexplib0 v0.15.1 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by elpi]
- install yojson 1.7.0 [required by atdgen]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/70:
Processing 2/70:
Processing 3/70:
-> retrieved camlp-streams.5.0.1 (cached)
Processing 4/70:
-> retrieved biniou.1.2.2 (cached)
Processing 5/70:
-> retrieved cmdliner.1.1.1 (cached)
Processing 6/70:
Processing 7/70: [cmdliner: make all]
-> retrieved cppo.1.6.9 (cached)
Processing 8/70: [cmdliner: make all]
-> retrieved easy-format.1.3.4 (cached)
Processing 9/70: [cmdliner: make all]
-> retrieved atd.2.9.1, atdgen.2.9.1, atdgen-runtime.2.9.1, atdts.2.9.1 (cached)
Processing 10/70: [cmdliner: make all]
-> retrieved dune.3.7.0 (cached)
Processing 11/70: [cmdliner: make all]
Processing 12/70: [cmdliner: make all] [dune: ocaml 127]
-> retrieved elpi.1.16.1 (cached)
Processing 13/70: [cmdliner: make all] [dune: ocaml 127]
-> retrieved menhir.20220210, menhirLib.20220210, menhirSdk.20220210 (cached)
Processing 14/70: [cmdliner: make all] [dune: ocaml 127]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 15/70: [cmdliner: make all] [dune: ocaml 127]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 16/70: [cmdliner: make all] [dune: ocaml 127]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 17/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: patch]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 18/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: patch]
-> retrieved ppx_deriving.5.2.1 (cached)
Processing 19/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: patch]
Processing 19/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: ./configure]
-> retrieved re.1.10.4 (cached)
Processing 20/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: ./configure]
Processing 21/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: ./configure]
Processing 22/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: ./configure]
-> installed seq.base
Processing 23/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: ./configure]
-> retrieved result.1.5 (cached)
Processing 24/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: ./configure]
-> retrieved ppxlib.0.29.1 (cached)
Processing 25/70: [cmdliner: make all] [dune: ocaml 127] [ocamlfind: ./configure]
-> retrieved sexplib0.v0.15.1 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved yojson.1.7.0 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" "PREFIX=/home/opam/.opam/4.13" (CWD=/home/opam/.opam/4.13/.opam-switch/build/cmdliner.1.1.1)
- ocaml build.ml cma
- ocaml build.ml cmxa
- ocaml build.ml cmxs
-> compiled cmdliner.1.1.1
Processing 25/70: [dune: ocaml 127] [ocamlfind: ./configure]
Processing 26/70: [dune: ocaml 127] [ocamlfind: ./configure] [cmdliner: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.13/bin" "-sitelib" "/home/opam/.opam/4.13/lib" "-mandir" "/home/opam/.opam/4.13/man" "-config" "/home/opam/.opam/4.13/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.13/.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: not present (normal since 4.12)
- 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 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.13/lib/ocaml
- Binaries: /home/opam/.opam/4.13/bin
- Manual pages: /home/opam/.opam/4.13/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.13/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.13/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.13/bin
- Manual pages: /home/opam/.opam/4.13/man
- topfind script: /home/opam/.opam/4.13/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 26/70: [dune: ocaml 127] [ocamlfind: make all] [cmdliner: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "LIBDIR=/home/opam/.opam/4.13/lib/cmdliner" "DOCDIR=/home/opam/.opam/4.13/doc/cmdliner" (CWD=/home/opam/.opam/4.13/.opam-switch/build/cmdliner.1.1.1)
- install -d /home/opam/.opam/4.13/lib/cmdliner
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti /home/opam/.opam/4.13/lib/cmdliner
- install cmdliner.opam /home/opam/.opam/4.13/lib/cmdliner/opam
- install _build/cmdliner.cma /home/opam/.opam/4.13/lib/cmdliner
- install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \
- /home/opam/.opam/4.13/lib/cmdliner
- install _build/cmdliner.cmxs /home/opam/.opam/4.13/lib/cmdliner
Processing 26/70: [dune: ocaml 127] [ocamlfind: make all] [cmdliner: make install-doc]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-doc" "LIBDIR=/home/opam/.opam/4.13/lib/cmdliner" "DOCDIR=/home/opam/.opam/4.13/doc/cmdliner" (CWD=/home/opam/.opam/4.13/.opam-switch/build/cmdliner.1.1.1)
- install -d /home/opam/.opam/4.13/doc/cmdliner/odoc-pages
- install CHANGES.md LICENSE.md README.md /home/opam/.opam/4.13/doc/cmdliner
- install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
- doc/tool_man.mld /home/opam/.opam/4.13/doc/cmdliner/odoc-pages
-> installed cmdliner.1.1.1
Processing 26/70: [dune: ocaml 127] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.13/.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.13/.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.13/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.13/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/4.13/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.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.13/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.13/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.13/.opam-switch/build/ocamlfind.1.9.6'
Processing 26/70: [dune: ocaml 127] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.13/.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.13/.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
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -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.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 26/70: [dune: ocaml 127]
Processing 27/70: [dune: ocaml 127] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.13/.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.13/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.13/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.13/bin"
- install -d "/home/opam/.opam/4.13/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.13/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.13/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.13/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.13/.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.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.13/lib/findlib"
- install -d "/home/opam/.opam/4.13/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.13/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.13/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.13/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.13/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.13/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.13/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.13/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.13/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.13/lib/$x/META.tmp" && mv "/home/opam/.opam/4.13/lib/$x/META.tmp" "/home/opam/.opam/4.13/lib/$x/META"; done
- install -d "/home/opam/.opam/4.13/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.13/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.13/.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.13/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.13/man/man1" "/home/opam/.opam/4.13/man/man3" "/home/opam/.opam/4.13/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.13/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.13/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 27/70: [dune: ocaml 127]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.7.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 127
-
Processing 27/70: [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" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.7.0)
-> compiled dune.3.7.0
-> installed dune.3.7.0
Processing 29/70: [camlp-streams: dune build]
Processing 30/70: [camlp-streams: dune build] [cppo: dune build]
Processing 31/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build]
Processing 32/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build]
Processing 33/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 34/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build]
Processing 35/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 36/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build]
Processing 37/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build]
Processing 38/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build]
Processing 39/70: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "easy-format" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/easy-format.1.3.4)
-> compiled easy-format.1.3.4
Processing 39/70: [camlp-streams: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed easy-format.1.3.4
Processing 40/70: [camlp-streams: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "camlp-streams" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/camlp-streams.5.0.1)
-> compiled camlp-streams.5.0.1
Processing 40/70: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed camlp-streams.5.0.1
Processing 41/70: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
Processing 42/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppx_derivers" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ppx_derivers.1.2.1)
-> compiled ppx_derivers.1.2.1
Processing 42/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed ppx_derivers.1.2.1
Processing 43/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "stdlib-shims" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/stdlib-shims.0.3.0)
-> compiled stdlib-shims.0.3.0
Processing 43/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build]
-> installed stdlib-shims.0.3.0
Processing 44/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "result" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/result.1.5)
-> compiled result.1.5
Processing 44/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build]
-> installed result.1.5
Processing 45/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/menhirSdk.20220210)
-> compiled menhirSdk.20220210
Processing 45/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build]
-> installed menhirSdk.20220210
Processing 46/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sexplib0" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/sexplib0.v0.15.1)
-> compiled sexplib0.v0.15.1
Processing 46/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [re: dune build]
-> installed sexplib0.v0.15.1
Processing 47/70: [biniou: dune build] [cppo: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [re: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/menhirLib.20220210)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20220210
Processing 47/70: [biniou: dune build] [cppo: dune build] [ocaml-compiler-libs: dune build] [re: dune build]
-> installed menhirLib.20220210
Processing 48/70: [biniou: dune build] [cppo: dune build] [ocaml-compiler-libs: dune build] [re: dune build]
Processing 49/70: [biniou: dune build] [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [re: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "biniou" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/biniou.1.2.2)
-> compiled biniou.1.2.2
Processing 49/70: [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [re: dune build]
-> installed biniou.1.2.2
Processing 50/70: [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [re: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "re" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/re.1.10.4)
-> compiled re.1.10.4
Processing 50/70: [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build]
-> installed re.1.10.4
Processing 51/70: [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/cppo.1.6.9)
-> compiled cppo.1.6.9
Processing 51/70: [menhir: dune build] [ocaml-compiler-libs: dune build]
-> installed cppo.1.6.9
Processing 52/70: [menhir: dune build] [ocaml-compiler-libs: dune build]
Processing 53/70: [menhir: dune build] [ocaml-compiler-libs: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocaml-compiler-libs" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ocaml-compiler-libs.v0.12.4)
-> compiled ocaml-compiler-libs.v0.12.4
Processing 53/70: [menhir: dune build] [yojson: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 54/70: [menhir: dune build] [yojson: dune build]
Processing 55/70: [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "yojson" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/yojson.1.7.0)
-> compiled yojson.1.7.0
Processing 55/70: [menhir: dune build] [ppxlib: dune build]
-> installed yojson.1.7.0
Processing 56/70: [menhir: dune build] [ppxlib: dune build]
Processing 57/70: [atdgen-runtime: dune build] [menhir: dune build] [ppxlib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "atdgen-runtime" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/atdgen-runtime.2.9.1)
-> compiled atdgen-runtime.2.9.1
Processing 57/70: [menhir: dune build] [ppxlib: dune build]
-> installed atdgen-runtime.2.9.1
Processing 58/70: [menhir: dune build] [ppxlib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/menhir.20220210)
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 41 out of 96 symbols keep track of their end position.
- 264 specialized copies of 64 functions have been created.
- The StackLang code contains 5161 instructions in 241 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20220210
Processing 58/70: [ppxlib: dune build]
-> installed menhir.20220210
Processing 59/70: [ppxlib: dune build]
Processing 60/70: [atd: dune build] [ppxlib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppxlib" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ppxlib.0.29.1)
-> compiled ppxlib.0.29.1
Processing 60/70: [atd: dune build]
-> installed ppxlib.0.29.1
Processing 61/70: [atd: dune build]
Processing 62/70: [atd: dune build] [ppx_deriving: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "atd" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/atd.2.9.1)
-> compiled atd.2.9.1
Processing 62/70: [ppx_deriving: dune build]
-> installed atd.2.9.1
Processing 63/70: [ppx_deriving: dune build]
Processing 64/70: [atdgen: dune build] [ppx_deriving: dune build]
Processing 65/70: [atdgen: dune build] [atdts: dune build] [ppx_deriving: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "atdts" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/atdts.2.9.1)
-> compiled atdts.2.9.1
Processing 65/70: [atdgen: dune build] [ppx_deriving: dune build]
-> installed atdts.2.9.1
Processing 66/70: [atdgen: dune build] [ppx_deriving: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "atdgen" "-j" "127" "@install" (CWD=/home/opam/.opam/4.13/.opam-switch/build/atdgen.2.9.1)
-> compiled atdgen.2.9.1
Processing 66/70: [ppx_deriving: dune build]
-> installed atdgen.2.9.1
Processing 67/70: [ppx_deriving: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppx_deriving" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ppx_deriving.5.2.1)
-> compiled ppx_deriving.5.2.1
-> installed ppx_deriving.5.2.1
Processing 69/70: [elpi: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "build" "DUNE_OPTS=-p elpi -j 127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/elpi.1.16.1)
- dune build -p elpi -j 127 @all
- (cd _build/default/src/parser && /home/opam/.opam/4.13/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml
- Read 319 sample input sentences and 40 error messages.
- (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/menhirLib -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/result -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmo -c -impl src/API.pp.ml)
- File "src/API.ml", line 427, characters 8-18:
- 427 | Pp.uppterm d [] d ED.empty_env fmt t);
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 485, characters 8-18:
- 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1022, characters 4-14:
- 1022 | Pp.uppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1033, characters 7-16:
- 1033 | Pp.ppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/menhirLib -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/result -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime_trace_off.cmo -c -impl src/runtime_trace_off.pp.ml)
- File "src/runtime_trace_off.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3581, characters 21-32:
- 3581 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3586, characters 21-32:
- 3586 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3627, characters 12-18:
- 3627 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.13/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/menhirLib -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/result -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime.cmo -c -impl src/runtime.pp.ml)
- File "src/runtime.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 3581, characters 21-32:
- 3581 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3586, characters 21-32:
- 3586 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3627, characters 12-18:
- 3627 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/menhirLib -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/result -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime_trace_off.cmx -c -impl src/runtime_trace_off.pp.ml)
- File "src/runtime_trace_off.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3581, characters 21-32:
- 3581 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3586, characters 21-32:
- 3586 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3627, characters 12-18:
- 3627 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/menhirLib -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/result -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime.cmx -c -impl src/runtime.pp.ml)
- File "src/runtime.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 3581, characters 21-32:
- 3581 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3586, characters 21-32:
- 3586 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3627, characters 12-18:
- 3627 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.13/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.13/lib/menhirLib -I /home/opam/.opam/4.13/lib/ppx_deriving/runtime -I /home/opam/.opam/4.13/lib/re -I /home/opam/.opam/4.13/lib/re/str -I /home/opam/.opam/4.13/lib/result -I /home/opam/.opam/4.13/lib/seq -I /home/opam/.opam/4.13/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__API.cmx -c -impl src/API.pp.ml)
- File "src/API.ml", line 427, characters 8-18:
- 427 | Pp.uppterm d [] d ED.empty_env fmt t);
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 485, characters 8-18:
- 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1022, characters 4-14:
- 1022 | Pp.uppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1033, characters 7-16:
- 1033 | Pp.ppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
-> compiled elpi.1.16.1
-> installed elpi.1.16.1
Done.
# Run eval $(opam env) to update the current shell environment
2023-03-24 23:17.52 ---> saved as "afe1c800ecc07ac74b41f771189fdbd26398559682311b71927d2d1a96f68de0"
Job succeeded
Home|Differences with the last checks|Previous runs