Building on asteria.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:1d295ed572083ab5916b9b9195219954afa816ee169f48eecca1b2e2b0faad41)
Unable to find image 'ocaml/opam:debian-unstable@sha256:1d295ed572083ab5916b9b9195219954afa816ee169f48eecca1b2e2b0faad41' locally
docker.io/ocaml/opam@sha256:1d295ed572083ab5916b9b9195219954afa816ee169f48eecca1b2e2b0faad41: Pulling from ocaml/opam
7c26de214b34: Pulling fs layer
791d3a768af6: Pulling fs layer
e06237cac4e8: Pulling fs layer
7c26de214b34: Verifying Checksum
7c26de214b34: Download complete
7c26de214b34: Pull complete
e06237cac4e8: Verifying Checksum
e06237cac4e8: Download complete
791d3a768af6: Verifying Checksum
791d3a768af6: Download complete
791d3a768af6: Pull complete
e06237cac4e8: Pull complete
Digest: sha256:1d295ed572083ab5916b9b9195219954afa816ee169f48eecca1b2e2b0faad41
Status: Downloaded newer image for ocaml/opam@sha256:1d295ed572083ab5916b9b9195219954afa816ee169f48eecca1b2e2b0faad41
2022-05-01 18:27.27 ---> using "e16578957f674ca141475612bdd8fe456bdeb3cf55dca9de0669bf5f721951e7" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2022-05-01 18:27.27 ---> using "09ae07f34eca5d84e953ea4b87a3c466448be28706a95338ba19feb13b3b66fd" 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 4ce6f847a29936b1d875b70940837be093fec84e"))
2022-05-01 18:27.27 ---> using "8a62ed72fc23e1663b0f130dbecbe2a8d6a9d36667f58fd75e99df9fc9855900" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2022-05-01 18:27.27 ---> using "1da6a21744e622352d23ddb067012a46b76c5e5a957ab9cd9733a836f9d86396" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.0' '5.0.0+trunk'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "5.0.0+trunk"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-variants.5.0.0+trunk (https://github.com/ocaml/ocaml/archive/trunk.tar.gz)
-> installed ocaml-variants.5.0.0+trunk
-> installed ocaml-config.2
-> installed ocaml.5.0.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.0) to update the current shell environment
2022-05-01 18:27.27 ---> using "7213b84c80a4bf31f0d4fcdee6ce5f8f0b70014cb7c920a76c7e444a9822af4c" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-05-01-0201.40-F-2022-04-26-0801.40.pdiff [201 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-05-01-0201.40-F-2022-04-26-0801.40.pdiff [201 kB]
- Fetched 430 kB in 1s (322 kB/s)
- Reading package lists...
2022-05-01 18:27.27 ---> using "7a4cec3ec590f29dfd14f2060272885358f9584d35f5bb4e5282661a6ed121cf" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"herdtools7.7.56\"\
\nopam install -vy \"herdtools7.7.56\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"herdtools7.7.56\" | 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.56 is not installed.
Nothing to do.
The following actions will be performed:
=== install 6 packages
- install dune 3.1.1 [required by herdtools7]
- install herdtools7 7.56
- install menhir 20220210 [required by herdtools7]
- install menhirLib 20220210 [required by menhir]
- install menhirSdk 20220210 [required by menhir]
- install ocamlfind 1.9.3 [required by herdtools7]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/16:
Processing 2/16: [herdtools7.7.56: http]
Processing 3/16: [herdtools7.7.56: http]
-> retrieved menhir.20220210, menhirLib.20220210, menhirSdk.20220210 (cached)
Processing 4/16: [herdtools7.7.56: http]
-> retrieved ocamlfind.1.9.3 (cached)
Processing 5/16: [herdtools7.7.56: http] [ocamlfind: ./configure]
-> retrieved dune.3.1.1 (cached)
Processing 6/16: [herdtools7.7.56: http] [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
Processing 6/16: [dune: ocaml bootstrap.ml] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/5.0/bin" "-sitelib" "/home/opam/.opam/5.0/lib" "-mandir" "/home/opam/.opam/5.0/man" "-config" "/home/opam/.opam/5.0/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3)
- Welcome to findlib version 1.9.3
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- bigarray: not present (possible since 4.08)
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found
- raw_spacetime: not present (normal since 4.12)
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for 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/5.0/lib/ocaml
- Binaries: /home/opam/.opam/5.0/bin
- Manual pages: /home/opam/.opam/5.0/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/5.0/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/5.0/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/5.0/bin
- Manual pages: /home/opam/.opam/5.0/man
- topfind script: /home/opam/.opam/5.0/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/16: [dune: ocaml bootstrap.ml] [ocamlfind: make all]
-> retrieved herdtools7.7.56 (https://github.com/herd/herdtools7/archive/7.56.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/5.0/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/5.0/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_package_base.ml
- 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 -c findlib.mli
- ocamlc -I +compiler-libs -opaque -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 -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -g -c frontend.ml
- 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 \
- ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -c topfind.mli
- ocamlc -I +compiler-libs -opaque -g -c topfind.ml
- File "topfind.ml", line 126, characters 40-63:
- 126 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 256, characters 4-27:
- 256 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 266, characters 4-27:
- 266 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 278, characters 4-27:
- 278 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 291, characters 4-27:
- 291 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 305, characters 4-27:
- 305 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 317, characters 4-27:
- 317 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/5.0/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/5.0/lib' >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
Processing 6/16: [dune: ocaml bootstrap.ml] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_package_base.ml
- 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 -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 -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -c frontend.ml
- 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 \
- ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -c topfind.ml
- File "topfind.ml", line 126, characters 40-63:
- 126 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 256, characters 4-27:
- 256 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 266, characters 4-27:
- 266 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 278, characters 4-27:
- 278 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 291, characters 4-27:
- 291 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 305, characters 4-27:
- 305 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 317, characters 4-27:
- 317 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
-> compiled ocamlfind.1.9.3
Processing 6/16: [dune: ocaml bootstrap.ml]
Processing 7/16: [dune: ocaml bootstrap.ml] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/5.0/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/5.0/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- mkdir -p "/home/opam/.opam/5.0/bin"
- mkdir -p "/home/opam/.opam/5.0/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "`dirname \"/home/opam/.opam/5.0/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/5.0/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/5.0/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- mkdir -p "/home/opam/.opam/5.0/lib/findlib"
- mkdir -p "/home/opam/.opam/5.0/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/5.0/lib/ocaml"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- cp $files "/home/opam/.opam/5.0/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/5.0/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/5.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/5.0/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/5.0/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
- for x in bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/5.0/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/5.0/lib/$x/META.tmp" && mv "/home/opam/.opam/5.0/lib/$x/META.tmp" "/home/opam/.opam/5.0/lib/$x/META"; done
- mkdir -p "/home/opam/.opam/5.0/lib/findlib"; cp Makefile.packages "/home/opam/.opam/5.0/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/5.0/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "/home/opam/.opam/5.0/man/man1" "/home/opam/.opam/5.0/man/man3" "/home/opam/.opam/5.0/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/5.0/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/5.0/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.3'
-> installed ocamlfind.1.9.3
Processing 7/16: [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune.3.1.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 255
- cd _boot && /home/opam/.opam/5.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads build_path_prefix_map.ml
- File "vendor/build_path_prefix_map/src/build_path_prefix_map.ml", line 5, characters 17-31:
- Alert deprecated: Stdlib.Printf.kprintf
- Use Printf.ksprintf instead.
- cd _boot && /home/opam/.opam/5.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLexer.ml
- File "vendor/opam-file-format/src/opamLexer.mll", line 21, characters 2-16:
- Alert deprecated: Stdlib.Printf.kprintf
- Use Printf.ksprintf instead.
-
Processing 7/16: [dune: ./dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune.3.1.1)
-> compiled dune.3.1.1
-> installed dune.3.1.1
Processing 9/16: [menhirLib: dune build]
Processing 10/16: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "255" (CWD=/home/opam/.opam/5.0/.opam-switch/build/menhirSdk.20220210)
-> compiled menhirSdk.20220210
Processing 10/16: [menhirLib: dune build]
-> installed menhirSdk.20220210
Processing 11/16: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "255" (CWD=/home/opam/.opam/5.0/.opam-switch/build/menhirLib.20220210)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20220210
-> installed menhirLib.20220210
Processing 13/16: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "255" (CWD=/home/opam/.opam/5.0/.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
-> installed menhir.20220210
Processing 15/16: [herdtools7: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "./dune-build.sh" "/home/opam/.opam/5.0" (CWD=/home/opam/.opam/5.0/.opam-switch/build/herdtools7.7.56)
- File "lib/check402.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/myMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/location.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/Archs.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/int64Constant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/parsedConstant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/pseudo.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/X86Base.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/X86_64Base.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/RISCVBase.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/int32Value.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/PPCBase.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/interpreter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellInterpreter.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/readBell.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/callMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/Version.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/cat2html.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 "tools/mcond.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/mixOption.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcycles.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 "litmus/defString.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 "tools/CDumper.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/transposeDumper.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 "litmus/Version.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 "tools/mapply.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 "litmus/language.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 "jingle/cDumper.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 "gen/noInfo.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 "gen/lexConf_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/Version_jingle.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 "gen/machMixed.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 "gen/scopeGen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcat2includes.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 "tools/madd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/msort.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/mhash.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mtrue.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 "tools/mobserved.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 "litmus/CLang.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 "litmus/dumpParams.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/objUtil.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 "tools/prettyProg.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 "tools/mlock.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 "gen/logRelax.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 "tools/mselect.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 "litmus/topology.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 "jingle/BellArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- 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/mapping.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 "litmus/CArch_litmus.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/splitcond.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 "jingle/ARMArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/recond.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/template.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/config.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 "gen/readRelax.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/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/mtopos.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlog2cond.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/alpha.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/litmus.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 "gen/AArch64Arch_gen.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 "litmus/run_litmus.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/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/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/mixMerge.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 "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 "litmus/archExtra_litmus.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/namer.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 "tools/mcompare.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 "tools/mmixer.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/atoms.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 "gen/relax.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/nexts.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 "gen/cycle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- 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/CSymbReg.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/norm.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/testDump.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 "gen/classify.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/RISCVArch_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/PPCArch_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/AArch64Arch_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 "gen/compileCommon.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/run_gen.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 "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/X86Compile_litmus.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 "litmus/ARMCompile_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 "herd/valconstraint.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 "herd/CArch_herd.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 "herd/BellArch_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/MIPSArch_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/X86_64Arch_herd.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 "herd/AArch64Arch_herd.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 "litmus/AArch64Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVArch_herd.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/X86_64Compile_gen.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/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 "herd/BellAction.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 "gen/RISCVCompile_gen.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 "gen/top_gen.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 "gen/AArch64Compile_gen.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/LISACompile.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 "gen/alt.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 "gen/CCompile_gen.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/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 "gen/diycross.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diy.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 "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/klitmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- 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 "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/BellSem.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/CSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVSem.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/PPCSem.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/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/CMem.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/BellMem.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/X86Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVMem.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/slrc11.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/ARMMem.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/X86_64Mem.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/herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-> compiled herdtools7.7.56
Processing 16/16: [herdtools7: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "sh" "./dune-install.sh" "/home/opam/.opam/5.0" (CWD=/home/opam/.opam/5.0/.opam-switch/build/herdtools7.7.56)
- Installing /home/opam/.opam/5.0/lib/herdtools7/META
- Installing /home/opam/.opam/5.0/lib/herdtools7/dune-package
- Installing /home/opam/.opam/5.0/lib/herdtools7/opam
- Installing /home/opam/.opam/5.0/bin/atomize7
- Installing /home/opam/.opam/5.0/bin/atoms7
- Installing /home/opam/.opam/5.0/bin/cat2html7
- Installing /home/opam/.opam/5.0/bin/classify7
- Installing /home/opam/.opam/5.0/bin/diy7
- Installing /home/opam/.opam/5.0/bin/diycross7
- Installing /home/opam/.opam/5.0/bin/diyone7
- Installing /home/opam/.opam/5.0/bin/gen_theme7
- Installing /home/opam/.opam/5.0/bin/herd7
- Installing /home/opam/.opam/5.0/bin/jingle7
- Installing /home/opam/.opam/5.0/bin/klitmus7
- Installing /home/opam/.opam/5.0/bin/knames7
- Installing /home/opam/.opam/5.0/bin/ksort7
- Installing /home/opam/.opam/5.0/bin/litmus7
- Installing /home/opam/.opam/5.0/bin/madd7
- Installing /home/opam/.opam/5.0/bin/mapply7
- Installing /home/opam/.opam/5.0/bin/mcat2includes7
- Installing /home/opam/.opam/5.0/bin/mcmp7
- Installing /home/opam/.opam/5.0/bin/mcompare7
- Installing /home/opam/.opam/5.0/bin/mcond7
- Installing /home/opam/.opam/5.0/bin/mcycles7
- Installing /home/opam/.opam/5.0/bin/mdiag7
- Installing /home/opam/.opam/5.0/bin/mdiff7
- Installing /home/opam/.opam/5.0/bin/mexpand7
- Installing /home/opam/.opam/5.0/bin/mfilter7
- Installing /home/opam/.opam/5.0/bin/mfind7
- Installing /home/opam/.opam/5.0/bin/mflags7
- Installing /home/opam/.opam/5.0/bin/mhash7
- Installing /home/opam/.opam/5.0/bin/mlisa2c7
- Installing /home/opam/.opam/5.0/bin/mlock7
- Installing /home/opam/.opam/5.0/bin/mlog2cond7
- Installing /home/opam/.opam/5.0/bin/mlog2name7
- Installing /home/opam/.opam/5.0/bin/mmixer7
- Installing /home/opam/.opam/5.0/bin/mnames7
- Installing /home/opam/.opam/5.0/bin/mobserved7
- Installing /home/opam/.opam/5.0/bin/moutcomes7
- Installing /home/opam/.opam/5.0/bin/mprog7
- Installing /home/opam/.opam/5.0/bin/mproj7
- Installing /home/opam/.opam/5.0/bin/mrcu7
- Installing /home/opam/.opam/5.0/bin/mselect7
- Installing /home/opam/.opam/5.0/bin/mshowhashes7
- Installing /home/opam/.opam/5.0/bin/msort7
- Installing /home/opam/.opam/5.0/bin/msum7
- Installing /home/opam/.opam/5.0/bin/mtopos7
- Installing /home/opam/.opam/5.0/bin/mtrue7
- Installing /home/opam/.opam/5.0/bin/nexts7
- Installing /home/opam/.opam/5.0/bin/norm7
- Installing /home/opam/.opam/5.0/bin/readRelax7
- Installing /home/opam/.opam/5.0/bin/recond7
- Installing /home/opam/.opam/5.0/bin/rehash7
- Installing /home/opam/.opam/5.0/bin/splitcond7
- Installing /home/opam/.opam/5.0/bin/splitdot7
- Installing /home/opam/.opam/5.0/doc/herdtools7/CHANGES.txt
- Installing /home/opam/.opam/5.0/doc/herdtools7/LICENSE.txt
- Installing /home/opam/.opam/5.0/doc/herdtools7/README.md
-> installed herdtools7.7.56
Done.
# Run eval $(opam env) to update the current shell environment
2022-05-01 18:28.24 ---> saved as "95ba2acd300b2806ea2d30eff8e7212cd379ededfafe0c1dedfd895169703fff"
Job succeeded
Home|Differences with the last checks|Previous runs