Building on x86-bm-c19.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:fc4a1db9bca3b44e988887700974d69f848529f31aed5bce3d9808f8cf771239
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-06-09 08:07.34 ---> 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-09 08:07.34 ---> 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 f4fe6a19e8ca89de0028a1ab90cb61ecdab7084b"))
2024-06-09 08:07.34 ---> using "307bb6974cfcb6190f28f6f7d49d40b196c2bfe8efe0033ec2dcae030ffa6019" 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-09 08:07.34 ---> using "e61767b92e01fc91060002a915012365bb54961334fb628e2e2bfb162cd99d7e" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.13' '4.13.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.13.1"} | "ocaml-system" {= "4.13.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> 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
2024-06-09 08:07.34 ---> using "f8fef01b0b5cb763b69170df535663ba417de68553fcedbc2e844af95bb94b81" 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-08-0814.31-F-2024-06-04-0804.54.pdiff [309 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-06-08-0814.31-F-2024-06-04-0804.54.pdiff [309 kB]
- Fetched 571 kB in 3s (172 kB/s)
- Reading package lists...
-
2024-06-09 08:07.34 ---> using "462818f2b9cf749c4ac6c62cbede5cd5100996446692cc991e47f6af858855f0" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"herdtools7.7.55\"\
\nopam install -vy \"herdtools7.7.55\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"herdtools7.7.55\" | 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] herdtools7.7.55 is not installed.
Nothing to do.
The following actions will be performed:
=== install 7 packages
- install dune 3.15.3 [required by herdtools7]
- install herdtools7 7.55
- install menhir 20231231 [required by herdtools7]
- install menhirCST 20231231 [required by menhir]
- install menhirLib 20231231 [required by menhir]
- install menhirSdk 20231231 [required by menhir]
- install ocamlfind 1.9.6 [required by herdtools7]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/18:
Processing 2/18:
Processing 3/18:
-> retrieved herdtools7.7.55 (cached)
Processing 4/18:
-> retrieved menhir.20231231, menhirCST.20231231, menhirLib.20231231, menhirSdk.20231231 (cached)
-> retrieved dune.3.15.3 (cached)
Processing 5/18: [dune: ocaml 31]
-> retrieved ocamlfind.1.9.6 (cached)
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 6/18: [dune: ocaml 31] [ocamlfind: patch]
Processing 6/18: [dune: ocaml 31] [ocamlfind: ./configure]
+ /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 6/18: [dune: ocaml 31] [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 6/18: [dune: ocaml 31] [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 6/18: [dune: ocaml 31]
Processing 7/18: [dune: ocaml 31] [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 7/18: [dune: ocaml 31]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.15.3)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
- cd _boot && /home/opam/.opam/4.13/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 [partial-match]: 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 [partial-match]: 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 [partial-match]: 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.13/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 [partial-match]: 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.13/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 [partial-match]: 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.13/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 [partial-match]: 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 [partial-match]: 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 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_, Checksum_mismatch _)
-
Processing 7/18: [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" "31" (CWD=/home/opam/.opam/4.13/.opam-switch/build/dune.3.15.3)
-> compiled dune.3.15.3
-> installed dune.3.15.3
Processing 9/18: [menhirCST: dune build]
Processing 10/18: [menhirCST: dune build] [menhirLib: dune build]
Processing 11/18: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirCST" "-j" "31" (CWD=/home/opam/.opam/4.13/.opam-switch/build/menhirCST.20231231)
-> compiled menhirCST.20231231
Processing 11/18: [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirCST.20231231
Processing 12/18: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "31" (CWD=/home/opam/.opam/4.13/.opam-switch/build/menhirSdk.20231231)
-> compiled menhirSdk.20231231
Processing 12/18: [menhirLib: dune build]
-> installed menhirSdk.20231231
Processing 13/18: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "31" (CWD=/home/opam/.opam/4.13/.opam-switch/build/menhirLib.20231231)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20231231
-> installed menhirLib.20231231
Processing 15/18: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "31" (CWD=/home/opam/.opam/4.13/.opam-switch/build/menhir.20231231)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (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 99 sample input sentences and 99 error messages.
- Read 99 sample input sentences and 47 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 199 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 308 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 50 states.
- Priority played a role in 0 of these states.
- 156 out of 308 states have a default reduction.
- 108 out of 308 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 39 out of 96 symbols keep track of their end position.
- The StackLang code contains 4113 instructions in 277 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 99 sample input sentences and 47 error messages.
-> compiled menhir.20231231
-> installed menhir.20231231
Processing 17/18: [herdtools7: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "./dune-build.sh" "/home/opam/.opam/4.13" (CWD=/home/opam/.opam/4.13/.opam-switch/build/herdtools7.7.55)
- File "dune-project", line 3, characters 14-17:
- 3 | (using menhir 2.0)
- ^^^
- Warning: Version 2.0 of the menhir extension is not supported until version
- 1.4 of the dune language.
- Supported versions of this extension in version 1.2 of the dune language:
- - 1.0
- File "lib/check402.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/myMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/echo.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/warn.mli", line 21, characters 22-23:
- 21 | module Make : functor(O:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/tar.mli", line 46, characters 12-13:
- 46 | module Make(O:Option) : S
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/Archs.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/lexUtils.mli", line 31, characters 23-24:
- 31 | module Make : functor (O:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/location.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/lexRename.mli", line 25, characters 22-23:
- 25 | module Make : functor(O:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/checkName.mli", line 28, characters 4-5:
- 28 | (I:sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter I.
- File "lib/myLib.mli", line 28, characters 11-12:
- 28 | functor (C:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "lib/scopeLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/parseModel.mli", line 24, characters 23-24:
- 24 | module Make : functor (O:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/splitter.mli", line 58, characters 23-24:
- 58 | module Make : functor (O:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/parsedConstant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int64Constant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int32Constant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/outTar.mli", line 20, characters 23-24:
- 20 | module Make : functor (O:Tar.Option) -> OutTests.S
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/pseudo.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/MIPSBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/ARMBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/X86_64Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int64Value.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int32Value.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/X86Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/CBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellCheck.mli", line 20, characters 9-10:
- 20 | functor (O:sig val debug : bool val compat :bool end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/BellCheck.mli", line 23, characters 9-10:
- 23 | (C:sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "lib/genParser.mli", line 64, characters 5-6:
- 64 | (C:Config)
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "lib/genParser.mli", line 66, characters 5-6:
- 66 | (L:LexParse with type instruction = A.parsedPseudo) :
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter L.
- File "lib/PPCBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/simpleDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/RISCVBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/interpreter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/AArch64Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/modelLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/stateLexer.mli", line 19, characters 23-24:
- 19 | module Make : functor (O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/BellInterpreter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/readBell.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/CGenParser_lib.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/X86Lexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/BellLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/ARMLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/MIPSLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/X86_64Lexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/RISCVLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/CLexer.mli", line 17, characters 22-23:
- 17 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/PPCLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/AArch64Lexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "jingle/callMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/cat2html.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mnames.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mfind.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/rehash.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mflags.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/toolParse.mli", line 23, characters 15-16:
- 23 | functor (B: functor(A:ArchBase.S) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter B.
- File "tools/toolParse.mli", line 31, characters 15-16:
- 31 | functor (B: functor(A:ArchBase.S) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter B.
- File "tools/mcycles.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/splitdot.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/trTrue.mli", line 28, characters 12-13:
- 28 | module Make(O:Config)(Out:Out) : sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "tools/lexHashLog.mli", line 26, characters 10-11:
- 26 | functor (C:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "tools/CDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixOption.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/logConstr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mapply.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/transposeDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/dumperMiscParser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/parseMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/arch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/machMixed.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/annot.mli", line 19, characters 23-24:
- 19 | module Make : functor (O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "gen/scopeGen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/cDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lexConf_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lineUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mshowhashes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mdiag.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/madd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/madd.ml", line 34, characters 16-17:
- 34 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/mtrue.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mhash.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mhash.ml", line 53, characters 16-17:
- 53 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/msort.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mproj.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mobserved.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mobserved.ml", line 26, characters 12-18:
- 26 | module Make(Config:Config) =
- ^^^^^^
- Warning 60 [unused-module]: unused module Config.
- File "tools/archExtra_tools.mli", line 19, characters 13-14:
- 19 | functor (O : sig val hexa : bool end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "jingle/Version_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/dumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixPerm.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lexLog_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlisa2c.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/archExtra_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/prettyProg.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlock.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/Version_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/BellArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mselect.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/ksort.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/RISCVArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/logState.mli", line 90, characters 12-13:
- 90 | module Make(O:sig val verbose : int end) : sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "jingle/AArch64Arch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/CArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/PPCArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/splitcond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/mapping.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/ARMArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/logRelax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/gen_theme.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/machAtom.mli", line 25, characters 23-24:
- 25 | module Make : functor (C:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "tools/recond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/knames.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/key.mli", line 35, characters 12-15:
- 35 | module Make(Opt:Config) : sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Opt.
- File "tools/lexLog_tools.mli", line 26, characters 12-13:
- 26 | module Make(O:Config) : sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "gen/config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/alpha.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/AArch64Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/matrix.mli", line 87, characters 12-15:
- 87 | module Dump(Opt:Config) :
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Opt.
- File "gen/MIPSArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/PPCArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/readRelax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/ARMArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/BellArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/CArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/RISCVArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86_64Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcmp.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mdiff.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mfilter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlog2name.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/moutcomes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/msum.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mtopos.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/genUtils.mli", line 37, characters 9-12:
- 37 | functor (Cfg:Config) ->
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Cfg.
- File "tools/mlog2cond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mrcu.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixMerge.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/edge.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mprog.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcompare.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/namer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/varAtomic.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/normaliser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/normaliser.ml", line 45, characters 28-54:
- 45 | { edge : E.edge ; mutable dir : dir option ;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field dir is never mutated.
- File "gen/normaliser.ml", line 373, characters 31-49:
- 373 | mutable next : t ; mutable prev : t ; }
- ^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prev is never read.
- (However, this field is used to build or mutate values.)
- File "gen/normaliser.ml", line 26, characters 23-24:
- 26 | module Make : functor (C:Config) -> functor (E:Edge.S) ->
- ^
- Warning 60 [unused-module]: unused module C.
- File "gen/atoms.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/mexpand.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/mexpand.ml", line 27, characters 12-14:
- 27 | module Make(Co:Config) (A:Arch_gen.S) = struct
- ^^
- Warning 60 [unused-module]: unused module Co.
- File "tools/mmixer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/relax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/nexts.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/atomize.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/cycle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/norm.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/classify.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/topUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/topUtils.ml", line 25, characters 23-24:
- 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "gen/compileCommon.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/run_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/final.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/final.ml", line 24, characters 23-24:
- 24 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "litmus/defString.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/language.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/constr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/useArch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/BellCompile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/ARMCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86_64Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/indent.mli", line 54, characters 23-27:
- 54 | module Make : functor (Chan : sig val hexa : bool val out : out_channel end) -> S
- ^^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Chan.
- File "gen/RISCVCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/MIPSCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/PPCCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/top_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/AArch64Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/Version_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/outUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/compCond.mli", line 17, characters 22-23:
- 17 | module Make: functor (O:Indent.S) -> functor (I:CompCondUtils.I) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/switch.mli", line 21, characters 23-24:
- 21 | module Make : functor (O:Indent.S) -> functor (I:CompCondUtils.I) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/CLang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/dumpParams.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/objUtil.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/dumpAll.mli", line 33, characters 12-18:
- 33 | module Make(Config:Config) (T:Builder.S) : sig
- ^^^^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Config.
- File "litmus/CArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/doEmitPrintf.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/topology.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/template.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/top_litmus.mli", line 100, characters 11-13:
- 100 | module Top(OT:TopConfig)(Tar:Tar.S) : sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter OT.
- File "litmus/top_litmus.mli", line 100, characters 25-28:
- 100 | module Top(OT:TopConfig)(Tar:Tar.S) : sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Tar.
- File "gen/alt.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/generateCrossDoc.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/runUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/dumpRun.mli", line 50, characters 11-12:
- 50 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/dumpRun.mli", line 50, characters 32-35:
- 50 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) ->
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Tar.
- File "litmus/dumpRun.mli", line 50, characters 57-59:
- 50 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) ->
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter CT.
- File "litmus/litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/run_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/archExtra_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/byteSize.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/CCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Version_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISAArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/litmusUtils.mli", line 20, characters 22-23:
- 20 | module Hash : functor(O:Warn.Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/simpleDumper_prime.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CGenParser_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CGenParser_litmus.ml", line 78, characters 5-6:
- 78 | (A:Arch_litmus.Base)
- ^
- Warning 60 [unused-module]: unused module A.
- File "litmus/CSymbReg.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/show.mli", line 18, characters 28-29:
- 18 | module Generator : functor (O:PrettyConf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "herd/show.mli", line 22, characters 23-24:
- 22 | module Make : functor (O:PrettyConf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/testDump.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/PPCArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/MIPSArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/RISCVArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/AArch64Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ARMArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86_64Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/test_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/archExtra_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/archExtra_herd.ml", line 131, characters 26-28:
- 131 | module Mixed : functor (SZ : ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "litmus/X86Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/MIPSCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/RISCVCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ARMCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/PPCCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86_64Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/AArch64Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/valconstraint.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diycross.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/compile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/constraints.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/constraints.ml", line 43, characters 26-28:
- 43 | module Mixed : functor (SZ: ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/RISCVArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86_64Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/PPCArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/machAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diyone.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/skelUtil.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/skelUtil.ml", line 86, characters 29-30:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/skelUtil.ml", line 86, characters 52-55:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter EPF.
- File "gen/diy.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISACompile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISALang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ASMLang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/preSi.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/event.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/skel.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/monad.mli", line 112, characters 13-15:
- 112 | functor (SZ : ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/branch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/KSkel.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/eventsMonad.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/top_klitmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/top_klitmus.ml", line 247, characters 17-18:
- 247 | let module V = SymbConstant in
- ^
- Warning 60 [unused-module]: unused module V.
- File "litmus/klitmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mobserved.ml", line 26, characters 12-18:
- 26 | module Make(Config:Config) =
- ^^^^^^
- Warning 60 [unused-module]: unused module Config.
- File "tools/testInfo.ml", line 38, characters 12-13:
- 38 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/madd.ml", line 34, characters 16-17:
- 34 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/mhash.ml", line 53, characters 16-17:
- 53 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "herd/archExtra_herd.ml", line 131, characters 26-28:
- 131 | module Mixed : functor (SZ : ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/semExtra.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/normaliser.ml", line 45, characters 28-54:
- 45 | { edge : E.edge ; mutable dir : dir option ;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field dir is never mutated.
- File "gen/normaliser.ml", line 373, characters 31-49:
- 373 | mutable next : t ; mutable prev : t ; }
- ^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prev is never read.
- (However, this field is used to build or mutate values.)
- File "gen/normaliser.ml", line 26, characters 23-24:
- 26 | module Make : functor (C:Config) -> functor (E:Edge.S) ->
- ^
- Warning 60 [unused-module]: unused module C.
- File "herd/constraints.ml", line 43, characters 26-28:
- 43 | module Mixed : functor (SZ: ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/modelUtils.mli", line 19, characters 23-24:
- 19 | module Make : functor (O:Model.Config) -> functor (S:SemExtra.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "gen/mexpand.ml", line 27, characters 12-14:
- 27 | module Make(Co:Config) (A:Arch_gen.S) = struct
- ^^
- Warning 60 [unused-module]: unused module Co.
- File "litmus/CGenParser_litmus.ml", line 78, characters 5-6:
- 78 | (A:Arch_litmus.Base)
- ^
- Warning 60 [unused-module]: unused module A.
- File "gen/topUtils.ml", line 25, characters 23-24:
- 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "gen/final.ml", line 24, characters 23-24:
- 24 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "herd/sem.mli", line 31, characters 17-19:
- 31 | module Mixed(SZ:ByteSize.S) : sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "litmus/skelUtil.ml", line 86, characters 29-30:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/skelUtil.ml", line 86, characters 52-55:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter EPF.
- File "herd/SelaEvent.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Pretty.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/machModelChecker.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86_64Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/X86Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Sem.ml", line 43, characters 17-19:
- 43 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/BellSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/PPCSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSSem.ml", line 38, characters 17-19:
- 38 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/RISCVSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMSem.ml", line 52, characters 17-19:
- 52 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "litmus/top_klitmus.ml", line 247, characters 17-18:
- 247 | let module V = SymbConstant in
- ^
- Warning 60 [unused-module]: unused module V.
- File "herd/AArch64Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/minimal.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CAV12.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Mem.ml", line 25, characters 5-6:
- 25 | (B:AArch64Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
- File "herd/CMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/RISCVMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMSem.ml", line 52, characters 17-19:
- 52 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/MIPSSem.ml", line 38, characters 17-19:
- 38 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/slrc11.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/X86Sem.ml", line 43, characters 17-19:
- 43 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/X86Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Mem.ml", line 27, characters 5-6:
- 27 | (B:X86Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
- File "herd/X86_64Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/PPCMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/top_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/parseTest.mli", line 40, characters 11-12:
- 40 | functor (C : Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "herd/herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Mem.ml", line 25, characters 5-6:
- 25 | (B:AArch64Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
- File "herd/X86Mem.ml", line 27, characters 5-6:
- 27 | (B:X86Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
-> compiled herdtools7.7.55
Processing 18/18: [herdtools7: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "sh" "./dune-install.sh" "/home/opam/.opam/4.13" (CWD=/home/opam/.opam/4.13/.opam-switch/build/herdtools7.7.55)
- File "dune-project", line 3, characters 14-17:
- 3 | (using menhir 2.0)
- ^^^
- Warning: Version 2.0 of the menhir extension is not supported until version
- 1.4 of the dune language.
- Supported versions of this extension in version 1.2 of the dune language:
- - 1.0
-> installed herdtools7.7.55
Done.
# Run eval $(opam env) to update the current shell environment
2024-06-09 08:10.16 ---> saved as "cd263261156bb78275dc1089dfa91567b5a7c66a8a05ae35c97f749e2d02074b"
Job succeeded
Home|Differences with the last checks|Previous runs