Building on doris.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
6244f700724e: Pulling fs layer
6244f700724e: Download complete
6244f700724e: Pull complete
Digest: sha256:35955c73858a160861a4c163059ac175d08b4130fa60e218e4e334edc9aaf57e
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-03-17 01:20.55 ---> 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-03-17 01:20.55 ---> 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 ac9a846c007d1cde3764459aeae5b75c2f8b7aa8"))
2024-03-17 01:20.55 ---> using "f6daa5a185e151575958bea1bc7ebf168b134457b47fd2bceccea664c8ac3953" 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-03-17 01:20.55 ---> using "18a4f9bae2d8e0b81b324227a340acbc6fb6adc121711142b1a69c92072eb64b" 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'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.0.0"} | "ocaml-system" {= "5.0.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.0.0 (cached)
-> installed ocaml-base-compiler.5.0.0
-> installed ocaml-config.3
-> 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
2024-03-17 01:20.55 ---> using "5d11e26b54cd8d53a366092f138bac1d66998e7c9c071436c2e49483e197a936" 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-03-15-1419.03-F-2024-03-15-1419.03.pdiff [14.0 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-03-15-1419.03-F-2024-03-15-1419.03.pdiff [14.0 kB]
- Fetched 275 kB in 1s (247 kB/s)
- Reading package lists...
2024-03-17 01:20.55 ---> using "6b85e139d472f2a5d3bc623d507cd520c18ded34e93922816e31990890666680" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"ollvm-tapir.0.99.1\"\
\nopam install -vy \"ollvm-tapir.0.99.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"ollvm-tapir.0.99.1\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
Nothing to do.
[NOTE] ollvm-tapir.0.99.1 is not installed.
The following actions will be performed:
=== install 8 packages
- install conf-autoconf 0.1 [required by ollvm-tapir]
- install conf-which 1 [required by conf-autoconf]
- install dune 3.14.2 [required by menhir]
- install menhir 20211012 [required by ollvm-tapir]
- install menhirLib 20211012 [required by menhir]
- install menhirSdk 20211012 [required by menhir]
- install ocamlfind 1.9.6 [required by ollvm-tapir]
- install ollvm-tapir 0.99.1
The following system packages will first need to be installed:
autoconf
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package m4.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19678 files and directories currently installed.)
- Preparing to unpack .../archives/m4_1.4.19-4_amd64.deb ...
- Unpacking m4 (1.4.19-4) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Setting up m4 (1.4.19-4) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up autoconf (2.71-3) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 3/22:
Processing 4/22:
Processing 5/22:
Processing 6/22: [conf-which: which which]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 7/22: [conf-which: which which]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 8/22: [conf-which: which which] [ocamlfind: patch]
-> retrieved menhir.20211012, menhirLib.20211012, menhirSdk.20211012 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "which" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-which.1)
- /usr/bin/which
-> compiled conf-which.1
Processing 8/22: [ocamlfind: patch]
-> installed conf-which.1
Processing 9/22: [ocamlfind: patch]
Processing 10/22: [conf-autoconf: which autoconf] [ocamlfind: patch]
-> retrieved ollvm-tapir.0.99.1 (cached)
Processing 10/22: [conf-autoconf: which autoconf] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "which" "autoconf" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-autoconf.0.1)
- /usr/bin/autoconf
-> compiled conf-autoconf.0.1
Processing 10/22: [ocamlfind: ./configure]
-> installed conf-autoconf.0.1
Processing 11/22: [ocamlfind: ./configure]
-> retrieved dune.3.14.2 (cached)
Processing 12/22: [dune: ocaml 255] [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.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Configuring libraries...
- unix: found (in +unix)
- dynlink: found (in +dynlink)
- bigarray: not present (possible since 4.08)
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found (in +str)
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/5.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 12/22: [dune: ocaml 255] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/5.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 -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/5.0/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/5.0/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/5.0/lib/ocaml:/home/opam/.opam/5.0/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6'
Processing 12/22: [dune: ocaml 255] [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.6)
- 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.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 12/22: [dune: ocaml 255]
Processing 13/22: [dune: ocaml 255] [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.6)
- if [ "0" -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
- install -d "/home/opam/.opam/5.0/bin"
- install -d "/home/opam/.opam/5.0/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/5.0/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/5.0/lib/findlib.conf" || install -c 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.6'
- 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.6/src/findlib'
- install -d "/home/opam/.opam/5.0/lib/findlib"
- install -d "/home/opam/.opam/5.0/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/5.0/lib/ocaml"
- test 1 -eq 0 || install -c 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` && \
- install -c $files "/home/opam/.opam/5.0/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $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/"; \
- install -c 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.6/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6'
- for x in bytes ; do install -d "/home/opam/.opam/5.0/lib/$x"; install -c 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
- install -d "/home/opam/.opam/5.0/lib/findlib"; install -c 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.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/5.0/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/5.0/man/man1" "/home/opam/.opam/5.0/man/man3" "/home/opam/.opam/5.0/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/5.0/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/5.0/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 13/22: [dune: ocaml 255]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune.3.14.2)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot -I +unix unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 255
- cd _boot && /home/opam/.opam/5.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -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/5.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -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/5.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -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/5.0/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +unix -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 13/22: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune.3.14.2)
-> compiled dune.3.14.2
-> installed dune.3.14.2
Processing 15/22: [menhirLib: dune build]
Processing 16/22: [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.20211012)
-> compiled menhirSdk.20211012
Processing 16/22: [menhirLib: dune build]
-> installed menhirSdk.20211012
Processing 17/22: [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.20211012)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20211012
-> installed menhirLib.20211012
Processing 19/22: [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.20211012)
- (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --no-pager --table --fixed-exception --require-aliases --strict --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 48 out of 96 symbols keep track of their end position.
- The action table is 11324 entries; 1610 non-zero; 1359 compressed.
- The action table occupies roughly 2816 bytes.
- The goto table is 16986 entries; 329 non-zero; 636 compressed.
- The goto table occupies roughly 1368 bytes.
- The error table occupies roughly 1448 bytes.
- The default_reduction table occupies roughly 336 bytes.
- The lhs table occupies roughly 168 bytes.
- The trace table occupies roughly 8 bytes.
- (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20211012
-> installed menhir.20211012
Processing 21/22: [ollvm-tapir: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ollvm-tapir.0.99.1)
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
- checking for gawk... no
- checking for mawk... mawk
- checking whether make sets $(MAKE)... yes
- checking whether make supports nested variables... yes
- checking whether to enable maintainer-specific portions of Makefiles... yes
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking whether gcc understands -c and -o together... yes
- checking for style of include used by make... GNU
- checking dependency style of gcc... none
- checking for ocamlc... ocamlc
- OCaml version is 5.0.0
- OCaml library path is /home/opam/.opam/5.0/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking for ocamlc.opt... ocamlc.opt
- checking for ocamlopt.opt... ocamlopt.opt
- checking for dynlink.cmxa... no
- checking for ocaml... ocaml
- checking for ocamldep... ocamldep
- checking for ocamlmktop... ocamlmktop
- checking for ocamlmklib... ocamlmklib
- checking for ocamldoc... ocamldoc
- checking for ocamlbuild... no
- checking for ocamlfind... ocamlfind
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- checking for OCaml findlib package llvm... not found
- configure: WARNING: Llvmgateway module will not be installed.
- checking that generated files are newer than configure...
- done
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating src/Makefile.common
- config.status: executing depfiles commands
Processing 21/22: [ollvm-tapir: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ollvm-tapir.0.99.1)
- make -C src/ollvm
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ollvm-tapir.0.99.1/src/ollvm'
- menhir ollvm_parser.mly
- File "ollvm_parser.mly", line 168, characters 0-14:
- Warning: symbol instr_metadata is unreachable from any of the start symbol(s).
- Warning: one state has shift/reduce conflicts.
- Warning: 30 shift/reduce conflicts were arbitrarily resolved.
- ocamllex.opt ollvm_lexer.mll
- 60 states, 1970 transitions, table size 8240 bytes
- ocamldep *.mli *.ml > .depend
- ocamldep *.mli *.ml > .depend
- ocamlfind ocamlc -c ollvm_ast.mli
- ocamlfind ocamlc -c ollvm_printer.mli
- ocamlfind ocamlc -c ollvm_lexer.mli
- ocamlfind ocamlc -c ollvm_ez.mli
- ocamlfind ocamlc -c ollvm.mli
- ocamlfind ocamlc -c ollvm_ast.ml
- ocamlfind ocamlc -c ollvm_parser.mli
- ocamlfind ocamlc -c ollvm_parser.ml
- ocamlfind ocamlc -c ollvm_lexer.ml
- ocamlfind ocamlc -c ollvm_printer.ml
- File "ollvm_printer.ml", lines 494-510, characters 2-48:
- 494 | ..fun {
- 495 | dc_name = i;
- 496 | dc_type = TYPE_Function (ret_t, args_t);
- 497 | dc_param_attrs = (ret_attrs, args_attrs)
- 498 | } -> let typ_attr =
- ...
- 507 | typ ret_t
- 508 | (ident env) i
- 509 | (pp_print_list ~pp_sep:pp_comma_space typ_attr)
- 510 | (List.combine args_t args_attrs);
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- {dc_type=(TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|TYPE_X86_fp80|
- TYPE_Fp128|TYPE_Ppc_fp128|TYPE_Label|TYPE_Metadata|TYPE_X86_mmx|
- TYPE_Opaque|TYPE_I _|TYPE_Pointer _|TYPE_Array (_, _)|TYPE_Struct _|
- TYPE_Packed_struct _|TYPE_Vector (_, _));
- dc_param_attrs=(_, _); _ }
- File "ollvm_printer.ml", lines 514-560, characters 2-25:
- 514 | ..fun ({ df_prototype = { dc_name = i;
- 515 | dc_type = TYPE_Function (ret_t, args_t);
- 516 | dc_param_attrs = (ret_attrs, args_attrs) };
- 517 | } as df) ->
- 518 | let typ_attr_id =
- ...
- 557 | pp_force_newline ppf () ;
- 558 | pp_print_list ~pp_sep:pp_force_newline (block env) ppf df.df_instrs ;
- 559 | pp_force_newline ppf () ;
- 560 | pp_print_char ppf '}' ;
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- {df_prototype={dc_type=(TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|
- TYPE_X86_fp80|TYPE_Fp128|TYPE_Ppc_fp128|TYPE_Label|
- TYPE_Metadata|TYPE_X86_mmx|TYPE_Opaque|TYPE_I _|
- TYPE_Pointer _|TYPE_Array (_, _)|TYPE_Struct _|
- TYPE_Packed_struct _|TYPE_Vector (_, _));
- dc_param_attrs=(_, _); _ };
- _ }
- File "ollvm_printer.ml", line 565, characters 21-36:
- 565 | with Failure "int_of_string" -> pp_print_string ppf i end ;
- ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 13.5)
- ocamlfind ocamlc -c ollvm_ez.ml
- File "ollvm_ez.ml", line 45, characters 12-51:
- 45 | let ident (t, Ollvm_ast.VALUE_Ident id) = (t, id)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 71-72, characters 4-63:
- 71 | ....let Ollvm_ast.TYPE_Pointer t = ptr_t in
- 72 | (t, Ollvm_ast.INSTR_Load (volatile, (ptr_t, value), align))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|TYPE_X86_fp80|TYPE_Fp128|
- TYPE_Ppc_fp128|TYPE_Label|TYPE_Metadata|TYPE_X86_mmx|TYPE_Opaque|TYPE_I _|
- TYPE_Array (_, _)|TYPE_Function (_, _)|TYPE_Struct _|TYPE_Packed_struct _|
- TYPE_Vector (_, _))
- File "ollvm_ez.ml", lines 125-126, characters 4-50:
- 125 | ....let (Ollvm_ast.TYPE_Vector (n, t), _) = vec in
- 126 | (t, Ollvm_ast.INSTR_ExtractElement (vec, idx))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ((TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|TYPE_X86_fp80|TYPE_Fp128|
- TYPE_Ppc_fp128|TYPE_Label|TYPE_Metadata|TYPE_X86_mmx|TYPE_Opaque|TYPE_I _|
- TYPE_Pointer _|TYPE_Array (_, _)|TYPE_Function (_, _)|TYPE_Struct _|
- TYPE_Packed_struct _),
- _)
- File "ollvm_ez.ml", lines 149-150, characters 47-54:
- 149 | ...............................................(t', Ollvm_ast.VALUE_Ident else_) =
- 150 | Ollvm_ast.INSTR_Br (cond, (t, then_), (t', else_))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 149-150, characters 14-54:
- 149 | ..............(t, Ollvm_ast.VALUE_Ident then_) (t', Ollvm_ast.VALUE_Ident else_) =
- 150 | Ollvm_ast.INSTR_Br (cond, (t, then_), (t', else_))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 152-153, characters 10-36:
- 152 | ..........(t, Ollvm_ast.VALUE_Ident branch) =
- 153 | Ollvm_ast.INSTR_Br_1 (t, branch)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 155-156, characters 51-63:
- 155 | ...................................................(t', Ollvm_ast.VALUE_Ident cont_branch) =
- 156 | Ollvm_ast.INSTR_Detach ((t, det_branch), (t', cont_branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 155-156, characters 13-63:
- 155 | .............(t, Ollvm_ast.VALUE_Ident det_branch) (t', Ollvm_ast.VALUE_Ident cont_branch) =
- 156 | Ollvm_ast.INSTR_Detach ((t, det_branch), (t', cont_branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 158-159, characters 15-42:
- 158 | ...............(t, Ollvm_ast.VALUE_Ident branch) =
- 159 | Ollvm_ast.INSTR_Reattach ((t, branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 161-162, characters 11-38:
- 161 | ...........(t, Ollvm_ast.VALUE_Ident branch) =
- 162 | Ollvm_ast.INSTR_Sync ((t, branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 316-319, characters 4-75:
- 316 | ....let Ollvm_ast.ID_Global name = dc.Ollvm_ast.dc_name in
- 317 | { m with m_module = { m.m_module with
- 318 | m_declarations = (name, dc)
- 319 | :: m.m_module.m_declarations } }
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ID_Local _
- File "ollvm_ez.ml", lines 323-328, characters 4-73:
- 323 | ....let Ollvm_ast.ID_Global name = dc.dc_name in
- 324 | { m with m_module = { m.m_module with
- 325 | m_declarations = (name, dc)
- 326 | :: m.m_module.m_declarations ;
- 327 | m_definitions = (name, df)
- 328 | :: m.m_module.m_definitions } }
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ID_Local _
- ocamlfind ocamlc -c ollvm.ml
- ocamlfind ocamlc -a -o ollvm.cma ollvm_ast.cmo ollvm_parser.cmo ollvm_lexer.cmo ollvm_printer.cmo ollvm_ez.cmo ollvm.cmo
- ocamlfind ocamlopt -c ollvm_ast.ml
- ocamlfind ocamlopt -c ollvm_parser.ml
- ocamlfind ocamlopt -c ollvm_lexer.ml
- ocamlfind ocamlopt -c ollvm_printer.ml
- File "ollvm_printer.ml", lines 494-510, characters 2-48:
- 494 | ..fun {
- 495 | dc_name = i;
- 496 | dc_type = TYPE_Function (ret_t, args_t);
- 497 | dc_param_attrs = (ret_attrs, args_attrs)
- 498 | } -> let typ_attr =
- ...
- 507 | typ ret_t
- 508 | (ident env) i
- 509 | (pp_print_list ~pp_sep:pp_comma_space typ_attr)
- 510 | (List.combine args_t args_attrs);
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- {dc_type=(TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|TYPE_X86_fp80|
- TYPE_Fp128|TYPE_Ppc_fp128|TYPE_Label|TYPE_Metadata|TYPE_X86_mmx|
- TYPE_Opaque|TYPE_I _|TYPE_Pointer _|TYPE_Array (_, _)|TYPE_Struct _|
- TYPE_Packed_struct _|TYPE_Vector (_, _));
- dc_param_attrs=(_, _); _ }
- File "ollvm_printer.ml", lines 514-560, characters 2-25:
- 514 | ..fun ({ df_prototype = { dc_name = i;
- 515 | dc_type = TYPE_Function (ret_t, args_t);
- 516 | dc_param_attrs = (ret_attrs, args_attrs) };
- 517 | } as df) ->
- 518 | let typ_attr_id =
- ...
- 557 | pp_force_newline ppf () ;
- 558 | pp_print_list ~pp_sep:pp_force_newline (block env) ppf df.df_instrs ;
- 559 | pp_force_newline ppf () ;
- 560 | pp_print_char ppf '}' ;
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- {df_prototype={dc_type=(TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|
- TYPE_X86_fp80|TYPE_Fp128|TYPE_Ppc_fp128|TYPE_Label|
- TYPE_Metadata|TYPE_X86_mmx|TYPE_Opaque|TYPE_I _|
- TYPE_Pointer _|TYPE_Array (_, _)|TYPE_Struct _|
- TYPE_Packed_struct _|TYPE_Vector (_, _));
- dc_param_attrs=(_, _); _ };
- _ }
- File "ollvm_printer.ml", line 565, characters 21-36:
- 565 | with Failure "int_of_string" -> pp_print_string ppf i end ;
- ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 13.5)
- ocamlfind ocamlopt -c ollvm_ez.ml
- File "ollvm_ez.ml", line 45, characters 12-51:
- 45 | let ident (t, Ollvm_ast.VALUE_Ident id) = (t, id)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 71-72, characters 4-63:
- 71 | ....let Ollvm_ast.TYPE_Pointer t = ptr_t in
- 72 | (t, Ollvm_ast.INSTR_Load (volatile, (ptr_t, value), align))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|TYPE_X86_fp80|TYPE_Fp128|
- TYPE_Ppc_fp128|TYPE_Label|TYPE_Metadata|TYPE_X86_mmx|TYPE_Opaque|TYPE_I _|
- TYPE_Array (_, _)|TYPE_Function (_, _)|TYPE_Struct _|TYPE_Packed_struct _|
- TYPE_Vector (_, _))
- File "ollvm_ez.ml", lines 125-126, characters 4-50:
- 125 | ....let (Ollvm_ast.TYPE_Vector (n, t), _) = vec in
- 126 | (t, Ollvm_ast.INSTR_ExtractElement (vec, idx))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ((TYPE_Void|TYPE_Half|TYPE_Float|TYPE_Double|TYPE_X86_fp80|TYPE_Fp128|
- TYPE_Ppc_fp128|TYPE_Label|TYPE_Metadata|TYPE_X86_mmx|TYPE_Opaque|TYPE_I _|
- TYPE_Pointer _|TYPE_Array (_, _)|TYPE_Function (_, _)|TYPE_Struct _|
- TYPE_Packed_struct _),
- _)
- File "ollvm_ez.ml", lines 149-150, characters 47-54:
- 149 | ...............................................(t', Ollvm_ast.VALUE_Ident else_) =
- 150 | Ollvm_ast.INSTR_Br (cond, (t, then_), (t', else_))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 149-150, characters 14-54:
- 149 | ..............(t, Ollvm_ast.VALUE_Ident then_) (t', Ollvm_ast.VALUE_Ident else_) =
- 150 | Ollvm_ast.INSTR_Br (cond, (t, then_), (t', else_))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 152-153, characters 10-36:
- 152 | ..........(t, Ollvm_ast.VALUE_Ident branch) =
- 153 | Ollvm_ast.INSTR_Br_1 (t, branch)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 155-156, characters 51-63:
- 155 | ...................................................(t', Ollvm_ast.VALUE_Ident cont_branch) =
- 156 | Ollvm_ast.INSTR_Detach ((t, det_branch), (t', cont_branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 155-156, characters 13-63:
- 155 | .............(t, Ollvm_ast.VALUE_Ident det_branch) (t', Ollvm_ast.VALUE_Ident cont_branch) =
- 156 | Ollvm_ast.INSTR_Detach ((t, det_branch), (t', cont_branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 158-159, characters 15-42:
- 158 | ...............(t, Ollvm_ast.VALUE_Ident branch) =
- 159 | Ollvm_ast.INSTR_Reattach ((t, branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 161-162, characters 11-38:
- 161 | ...........(t, Ollvm_ast.VALUE_Ident branch) =
- 162 | Ollvm_ast.INSTR_Sync ((t, branch))
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_,
- (VALUE_Null|VALUE_Undef|VALUE_Zero_initializer|VALUE_Integer _|VALUE_Float _|
- VALUE_Bool _|VALUE_Struct _|VALUE_Packed_struct _|VALUE_Array _|
- VALUE_Vector _))
- File "ollvm_ez.ml", lines 316-319, characters 4-75:
- 316 | ....let Ollvm_ast.ID_Global name = dc.Ollvm_ast.dc_name in
- 317 | { m with m_module = { m.m_module with
- 318 | m_declarations = (name, dc)
- 319 | :: m.m_module.m_declarations } }
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ID_Local _
- File "ollvm_ez.ml", lines 323-328, characters 4-73:
- 323 | ....let Ollvm_ast.ID_Global name = dc.dc_name in
- 324 | { m with m_module = { m.m_module with
- 325 | m_declarations = (name, dc)
- 326 | :: m.m_module.m_declarations ;
- 327 | m_definitions = (name, df)
- 328 | :: m.m_module.m_definitions } }
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ID_Local _
- ocamlfind ocamlopt -c ollvm.ml
- ocamlfind ocamlopt -a -o ollvm.cmxa ollvm_ast.cmx ollvm_parser.cmx ollvm_lexer.cmx ollvm_printer.cmx ollvm_ez.cmx ollvm.cmx
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ollvm-tapir.0.99.1/src/ollvm'
-> compiled ollvm-tapir.0.99.1
Processing 22/22: [ollvm-tapir: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ollvm-tapir.0.99.1)
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ollvm-tapir.0.99.1'
- make[1]: Nothing to be done for 'install-exec-am'.
- make[1]: Nothing to be done for 'install-data-am'.
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ollvm-tapir.0.99.1'
-> installed ollvm-tapir.0.99.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-03-17 01:21.46 ---> saved as "2f0b7ed41c3da81aabbaac71c1636df2f21b0b0ce0287ca2043ac6708568c71e"
Job succeeded
Home|Differences with the last checks|Previous runs