Building on m1-a.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
e06237cac4e8: Verifying Checksum
e06237cac4e8: Download complete
791d3a768af6: Verifying Checksum
791d3a768af6: Download complete
7c26de214b34: Pull complete
791d3a768af6: Pull complete
e06237cac4e8: Pull complete
Digest: sha256:1d295ed572083ab5916b9b9195219954afa816ee169f48eecca1b2e2b0faad41
Status: Downloaded newer image for ocaml/opam@sha256:1d295ed572083ab5916b9b9195219954afa816ee169f48eecca1b2e2b0faad41
2022-05-01 11:15.03 ---> 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 11:15.03 ---> 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 11:15.03 ---> 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 11:15.03 ---> 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 11:15.03 ---> 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 3s (160 kB/s)
- Reading package lists...
-
2022-05-01 11:15.03 ---> using "7a4cec3ec590f29dfd14f2060272885358f9584d35f5bb4e5282661a6ed121cf" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"bap-primus-symbolic-executor.2.4.0\"\
\nopam install -vy \"bap-primus-symbolic-executor.2.4.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"bap-primus-symbolic-executor.2.4.0\" | 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] bap-primus-symbolic-executor.2.4.0 is not installed.
The following actions will be performed:
=== install 125 packages
- install angstrom 0.15.0 [required by uri]
- install bap-abi 2.4.0 [required by bap-primus]
- install bap-api 2.4.0 [required by bap-c]
- install bap-build 2.4.0 [required by bap-main]
- install bap-bundle 2.4.0 [required by bap-plugins]
- install bap-c 2.4.0 [required by bap-primus]
- install bap-core-theory 2.4.0 [required by bap-primus]
- install bap-future 2.4.0 [required by bap-main, bap-primus]
- install bap-knowledge 2.4.0 [required by bap-primus]
- install bap-main 2.4.0 [required by bap-primus-symbolic-executor]
- install bap-plugins 2.4.0 [required by bap-main]
- install bap-primus 2.4.0 [required by bap-primus-symbolic-executor]
- install bap-primus-symbolic-executor 2.4.0
- install bap-primus-track-visited 2.4.0 [required by bap-primus-symbolic-executor]
- install bap-recipe 2.4.0 [required by bap-main]
- install bap-relation 2.4.0 [required by bap-std]
- install bap-std 2.4.0 [required by bap-primus-symbolic-executor]
- install bap-strings 2.4.0 [required by bap-primus]
- install base v0.14.3 [required by bap-main]
- install base-bytes base [required by fileutils]
- install base_bigstring v0.14.0 [required by core_kernel]
- install base_quickcheck v0.14.1 [required by core_kernel, ppx_bap]
- install bigarray-compat 1.1.0 [required by mmap]
- install bigstringaf 0.9.0 [required by angstrom]
- install bin_prot v0.14.0 [required by core_kernel, bap-std]
- install bitvec 2.4.0 [required by bap-primus-symbolic-executor]
- install bitvec-binprot 2.4.0 [required by bap-primus]
- install bitvec-order 2.4.0 [required by bap-std]
- install bitvec-sexp 2.4.0 [required by bap-core-theory]
- install camlzip 1.11 [required by bap-recipe]
- install camomile 1.0.2 [required by utop]
- install charInfo_width 1.1.0 [required by zed]
- install cmdliner 1.1.1 [required by bap-main]
- install conf-clang 1 [required by bap-std]
- install conf-gmp 4 [required by z3]
- install conf-m4 1 [required by bap-std]
- install conf-perl 2 [required by bap-std]
- install conf-pkg-config 2 [required by conf-zlib]
- install conf-python-3 1.0.0 [required by z3]
- install conf-which 1 [required by bap-std]
- install conf-zlib 1 [required by camlzip]
- install core_kernel v0.14.2 [required by bap-primus-symbolic-executor]
- install cppo 1.6.8 [required by utop]
- install csexp 1.5.1 [required by dune-configurator]
- install dune 3.1.1 [required by core_kernel, ppx_bap]
- install dune-configurator 3.1.1 [required by base]
- install fieldslib v0.14.0 [required by core_kernel]
- install fileutils 0.6.3 [required by bap-plugins, bap-recipe]
- install graphlib 2.4.0 [required by bap-primus]
- install jane-street-headers v0.14.0 [required by core_kernel]
- install jst-config v0.14.1 [required by core_kernel]
- install lambda-term 3.2.0 [required by utop]
- install lwt 5.5.0 [required by utop]
- install lwt_log 1.1.1 [required by lambda-term]
- install lwt_react 1.1.5 [required by utop]
- install mew 0.1.0 [required by mew_vi]
- install mew_vi 0.5.0 [required by lambda-term]
- install mmap 1.2.0 [required by lwt]
- install monads 2.4.0 [required by bap-primus-symbolic-executor]
- install num 1.4 [required by sexplib]
- install oasis 0.4.11 [required by bap-recipe, bap-build, bap-future, bap-strings]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocamlbuild 0.14.1 [required by bap-build]
- install ocamlfind 1.9.3 [required by z3]
- install ocamlgraph 2.0.0 [required by graphlib]
- install ocamlify 0.0.1 [required by oasis]
- install ocamlmod 0.0.9 [required by oasis]
- install ocplib-endian 1.2 [required by lwt]
- install octavius 1.2.2 [required by ppx_js_style]
- install ogre 2.4.0 [required by bap-std]
- install parsexp v0.14.2 [required by bap-primus]
- install ppx_assert v0.14.0 [required by core_kernel, ppx_bap]
- install ppx_bap v0.14.0 [required by bap-primus-symbolic-executor]
- install ppx_base v0.14.0 [required by core_kernel]
- install ppx_bench v0.14.1 [required by ppx_bap]
- install ppx_bin_prot v0.14.0 [required by ppx_bap]
- install ppx_cold v0.14.0 [required by ppx_bap]
- install ppx_compare v0.14.0 [required by ppx_bap]
- install ppx_custom_printf v0.14.1 [required by ppx_jane]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_enumerate v0.14.0 [required by ppx_bap]
- install ppx_expect v0.14.2 [required by ppx_jane]
- install ppx_fields_conv v0.14.2 [required by ppx_bap]
- install ppx_fixed_literal v0.14.0 [required by ppx_jane]
- install ppx_hash v0.14.0 [required by core_kernel, ppx_bap]
- install ppx_here v0.14.0 [required by ppx_bap]
- install ppx_inline_test v0.14.1 [required by core_kernel]
- install ppx_jane v0.14.0 [required by core_kernel]
- install ppx_js_style v0.14.1 [required by ppx_base]
- install ppx_let v0.14.0 [required by ppx_jane]
- install ppx_module_timer v0.14.0 [required by ppx_jane]
- install ppx_optcomp v0.14.3 [required by core_kernel, ppx_bap]
- install ppx_optional v0.14.0 [required by ppx_jane]
- install ppx_pipebang v0.14.0 [required by ppx_jane]
- install ppx_sexp_conv v0.14.3 [required by core_kernel, ppx_bap]
- install ppx_sexp_message v0.14.1 [required by core_kernel]
- install ppx_sexp_value v0.14.0 [required by ppx_bap]
- install ppx_stable v0.14.1 [required by ppx_jane]
- install ppx_string v0.14.1 [required by ppx_jane]
- install ppx_typerep_conv v0.14.2 [required by ppx_jane]
- install ppx_variants_conv v0.14.2 [required by ppx_bap]
- install ppxlib 0.25.0~5.00preview [required by ppx_bap]
- install re 1.10.4 [required by ppx_expect]
- install react 1.2.2 [required by utop]
- install regular 2.4.0 [required by bap-primus-symbolic-executor]
- install result 1.5 [required by bap-std]
- install seq base [required by lwt]
- install sexplib v0.14.0 [required by core_kernel]
- install sexplib0 v0.14.0 [required by base, sexplib]
- install splittable_random v0.14.0 [required by core_kernel]
- install stdio v0.14.0 [required by bap-main]
- install stdlib-shims 0.3.0 [required by bap-recipe]
- install stringext 1.6.0 [required by uri]
- install time_now v0.14.0 [required by core_kernel]
- install topkg 1.0.5 [required by uuidm]
- install trie 1.0.0 [required by mew]
- install typerep v0.14.0 [required by core_kernel]
- install uri 4.2.0 [required by bap-plugins]
- install utop 2.9.1 [required by bap-std]
- install uuidm 0.9.8 [required by bap-primus]
- install variantslib v0.14.0 [required by core_kernel]
- install z3 4.8.14 [required by bap-primus-symbolic-executor]
- install zarith 1.12 [required by bap-primus-symbolic-executor]
- install zed 3.1.0 [required by lambda-term]
The following system packages will first need to be installed:
clang libgmp-dev m4 pkg-config python3 python3-distutils zlib1g-dev
<><> 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. Attempt installation anyway, and 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" "clang" "libgmp-dev" "m4" "pkg-config" "python3" "python3-distutils" "zlib1g-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpython3.10-minimal:amd64.
- (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 ... 18478 files and directories currently installed.)
- Preparing to unpack .../libpython3.10-minimal_3.10.4-3_amd64.deb ...
- Unpacking libpython3.10-minimal:amd64 (3.10.4-3) ...
- Selecting previously unselected package python3.10-minimal.
- Preparing to unpack .../python3.10-minimal_3.10.4-3_amd64.deb ...
- Unpacking python3.10-minimal (3.10.4-3) ...
- Setting up libpython3.10-minimal:amd64 (3.10.4-3) ...
- Setting up python3.10-minimal (3.10.4-3) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 18772 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.10.4-1_amd64.deb ...
- Unpacking python3-minimal (3.10.4-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_7.1.0_all.deb ...
- Unpacking media-types (7.1.0) ...
- Preparing to unpack .../2-libatomic1_12-20220428-1_amd64.deb ...
- Unpacking libatomic1:amd64 (12-20220428-1) over (12-20220319-1) ...
- Preparing to unpack .../3-libubsan1_12-20220428-1_amd64.deb ...
- Unpacking libubsan1:amd64 (12-20220428-1) over (12-20220319-1) ...
- Preparing to unpack .../4-libquadmath0_12-20220428-1_amd64.deb ...
- Unpacking libquadmath0:amd64 (12-20220428-1) over (12-20220319-1) ...
- Preparing to unpack .../5-liblsan0_12-20220428-1_amd64.deb ...
- Unpacking liblsan0:amd64 (12-20220428-1) over (12-20220319-1) ...
- Preparing to unpack .../6-libitm1_12-20220428-1_amd64.deb ...
- Unpacking libitm1:amd64 (12-20220428-1) over (12-20220319-1) ...
- Preparing to unpack .../7-libgomp1_12-20220428-1_amd64.deb ...
- Unpacking libgomp1:amd64 (12-20220428-1) over (12-20220319-1) ...
- Preparing to unpack .../8-gcc-12-base_12-20220428-1_amd64.deb ...
- Unpacking gcc-12-base:amd64 (12-20220428-1) over (12-20220319-1) ...
- Setting up gcc-12-base:amd64 (12-20220428-1) ...
- (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 ... 18799 files and directories currently installed.)
- Preparing to unpack .../libgcc-s1_12-20220428-1_amd64.deb ...
- Unpacking libgcc-s1:amd64 (12-20220428-1) over (12-20220319-1) ...
- Setting up libgcc-s1:amd64 (12-20220428-1) ...
- (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 ... 18799 files and directories currently installed.)
- Preparing to unpack .../libcc1-0_12-20220428-1_amd64.deb ...
- Unpacking libcc1-0:amd64 (12-20220428-1) over (12-20220319-1) ...
- Preparing to unpack .../libstdc++6_12-20220428-1_amd64.deb ...
- Unpacking libstdc++6:amd64 (12-20220428-1) over (12-20220319-1) ...
- Setting up libstdc++6:amd64 (12-20220428-1) ...
- Selecting previously unselected package libmpdec3:amd64.
- (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 ... 18799 files and directories currently installed.)
- Preparing to unpack .../libmpdec3_2.5.1-2_amd64.deb ...
- Unpacking libmpdec3:amd64 (2.5.1-2) ...
- Preparing to unpack .../libncurses6_6.3+20220423-1_amd64.deb ...
- Unpacking libncurses6:amd64 (6.3+20220423-1) over (6.3-2) ...
- Preparing to unpack .../libncursesw6_6.3+20220423-1_amd64.deb ...
- Unpacking libncursesw6:amd64 (6.3+20220423-1) over (6.3-2) ...
- Preparing to unpack .../libtinfo6_6.3+20220423-1_amd64.deb ...
- Unpacking libtinfo6:amd64 (6.3+20220423-1) over (6.3-2) ...
- Setting up libtinfo6:amd64 (6.3+20220423-1) ...
- Selecting previously unselected package libpython3.10-stdlib:amd64.
- (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 ... 18806 files and directories currently installed.)
- Preparing to unpack .../libpython3.10-stdlib_3.10.4-3_amd64.deb ...
- Unpacking libpython3.10-stdlib:amd64 (3.10.4-3) ...
- Selecting previously unselected package python3.10.
- Preparing to unpack .../python3.10_3.10.4-3_amd64.deb ...
- Unpacking python3.10 (3.10.4-3) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.10.4-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.10.4-1) ...
- Setting up python3-minimal (3.10.4-1) ...
- Selecting previously unselected package python3.
- (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 ... 19173 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.10.4-1_amd64.deb ...
- Unpacking python3 (3.10.4-1) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../01-libpipeline1_1.5.6-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.6-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../02-binfmt-support_2.2.1-2_amd64.deb ...
- Unpacking binfmt-support (2.2.1-2) ...
- Selecting previously unselected package libicu71:amd64.
- Preparing to unpack .../03-libicu71_71.1-2_amd64.deb ...
- Unpacking libicu71:amd64 (71.1-2) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../04-libxml2_2.9.13+dfsg-1+b1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.13+dfsg-1+b1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../05-libz3-4_4.8.12-1+b1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-1+b1) ...
- Selecting previously unselected package libllvm13:amd64.
- Preparing to unpack .../06-libllvm13_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking libllvm13:amd64 (1:13.0.1-3+b2) ...
- Selecting previously unselected package libclang-cpp13.
- Preparing to unpack .../07-libclang-cpp13_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking libclang-cpp13 (1:13.0.1-3+b2) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../08-libgc1_1%3a8.0.6-1.1_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.0.6-1.1) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../09-libobjc4_12-20220428-1_amd64.deb ...
- Unpacking libobjc4:amd64 (12-20220428-1) ...
- Selecting previously unselected package libobjc-11-dev:amd64.
- Preparing to unpack .../10-libobjc-11-dev_11.3.0-1_amd64.deb ...
- Unpacking libobjc-11-dev:amd64 (11.3.0-1) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../11-libc6-i386_2.33-7_amd64.deb ...
- Unpacking libc6-i386 (2.33-7) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../12-lib32gcc-s1_12-20220428-1_amd64.deb ...
- Unpacking lib32gcc-s1 (12-20220428-1) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../13-lib32stdc++6_12-20220428-1_amd64.deb ...
- Unpacking lib32stdc++6 (12-20220428-1) ...
- Selecting previously unselected package libclang-common-13-dev.
- Preparing to unpack .../14-libclang-common-13-dev_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking libclang-common-13-dev (1:13.0.1-3+b2) ...
- Selecting previously unselected package llvm-13-linker-tools.
- Preparing to unpack .../15-llvm-13-linker-tools_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking llvm-13-linker-tools (1:13.0.1-3+b2) ...
- Selecting previously unselected package libclang1-13.
- Preparing to unpack .../16-libclang1-13_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking libclang1-13 (1:13.0.1-3+b2) ...
- Selecting previously unselected package clang-13.
- Preparing to unpack .../17-clang-13_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking clang-13 (1:13.0.1-3+b2) ...
- Selecting previously unselected package clang.
- Preparing to unpack .../18-clang_1%3a13.0-54_amd64.deb ...
- Unpacking clang (1:13.0-54) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../19-icu-devtools_71.1-2_amd64.deb ...
- Unpacking icu-devtools (71.1-2) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../20-libffi-dev_3.4.2-4_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.2-4) ...
- Selecting previously unselected package libglib2.0-0:amd64.
- Preparing to unpack .../21-libglib2.0-0_2.72.1-1_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.72.1-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../22-libglib2.0-data_2.72.1-1_all.deb ...
- Unpacking libglib2.0-data (2.72.1-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../23-libgmpxx4ldbl_2%3a6.2.1+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../24-libgmp-dev_2%3a6.2.1+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-3) ...
- Selecting previously unselected package libicu-dev:amd64.
- Preparing to unpack .../25-libicu-dev_71.1-2_amd64.deb ...
- Unpacking libicu-dev:amd64 (71.1-2) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../26-libncurses-dev_6.3+20220423-1_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.3+20220423-1) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../27-libpfm4_4.11.1+git32-gd0b85fb-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.11.1+git32-gd0b85fb-1) ...
- Selecting previously unselected package libsigsegv2:amd64.
- Preparing to unpack .../28-libsigsegv2_2.14-1_amd64.deb ...
- Unpacking libsigsegv2:amd64 (2.14-1) ...
- Selecting previously unselected package libtinfo-dev:amd64.
- Preparing to unpack .../29-libtinfo-dev_6.3+20220423-1_amd64.deb ...
- Unpacking libtinfo-dev:amd64 (6.3+20220423-1) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../30-libxml2-dev_2.9.13+dfsg-1+b1_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.9.13+dfsg-1+b1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../31-libyaml-0-2_0.2.2-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.2-1) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../32-libz3-dev_4.8.12-1+b1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.8.12-1+b1) ...
- Selecting previously unselected package llvm-13-runtime.
- Preparing to unpack .../33-llvm-13-runtime_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking llvm-13-runtime (1:13.0.1-3+b2) ...
- Selecting previously unselected package llvm-13.
- Preparing to unpack .../34-llvm-13_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking llvm-13 (1:13.0.1-3+b2) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../35-python3-pkg-resources_59.6.0-1.2_all.deb ...
- Unpacking python3-pkg-resources (59.6.0-1.2) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../36-python3-pygments_2.11.2+dfsg-2_all.deb ...
- Unpacking python3-pygments (2.11.2+dfsg-2) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../37-python3-yaml_5.4.1-1+b1_amd64.deb ...
- Unpacking python3-yaml (5.4.1-1+b1) ...
- Selecting previously unselected package llvm-13-tools.
- Preparing to unpack .../38-llvm-13-tools_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking llvm-13-tools (1:13.0.1-3+b2) ...
- Selecting previously unselected package llvm-13-dev.
- Preparing to unpack .../39-llvm-13-dev_1%3a13.0.1-3+b2_amd64.deb ...
- Unpacking llvm-13-dev (1:13.0.1-3+b2) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../40-m4_1.4.18-5_amd64.deb ...
- Unpacking m4 (1.4.18-5) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../41-pkg-config_0.29.2-1_amd64.deb ...
- Unpacking pkg-config (0.29.2-1) ...
- Selecting previously unselected package python3-lib2to3.
- Preparing to unpack .../42-python3-lib2to3_3.9.12-1_all.deb ...
- Unpacking python3-lib2to3 (3.9.12-1) ...
- Selecting previously unselected package python3-distutils.
- Preparing to unpack .../43-python3-distutils_3.9.12-1_all.deb ...
- Unpacking python3-distutils (3.9.12-1) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../44-shared-mime-info_2.2-1_amd64.deb ...
- Unpacking shared-mime-info (2.2-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../45-xdg-user-dirs_0.17-2_amd64.deb ...
- Unpacking xdg-user-dirs (0.17-2) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../46-zlib1g-dev_1%3a1.2.11.dfsg-4_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-4) ...
- Setting up media-types (7.1.0) ...
- Setting up libpipeline1:amd64 (1.5.6-1) ...
- Setting up libicu71:amd64 (71.1-2) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libyaml-0-2:amd64 (0.2.2-1) ...
- Setting up libglib2.0-0:amd64 (2.72.1-1) ...
- No schema files found: doing nothing.
- Setting up libgomp1:amd64 (12-20220428-1) ...
- Setting up libffi-dev:amd64 (3.4.2-4) ...
- Setting up libz3-4:amd64 (4.8.12-1+b1) ...
- Setting up libglib2.0-data (2.72.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-3) ...
- Setting up libpfm4:amd64 (4.11.1+git32-gd0b85fb-1) ...
- Setting up libncurses6:amd64 (6.3+20220423-1) ...
- Setting up libsigsegv2:amd64 (2.14-1) ...
- Setting up libquadmath0:amd64 (12-20220428-1) ...
- Setting up libatomic1:amd64 (12-20220428-1) ...
- Setting up binfmt-support (2.2.1-2) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of restart.
- Setting up icu-devtools (71.1-2) ...
- Setting up pkg-config (0.29.2-1) ...
- Setting up libncursesw6:amd64 (6.3+20220423-1) ...
- Setting up libgc1:amd64 (1:8.0.6-1.1) ...
- Setting up libubsan1:amd64 (12-20220428-1) ...
- Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-4) ...
- Setting up libmpdec3:amd64 (2.5.1-2) ...
- Setting up libc6-i386 (2.33-7) ...
- Setting up libicu-dev:amd64 (71.1-2) ...
- Setting up libxml2:amd64 (2.9.13+dfsg-1+b1) ...
- Setting up libcc1-0:amd64 (12-20220428-1) ...
- Setting up liblsan0:amd64 (12-20220428-1) ...
- Setting up libitm1:amd64 (12-20220428-1) ...
- Setting up libz3-dev:amd64 (4.8.12-1+b1) ...
- Setting up libncurses-dev:amd64 (6.3+20220423-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-3) ...
- Setting up m4 (1.4.18-5) ...
- Setting up libobjc4:amd64 (12-20220428-1) ...
- Setting up libpython3.10-stdlib:amd64 (3.10.4-3) ...
- Setting up libxml2-dev:amd64 (2.9.13+dfsg-1+b1) ...
- Setting up lib32gcc-s1 (12-20220428-1) ...
- Setting up lib32stdc++6 (12-20220428-1) ...
- Setting up shared-mime-info (2.2-1) ...
- Setting up libllvm13:amd64 (1:13.0.1-3+b2) ...
- Setting up llvm-13-runtime (1:13.0.1-3+b2) ...
- Setting up libclang-common-13-dev (1:13.0.1-3+b2) ...
- Setting up libpython3-stdlib:amd64 (3.10.4-1) ...
- Setting up libtinfo-dev:amd64 (6.3+20220423-1) ...
- Setting up python3.10 (3.10.4-3) ...
- Setting up libobjc-11-dev:amd64 (11.3.0-1) ...
- Setting up python3 (3.10.4-1) ...
- running python rtupdate hooks for python3.10...
- running python post-rtupdate hooks for python3.10...
- Setting up llvm-13-linker-tools (1:13.0.1-3+b2) ...
- Setting up libclang1-13 (1:13.0.1-3+b2) ...
- Setting up libclang-cpp13 (1:13.0.1-3+b2) ...
- Setting up python3-lib2to3 (3.9.12-1) ...
- Setting up python3-pkg-resources (59.6.0-1.2) ...
- Setting up python3-distutils (3.9.12-1) ...
- Setting up clang-13 (1:13.0.1-3+b2) ...
- Setting up llvm-13 (1:13.0.1-3+b2) ...
- Setting up python3-yaml (5.4.1-1+b1) ...
- Setting up python3-pygments (2.11.2+dfsg-2) ...
- Setting up clang (1:13.0-54) ...
- Setting up llvm-13-tools (1:13.0.1-3+b2) ...
- Setting up llvm-13-dev (1:13.0.1-3+b2) ...
- Processing triggers for libc-bin (2.33-7) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/349:
Processing 2/349:
Processing 3/349:
-> retrieved angstrom.0.15.0 (cached)
Processing 4/349:
Processing 5/349:
-> retrieved base.v0.14.3 (cached)
Processing 6/349:
-> retrieved bap-abi.2.4.0, bap-api.2.4.0, bap-build.2.4.0, bap-bundle.2.4.0, bap-c.2.4.0, bap-core-theory.2.4.0, bap-future.2.4.0, bap-knowledge.2.4.0, bap-main.2.4.0, bap-plugins.2.4.0, bap-primus.2.4.0, bap-primus-symbolic-executor.2.4.0, bap-primus-track-visited.2.4.0, bap-recipe.2.4.0, bap-relation.2.4.0, bap-std.2.4.0, bap-strings.2.4.0, bitvec.2.4.0, bitvec-binprot.2.4.0, bitvec-order.2.4.0, bitvec-sexp.2.4.0, graphlib.2.4.0, monads.2.4.0, ogre.2.4.0, regular.2.4.0 (cached)
Processing 7/349:
-> retrieved base_bigstring.v0.14.0 (cached)
Processing 8/349:
-> retrieved base_quickcheck.v0.14.1 (cached)
Processing 9/349:
-> retrieved bigarray-compat.1.1.0 (cached)
Processing 10/349:
-> retrieved bigstringaf.0.9.0 (cached)
Processing 11/349:
-> retrieved bin_prot.v0.14.0 (cached)
Processing 12/349:
-> retrieved camlzip.1.11 (cached)
Processing 13/349:
-> retrieved charInfo_width.1.1.0 (cached)
Processing 14/349:
Processing 15/349:
Processing 16/349:
Processing 17/349:
Processing 18/349:
Processing 19/349:
Processing 20/349:
Processing 21/349:
Processing 22/349:
Processing 23/349: [conf-clang: clang]
Processing 24/349: [conf-clang: clang] [conf-gmp: sh]
Processing 25/349: [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4]
Processing 26/349: [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl]
Processing 27/349: [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config]
Processing 28/349: [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py]
Processing 29/349: [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
-> retrieved cmdliner.1.1.1 (cached)
Processing 30/349: [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
Processing 31/349: [cmdliner: make all] [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
-> retrieved cppo.1.6.8 (cached)
Processing 32/349: [cmdliner: make all] [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
-> retrieved core_kernel.v0.14.2 (cached)
Processing 33/349: [cmdliner: make all] [conf-clang: clang] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "clang" "--version" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-clang.1)
- Debian clang version 13.0.1-3+b2
- Target: x86_64-pc-linux-gnu
- Thread model: posix
- InstalledDir: /usr/bin
-> compiled conf-clang.1
Processing 33/349: [cmdliner: make all] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
-> installed conf-clang.1
Processing 34/349: [cmdliner: make all] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 34/349: [cmdliner: make all] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
-> installed conf-gmp.4
Processing 35/349: [cmdliner: make all] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "echo | m4" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-m4.1)
- + echo
- + m4
-
-> compiled conf-m4.1
Processing 35/349: [cmdliner: make all] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
-> installed conf-m4.1
Processing 36/349: [cmdliner: make all] [conf-perl: perl] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "perl" "--version" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-perl.2)
-
- This is perl 5, version 34, subversion 0 (v5.34.0) built for x86_64-linux-gnu-thread-multi
- (with 51 registered patches, see perl -V for more detail)
-
- Copyright 1987-2021, Larry Wall
-
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
-
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl". If you have access to the
- Internet, point your browser at http://www.perl.org/, the Perl Home Page.
-
-> compiled conf-perl.2
Processing 36/349: [cmdliner: make all] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
-> installed conf-perl.2
Processing 37/349: [cmdliner: make all] [conf-pkg-config: pkg-config] [conf-python-3: python3 test.py] [conf-which: which which]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-pkg-config.2)
- Usage:
- pkg-config [OPTION?]
-
- Help Options:
- -h, --help Show help options
-
- Application Options:
- --version output version of pkg-config
- --modversion output version for package
- --atleast-pkgconfig-version=VERSION require given version of pkg-config
- --libs output all linker flags
- --static output linker flags for static linking
- --short-errors print short errors
- --libs-only-l output -l flags
- --libs-only-other output other libs (e.g. -pthread)
- --libs-only-L output -L flags
- --cflags output all pre-processor and compiler flags
- --cflags-only-I output -I flags
- --cflags-only-other output cflags not covered by the cflags-only-I option
- --variable=NAME get the value of variable named NAME
- --define-variable=NAME=VALUE set variable NAME to VALUE
- --exists return 0 if the module(s) exist
- --print-variables output list of variables defined by the module
- --uninstalled return 0 if the uninstalled version of one or more module(s) or their dependencies will be used
- --atleast-version=VERSION return 0 if the module is at least version VERSION
- --exact-version=VERSION return 0 if the module is at exactly version VERSION
- --max-version=VERSION return 0 if the module is at no newer than version VERSION
- --list-all list all known packages
- --debug show verbose debug information
- --print-errors show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line)
- --silence-errors be silent about errors (default when --exists or --atleast/exact/max-version given on the command line)
- --errors-to-stdout print errors from --print-errors to stdout not stderr
- --print-provides print which packages the package provides
- --print-requires print which packages the package requires
- --print-requires-private print which packages the package requires for static linking
- --validate validate a package's .pc file
- --define-prefix try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --dont-define-prefix don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file
- --prefix-variable=PREFIX set the name of the variable that pkg-config automatically sets
-
-> compiled conf-pkg-config.2
Processing 37/349: [cmdliner: make all] [conf-python-3: python3 test.py] [conf-which: which which]
Processing 38/349: [cmdliner: make all] [conf-python-3: python3 test.py] [conf-which: which which] [conf-pkg-config: mkdir]
-> retrieved camomile.1.0.2 (cached)
Processing 39/349: [cmdliner: make all] [conf-python-3: python3 test.py] [conf-which: which which] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "python3" "test.py" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-python-3.1.0.0)
- python-3 OK
-> compiled conf-python-3.1.0.0
Processing 39/349: [cmdliner: make all] [conf-which: which which] [conf-pkg-config: mkdir]
+ /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 39/349: [cmdliner: make all] [conf-pkg-config: mkdir]
-> retrieved csexp.1.5.1 (cached)
Processing 40/349: [cmdliner: make all] [conf-pkg-config: mkdir]
-> retrieved dune.3.1.1, dune-configurator.3.1.1 (cached)
Processing 41/349: [cmdliner: make all] [conf-pkg-config: mkdir]
Processing 42/349: [cmdliner: make all] [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" "PREFIX=/home/opam/.opam/5.0" (CWD=/home/opam/.opam/5.0/.opam-switch/build/cmdliner.1.1.1)
- ocaml build.ml cma
- ocaml build.ml cmxa
- ocaml build.ml cmxs
-> compiled cmdliner.1.1.1
Processing 42/349: [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "mkdir" "-p" "/home/opam/.opam/5.0/lib/pkgconfig" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-pkg-config.2)
-> installed conf-pkg-config.2
Processing 42/349: [dune: ocaml bootstrap.ml]
Processing 43/349: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml]
Processing 44/349: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml] [cmdliner: make install]
-> retrieved fieldslib.v0.14.0 (cached)
Processing 45/349: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml] [cmdliner: make install]
-> retrieved fileutils.0.6.3 (cached)
Processing 46/349: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml] [cmdliner: make install]
-> retrieved jane-street-headers.v0.14.0 (cached)
Processing 47/349: [conf-zlib: pkg-config zlib] [dune: ocaml bootstrap.ml] [cmdliner: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "zlib" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-zlib.1)
-> compiled conf-zlib.1
Processing 47/349: [dune: ocaml bootstrap.ml] [cmdliner: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "LIBDIR=/home/opam/.opam/5.0/lib/cmdliner" "DOCDIR=/home/opam/.opam/5.0/doc/cmdliner" (CWD=/home/opam/.opam/5.0/.opam-switch/build/cmdliner.1.1.1)
- install -d /home/opam/.opam/5.0/lib/cmdliner
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti /home/opam/.opam/5.0/lib/cmdliner
- install cmdliner.opam /home/opam/.opam/5.0/lib/cmdliner/opam
- install _build/cmdliner.cma /home/opam/.opam/5.0/lib/cmdliner
- install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \
- /home/opam/.opam/5.0/lib/cmdliner
- install _build/cmdliner.cmxs /home/opam/.opam/5.0/lib/cmdliner
Processing 47/349: [dune: ocaml bootstrap.ml] [cmdliner: make install-doc]
-> retrieved jst-config.v0.14.1 (cached)
Processing 48/349: [dune: ocaml bootstrap.ml] [cmdliner: make install-doc]
-> retrieved lambda-term.3.2.0 (cached)
Processing 49/349: [dune: ocaml bootstrap.ml] [cmdliner: make install-doc]
-> retrieved lwt.5.5.0, lwt_react.1.1.5 (cached)
Processing 50/349: [dune: ocaml bootstrap.ml] [cmdliner: make install-doc]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-doc" "LIBDIR=/home/opam/.opam/5.0/lib/cmdliner" "DOCDIR=/home/opam/.opam/5.0/doc/cmdliner" (CWD=/home/opam/.opam/5.0/.opam-switch/build/cmdliner.1.1.1)
- install -d /home/opam/.opam/5.0/doc/cmdliner/odoc-pages
- install CHANGES.md LICENSE.md README.md /home/opam/.opam/5.0/doc/cmdliner
- install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
- doc/tool_man.mld /home/opam/.opam/5.0/doc/cmdliner/odoc-pages
-> installed cmdliner.1.1.1
Processing 50/349: [dune: ocaml bootstrap.ml]
-> installed conf-python-3.1.0.0
Processing 51/349: [dune: ocaml bootstrap.ml]
-> installed conf-which.1
Processing 52/349: [dune: ocaml bootstrap.ml]
-> installed conf-zlib.1
Processing 53/349: [dune: ocaml bootstrap.ml]
-> retrieved lwt_log.1.1.1 (cached)
Processing 54/349: [dune: ocaml bootstrap.ml]
-> retrieved mew.0.1.0 (cached)
Processing 55/349: [dune: ocaml bootstrap.ml]
-> retrieved mew_vi.0.5.0 (cached)
Processing 56/349: [dune: ocaml bootstrap.ml]
-> retrieved mmap.1.2.0 (cached)
Processing 57/349: [dune: ocaml bootstrap.ml]
-> retrieved num.1.4 (cached)
Processing 58/349: [dune: ocaml bootstrap.ml]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 59/349: [dune: ocaml bootstrap.ml]
-> retrieved oasis.0.4.11 (cached)
Processing 60/349: [dune: ocaml bootstrap.ml]
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
Processing 61/349: [dune: ocaml bootstrap.ml]
-> retrieved ocamlbuild.0.14.1 (cached)
Processing 62/349: [dune: ocaml bootstrap.ml]
Processing 63/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make]
-> retrieved ocamlfind.1.9.3 (cached)
Processing 64/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make]
Processing 65/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] [ocamlfind: ./configure]
-> retrieved ocamlgraph.2.0.0 (cached)
Processing 66/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] [ocamlfind: ./configure]
-> retrieved ocamlify.0.0.1 (cached)
Processing 67/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/5.0" "OCAMLBUILD_BINDIR=/home/opam/.opam/5.0/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/5.0/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/5.0/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/5.0/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/5.0/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/5.0/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/home/opam/.opam/5.0"; \
- echo "BINDIR=/home/opam/.opam/5.0/bin"; \
- echo "LIBDIR=/home/opam/.opam/5.0/lib"; \
- echo "MANDIR=/home/opam/.opam/5.0/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/5.0/bin"'; \
- echo 'let libdir = "/home/opam/.opam/5.0/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/5.0/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/5.0/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.14.1"'; \
- ) > src/ocamlbuild_config.ml
Processing 67/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ocamlmod.0.0.9 (cached)
Processing 68/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ocplib-endian.1.2 (cached)
Processing 69/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved octavius.1.2.2 (cached)
Processing 70/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved parsexp.v0.14.2 (cached)
Processing 71/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_assert.v0.14.0 (cached)
Processing 72/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_bap.v0.14.0 (cached)
Processing 73/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_base.v0.14.0 (cached)
Processing 74/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_bench.v0.14.1 (cached)
Processing 75/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_bin_prot.v0.14.0 (cached)
Processing 76/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_cold.v0.14.0 (cached)
Processing 77/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_compare.v0.14.0 (cached)
Processing 78/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_custom_printf.v0.14.1 (cached)
Processing 79/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 80/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_enumerate.v0.14.0 (cached)
Processing 81/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_expect.v0.14.2 (cached)
Processing 82/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_fields_conv.v0.14.2 (cached)
Processing 83/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_fixed_literal.v0.14.0 (cached)
Processing 84/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_hash.v0.14.0 (cached)
Processing 85/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_here.v0.14.0 (cached)
Processing 86/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_inline_test.v0.14.1 (cached)
Processing 87/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_jane.v0.14.0 (cached)
Processing 88/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_js_style.v0.14.1 (cached)
Processing 89/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_let.v0.14.0 (cached)
Processing 90/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_module_timer.v0.14.0 (cached)
Processing 91/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_optcomp.v0.14.3 (cached)
Processing 92/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_optional.v0.14.0 (cached)
Processing 93/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_pipebang.v0.14.0 (cached)
Processing 94/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_sexp_conv.v0.14.3 (cached)
Processing 95/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_sexp_message.v0.14.1 (cached)
Processing 96/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_sexp_value.v0.14.0 (cached)
Processing 97/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_stable.v0.14.1 (cached)
Processing 98/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_string.v0.14.1 (cached)
Processing 99/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppx_typerep_conv.v0.14.2 (cached)
Processing 100/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [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 100/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved ppx_variants_conv.v0.14.2 (cached)
Processing 101/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved re.1.10.4 (cached)
Processing 102/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved react.1.2.2 (cached)
Processing 103/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
Processing 104/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
Processing 105/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> installed seq.base
Processing 106/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved result.1.5 (cached)
Processing 107/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved sexplib.v0.14.0 (cached)
Processing 108/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved sexplib0.v0.14.0 (cached)
Processing 109/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved splittable_random.v0.14.0 (cached)
Processing 110/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved stdio.v0.14.0 (cached)
Processing 111/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 112/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved stringext.1.6.0 (cached)
Processing 113/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved time_now.v0.14.0 (cached)
Processing 114/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved trie.1.0.0 (cached)
Processing 115/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved typerep.v0.14.0 (cached)
Processing 116/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved topkg.1.0.5 (cached)
Processing 117/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved uri.4.2.0 (cached)
Processing 118/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved uuidm.0.9.8 (cached)
Processing 119/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved variantslib.v0.14.0 (cached)
Processing 120/349: [ppxlib.0.25.0~5.00preview: git] [z3.4.8.14: http] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved utop.2.9.1 (cached)
Processing 121/349: [ppxlib.0.25.0~5.00preview: git] [z3.4.8.14: http] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved zarith.1.12 (cached)
Processing 122/349: [ppxlib.0.25.0~5.00preview: git] [z3.4.8.14: http] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved zed.3.1.0 (cached)
+ /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 122/349: [ppxlib.0.25.0~5.00preview: git] [z3.4.8.14: http] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
Processing 122/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
-> retrieved z3.4.8.14 (https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.8.14.tar.gz)
+ /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 122/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled]
Processing 123/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [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 123/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled]
Processing 124/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled]
Processing 125/349: [ppxlib.0.25.0~5.00preview: git] [camlzip: make all] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled]
Processing 126/349: [ppxlib.0.25.0~5.00preview: git] [camlzip: make all] [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled]
Processing 127/349: [ppxlib.0.25.0~5.00preview: git] [camlzip: make all] [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [zarith: ./configure]
-> installed base-bytes.base
Processing 128/349: [ppxlib.0.25.0~5.00preview: git] [camlzip: make all] [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/5.0/.opam-switch/build/zarith.1.12)
- binary ocaml: found in /home/opam/.opam/5.0/bin
- binary ocamlc: found in /home/opam/.opam/5.0/bin
- binary ocamldep: found in /home/opam/.opam/5.0/bin
- binary ocamlmklib: found in /home/opam/.opam/5.0/bin
- binary ocamldoc: found in /home/opam/.opam/5.0/bin
- binary gcc: found in /usr/bin
- binary ocamlopt: found in /home/opam/.opam/5.0/bin
- checking compilation with gcc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/5.0/bin
- OCaml's word size is 64
- binary uname: found in /bin
- include gmp.h: found
- library gmp: found
- OCaml supports -bin-annot to produce documentation
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- defines: -DHAS_GMP
- libraries: -lgmp
- C options: -O3 -Wall -Wextra
- installation path: /home/opam/.opam/5.0/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 128/349: [ppxlib.0.25.0~5.00preview: git] [camlzip: make all] [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/5.0/.opam-switch/build/camlzip.1.11)
- ocamlfind ocamlc -g -safe-string -bin-annot -c -ccopt -g zlibstubs.c
- ocamlfind ocamlmklib -oc camlzip zlibstubs.o -lz
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zlib.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c zip.ml
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.mli
- ocamlfind ocamlc -g -safe-string -bin-annot -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmo zip.cmo gzip.cmo -lz
- ocamlfind ocamlopt -safe-string -c zlib.ml
- ocamlfind ocamlopt -safe-string -c zip.ml
- ocamlfind ocamlopt -safe-string -c gzip.ml
- ocamlfind ocamlmklib -o zip -oc camlzip zlib.cmx zip.cmx gzip.cmx -lz
- ocamlfind ocamlopt -safe-string -shared -linkall -I ./ -o zip.cmxs zip.cmxa libcamlzip.a
-> compiled camlzip.1.11
Processing 128/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [zarith: make]
Processing 129/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [zarith: make] [camlzip: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/camlzip.1.11)
- cp META-zip META && \
- ocamlfind install zip META *.cma *.a *.mli *.cmi *.cmti *.cmt gzip.cmx zip.cmx zlib.cmx zip.cmxa zip.cmxs dllcamlzip.so && \
- rm META
- Installed /home/opam/.opam/5.0/lib/zip/zip.cmxs
- Installed /home/opam/.opam/5.0/lib/zip/zip.cmxa
- Installed /home/opam/.opam/5.0/lib/zip/zlib.cmx
- Installed /home/opam/.opam/5.0/lib/zip/zip.cmx
- Installed /home/opam/.opam/5.0/lib/zip/gzip.cmx
- Installed /home/opam/.opam/5.0/lib/zip/zlib.cmt
- Installed /home/opam/.opam/5.0/lib/zip/zip.cmt
- Installed /home/opam/.opam/5.0/lib/zip/gzip.cmt
- Installed /home/opam/.opam/5.0/lib/zip/zlib.cmti
- Installed /home/opam/.opam/5.0/lib/zip/zip.cmti
- Installed /home/opam/.opam/5.0/lib/zip/gzip.cmti
- Installed /home/opam/.opam/5.0/lib/zip/zlib.cmi
- Installed /home/opam/.opam/5.0/lib/zip/zip.cmi
- Installed /home/opam/.opam/5.0/lib/zip/gzip.cmi
- Installed /home/opam/.opam/5.0/lib/zip/zlib.mli
- Installed /home/opam/.opam/5.0/lib/zip/zip.mli
- Installed /home/opam/.opam/5.0/lib/zip/gzip.mli
- Installed /home/opam/.opam/5.0/lib/zip/zip.a
- Installed /home/opam/.opam/5.0/lib/zip/libcamlzip.a
- Installed /home/opam/.opam/5.0/lib/zip/zip.cma
- Installed /home/opam/.opam/5.0/lib/stublibs/dllcamlzip.so
- Installed /home/opam/.opam/5.0/lib/stublibs/dllcamlzip.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.0/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/5.0/lib/zip/META
- cp META-camlzip META && \
- ocamlfind install camlzip META && \
- rm META
- Installed /home/opam/.opam/5.0/lib/camlzip/META
-> installed camlzip.1.11
Processing 129/349: [ppxlib.0.25.0~5.00preview: git] [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [zarith: make]
-> retrieved ppxlib.0.25.0~5.00preview (git+https://github.com/kit-ty-kate/ppxlib.git#500)
Processing 129/349: [dune: ocaml bootstrap.ml] [num: make] [ocamlbuild: make check-if-preinstalled] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.0/.opam-switch/build/num.1.4)
- make -C src all
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/src'
- make -C toplevel all
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/toplevel'
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -a -o num_top.cma num_top_printers.cmo num_top.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/toplevel'
-> compiled num.1.4
Processing 129/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [zarith: make]
Processing 130/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [zarith: make] [num: ocamlfind remove]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocamlfind" "remove" "num" (CWD=/home/opam/.opam/5.0/.opam-switch/build/num.1.4)
- ocamlfind: [WARNING] No such file: /home/opam/.opam/5.0/lib/num/META
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocamlfind" "remove" "num-top" (CWD=/home/opam/.opam/5.0/.opam-switch/build/num.1.4)
- ocamlfind: [WARNING] No such file: /home/opam/.opam/5.0/lib/num-top/META
Processing 130/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [zarith: make] [num: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/num.1.4)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/src'
- install -d /home/opam/.opam/5.0/lib/ocaml
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num META
- Installed /home/opam/.opam/5.0/lib/num/META
- rm -f META
- install -m 644 nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs /home/opam/.opam/5.0/lib/ocaml
- install -d /home/opam/.opam/5.0/lib/ocaml/stublibs
- install dllnums.so /home/opam/.opam/5.0/lib/ocaml/stublibs
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/src'
- make -C toplevel install
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/toplevel'
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi
- Installed /home/opam/.opam/5.0/lib/num-top/num_top_printers.cmi
- Installed /home/opam/.opam/5.0/lib/num-top/num_top.cmi
- Installed /home/opam/.opam/5.0/lib/num-top/num_top.cma
- Installed /home/opam/.opam/5.0/lib/num-top/META
- rm -f META
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/num.1.4/toplevel'
-> installed num.1.4
Processing 130/349: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1)
- if test -d /home/opam/.opam/5.0/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/home/opam/.opam/5.0/lib/ocaml/ocamlbuild";\
- >&2 echo "Installation aborted; if you want to bypass this"\
- "safety check, pass CHECK_IF_PREINSTALLED=false to make";\
- exit 2;\
- fi
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamllex.opt src/glob_lexer.mll
- 55 states, 419 transitions, table size 2006 bytes
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamllex.opt src/lexers.mll
- 251 states, 1051 transitions, table size 5710 bytes
- 4334 additional bytes used for bindings
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo src/ocamlbuild.cmo
- ocamlc.opt -a -o src/ocamlbuildlib.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild.cmx
- ocamlopt.opt -a -o src/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx
- ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo ' "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- for lib in src/ocamlbuildlib.cma src/ocamlbuild.cmo src/ocamlbuild_pack.cmi src/ocamlbuild_plugin.cmi src/ocamlbuild_executor.cmi src/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- for lib in src/ocamlbuildlib.cmxa src/ocamlbuildlib.a src/ocamlbuild.cmx src/ocamlbuild.o src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild_plugin.o src/ocamlbuild_executor.o src/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
- make[1]: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/ocamlbuild.0.14.1'
-> compiled ocamlbuild.0.14.1
Processing 130/349: [dune: ocaml bootstrap.ml] [zarith: make]
-> installed ocamlbuild.0.14.1
Processing 131/349: [dune: ocaml bootstrap.ml] [zarith: make]
Processing 132/349: [dune: ocaml bootstrap.ml] [ocamlify: ocaml setup.ml] [zarith: make]
Processing 133/349: [dune: ocaml bootstrap.ml] [ocamlify: ocaml setup.ml] [ocamlmod: ocaml setup.ml] [zarith: make]
Processing 134/349: [dune: ocaml bootstrap.ml] [ocamlify: ocaml setup.ml] [ocamlmod: ocaml setup.ml] [topkg: ocaml build] [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/5.0/.opam-switch/build/zarith.1.12)
- (echo "let"; grep "version" META | head -1) > zarith_version.ml
- ocamldep -native zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -I +compiler-libs -bin-annot -c zarith_version.ml
- ocamlc -I +compiler-libs -bin-annot -c z.mli
- ocamlc -I +compiler-libs -bin-annot -c z.ml
- ocamlc -I +compiler-libs -bin-annot -c q.mli
- ocamlc -I +compiler-libs -bin-annot -c q.ml
- File "q.ml", line 537, characters 9-23:
- 537 | (Z.of_substring s 0 i)
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.
- File "q.ml", line 538, characters 9-23:
- 538 | (Z.of_substring s (i+1) (String.length s-i-1))
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp
- ocamlc -ccopt "-I/home/opam/.opam/5.0/lib/ocaml -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c
- ocamlmklib -failsafe -o zarith caml_z.o -lgmp
- ocamlc -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -I +compiler-libs -c zarith_version.ml
- ocamlopt -I +compiler-libs -c z.ml
- ocamlopt -I +compiler-libs -c q.ml
- File "q.ml", line 537, characters 9-23:
- 537 | (Z.of_substring s 0 i)
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.
- File "q.ml", line 538, characters 9-23:
- 538 | (Z.of_substring s (i+1) (String.length s-i-1))
- ^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.
- ocamlopt -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.12
Processing 134/349: [dune: ocaml bootstrap.ml] [ocamlify: ocaml setup.ml] [ocamlmod: ocaml setup.ml] [topkg: ocaml build]
Processing 135/349: [dune: ocaml bootstrap.ml] [ocamlify: ocaml setup.ml] [ocamlmod: ocaml setup.ml] [topkg: ocaml build] [zarith: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/zarith.1.12)
- ocamlfind install -destdir "/home/opam/.opam/5.0/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/5.0/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/5.0/lib/zarith/q.cmti
- Installed /home/opam/.opam/5.0/lib/zarith/z.cmti
- Installed /home/opam/.opam/5.0/lib/zarith/zarith.a
- Installed /home/opam/.opam/5.0/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/5.0/lib/zarith/q.mli
- Installed /home/opam/.opam/5.0/lib/zarith/zarith.h
- Installed /home/opam/.opam/5.0/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/5.0/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/5.0/lib/zarith/q.cmx
- Installed /home/opam/.opam/5.0/lib/zarith/z.cmx
- Installed /home/opam/.opam/5.0/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/5.0/lib/zarith/z.mli
- Installed /home/opam/.opam/5.0/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/5.0/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/5.0/lib/zarith/q.cmi
- Installed /home/opam/.opam/5.0/lib/zarith/z.cmi
- Installed /home/opam/.opam/5.0/lib/zarith/libzarith.a
- Installed /home/opam/.opam/5.0/lib/zarith/zarith.cma
- Installed /home/opam/.opam/5.0/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/5.0/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.0/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/5.0/lib/zarith/META
-> installed zarith.1.12
Processing 135/349: [dune: ocaml bootstrap.ml] [ocamlify: ocaml setup.ml] [ocamlmod: ocaml setup.ml] [topkg: ocaml build]
Processing 136/349: [dune: ocaml bootstrap.ml] [ocamlify: ocaml setup.ml] [ocamlmod: ocaml setup.ml] [topkg: ocaml build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-configure" "--prefix" "/home/opam/.opam/5.0" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlify.0.0.1)
- File "/home/gildor/programmation/oasis/src/oasis/PropList.ml", line 93, characters 13-29:
- Error: Unbound value String.lowercase
[ERROR] The compilation of ocamlify.0.0.1 failed at "ocaml setup.ml -configure --prefix /home/opam/.opam/5.0".
Processing 136/349: [dune: ocaml bootstrap.ml] [ocamlmod: ocaml setup.ml] [topkg: ocaml build] [z3: python3]
Processing 137/349: [dune: ocaml bootstrap.ml] [ocamlmod: ocaml setup.ml] [topkg: ocaml build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-configure" "--prefix" "/home/opam/.opam/5.0" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlmod.0.0.9)
- File "./setup.ml", line 596, characters 4-15:
- 596 | Stream.from next
- ^^^^^^^^^^^
- Error: Unbound module Stream
[ERROR] The compilation of ocamlmod.0.0.9 failed at "ocaml setup.ml -configure --prefix /home/opam/.opam/5.0".
Processing 137/349: [dune: ocaml bootstrap.ml] [topkg: ocaml build] [z3: python3]
Processing 138/349: [dune: ocaml bootstrap.ml] [topkg: ocaml build] [z3: python3]
Processing 139/349: [dune: ocaml bootstrap.ml] [topkg: ocaml build] [z3: python3]
Processing 140/349: [dune: ocaml bootstrap.ml] [topkg: ocaml build] [z3: python3]
Processing 141/349: [dune: ocaml bootstrap.ml] [topkg: ocaml build] [z3: python3]
Processing 142/349: [dune: ocaml bootstrap.ml] [topkg: ocaml build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "pkg/pkg.ml" "build" "--pkg-name" "topkg" "--dev-pkg" "false" (CWD=/home/opam/.opam/5.0/.opam-switch/build/topkg.1.0.5)
- ocamlfind ocamldep -modules src/topkg.ml > src/topkg.ml.depends
- ocamlfind ocamldep -modules src/topkg.mli > src/topkg.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg.cmi src/topkg.mli
- ocamlfind ocamldep -modules src/topkg_build.ml > src/topkg_build.ml.depends
- ocamlfind ocamldep -modules src/topkg_build.mli > src/topkg_build.mli.depends
- ocamlfind ocamldep -modules src/topkg_cmd.mli > src/topkg_cmd.mli.depends
- ocamlfind ocamldep -modules src/topkg_fpath.mli > src/topkg_fpath.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_fpath.cmi src/topkg_fpath.mli
- ocamlfind ocamldep -modules src/topkg_codec.mli > src/topkg_codec.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_cmd.cmi src/topkg_cmd.mli
- ocamlfind ocamldep -modules src/topkg_result.mli > src/topkg_result.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_result.cmi src/topkg_result.mli
- ocamlfind ocamldep -modules src/topkg_conf.mli > src/topkg_conf.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_codec.cmi src/topkg_codec.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_conf.cmi src/topkg_conf.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_build.cmi src/topkg_build.mli
- ocamlfind ocamldep -modules src/topkg_cmd.ml > src/topkg_cmd.ml.depends
- ocamlfind ocamldep -modules src/topkg_fpath.ml > src/topkg_fpath.ml.depends
- ocamlfind ocamldep -modules src/topkg_string.ml > src/topkg_string.ml.depends
- ocamlfind ocamldep -modules src/topkg_string.mli > src/topkg_string.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_string.cmi src/topkg_string.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_string.cmx src/topkg_string.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_fpath.cmx src/topkg_fpath.ml
- ocamlfind ocamldep -modules src/topkg_codec.ml > src/topkg_codec.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_cmd.cmx src/topkg_cmd.ml
- ocamlfind ocamldep -modules src/topkg_os.ml > src/topkg_os.ml.depends
- ocamlfind ocamldep -modules src/topkg_os.mli > src/topkg_os.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_os.cmi src/topkg_os.mli
- ocamlfind ocamldep -modules src/topkg_log.ml > src/topkg_log.ml.depends
- ocamlfind ocamldep -modules src/topkg_log.mli > src/topkg_log.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_log.cmi src/topkg_log.mli
- ocamlfind ocamldep -modules src/topkg_result.ml > src/topkg_result.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_result.cmx src/topkg_result.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_log.cmx src/topkg_log.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_os.cmx src/topkg_os.ml
- ocamlfind ocamldep -modules src/topkg_conf.ml > src/topkg_conf.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_codec.cmx src/topkg_codec.ml
- ocamlfind ocamldep -modules src/topkg_vcs.ml > src/topkg_vcs.ml.depends
- ocamlfind ocamldep -modules src/topkg_vcs.mli > src/topkg_vcs.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_vcs.cmi src/topkg_vcs.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_vcs.cmx src/topkg_vcs.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_conf.cmx src/topkg_conf.ml
- ocamlfind ocamldep -modules src/topkg_distrib.ml > src/topkg_distrib.ml.depends
- ocamlfind ocamldep -modules src/topkg_distrib.mli > src/topkg_distrib.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_distrib.cmi src/topkg_distrib.mli
- ocamlfind ocamldep -modules src/topkg_opam.ml > src/topkg_opam.ml.depends
- ocamlfind ocamldep -modules src/topkg_opam.mli > src/topkg_opam.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_opam.cmi src/topkg_opam.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_opam.cmx src/topkg_opam.ml
- ocamlfind ocamldep -modules src/topkg_fexts.ml > src/topkg_fexts.ml.depends
- ocamlfind ocamldep -modules src/topkg_fexts.mli > src/topkg_fexts.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_fexts.cmi src/topkg_fexts.mli
- ocamlfind ocamldep -modules src/topkg_install.ml > src/topkg_install.ml.depends
- ocamlfind ocamldep -modules src/topkg_install.mli > src/topkg_install.mli.depends
- ocamlfind ocamldep -modules src/topkg_test.mli > src/topkg_test.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_test.cmi src/topkg_test.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_install.cmi src/topkg_install.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_fexts.cmx src/topkg_fexts.ml
- ocamlfind ocamldep -modules src/topkg_test.ml > src/topkg_test.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_test.cmx src/topkg_test.ml
- ocamlfind ocamldep -modules src/topkg_ipc.ml > src/topkg_ipc.ml.depends
- ocamlfind ocamldep -modules src/topkg_ipc.mli > src/topkg_ipc.mli.depends
- ocamlfind ocamldep -modules src/topkg_pkg.mli > src/topkg_pkg.mli.depends
- ocamlfind ocamldep -modules src/topkg_publish.mli > src/topkg_publish.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_publish.cmi src/topkg_publish.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_pkg.cmi src/topkg_pkg.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_ipc.cmi src/topkg_ipc.mli
- ocamlfind ocamldep -modules src/topkg_pkg.ml > src/topkg_pkg.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_build.cmx src/topkg_build.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_distrib.cmx src/topkg_distrib.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_install.cmx src/topkg_install.ml
- ocamlfind ocamldep -modules src/topkg_publish.ml > src/topkg_publish.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_publish.cmx src/topkg_publish.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_pkg.cmx src/topkg_pkg.ml
- ocamlfind ocamldep -modules src/topkg_main.ml > src/topkg_main.ml.depends
- ocamlfind ocamldep -modules src/topkg_main.mli > src/topkg_main.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_main.cmi src/topkg_main.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_ipc.cmx src/topkg_ipc.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_main.cmx src/topkg_main.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg.cmx src/topkg.ml
- ocamlfind ocamlopt -a -I src src/topkg_string.cmx src/topkg_fpath.cmx src/topkg_cmd.cmx src/topkg_result.cmx src/topkg_log.cmx src/topkg_os.cmx src/topkg_codec.cmx src/topkg_vcs.cmx src/topkg_conf.cmx src/topkg_build.cmx src/topkg_opam.cmx src/topkg_distrib.cmx src/topkg_fexts.cmx src/topkg_test.cmx src/topkg_install.cmx src/topkg_publish.cmx src/topkg_pkg.cmx src/topkg_ipc.cmx src/topkg_main.cmx src/topkg.cmx -o src/topkg.cmxa
- ocamlfind ocamlopt -shared -linkall -I src src/topkg.cmxa -o src/topkg.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg.cmo src/topkg.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_build.cmo src/topkg_build.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_cmd.cmo src/topkg_cmd.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_codec.cmo src/topkg_codec.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_conf.cmo src/topkg_conf.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_distrib.cmo src/topkg_distrib.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_fexts.cmo src/topkg_fexts.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_fpath.cmo src/topkg_fpath.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_install.cmo src/topkg_install.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_ipc.cmo src/topkg_ipc.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_log.cmo src/topkg_log.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_main.cmo src/topkg_main.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_opam.cmo src/topkg_opam.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_os.cmo src/topkg_os.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_pkg.cmo src/topkg_pkg.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_publish.cmo src/topkg_publish.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_result.cmo src/topkg_result.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_string.cmo src/topkg_string.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_test.cmo src/topkg_test.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -I src-care -I src-bin -o src/topkg_vcs.cmo src/topkg_vcs.ml
- ocamlfind ocamlc -a -I src src/topkg_string.cmo src/topkg_fpath.cmo src/topkg_cmd.cmo src/topkg_result.cmo src/topkg_log.cmo src/topkg_os.cmo src/topkg_codec.cmo src/topkg_vcs.cmo src/topkg_conf.cmo src/topkg_build.cmo src/topkg_opam.cmo src/topkg_distrib.cmo src/topkg_fexts.cmo src/topkg_test.cmo src/topkg_install.cmo src/topkg_publish.cmo src/topkg_pkg.cmo src/topkg_ipc.cmo src/topkg_main.cmo src/topkg.cmo -o src/topkg.cma
- # Parallel statistics: { count(total): 2(84), max: 20, min: 2, average(total): 11.000(1.238) }
-> compiled topkg.1.0.5
Processing 142/349: [dune: ocaml bootstrap.ml] [z3: python3]
-> installed topkg.1.0.5
Processing 143/349: [dune: ocaml bootstrap.ml] [z3: python3]
Processing 144/349: [dune: ocaml bootstrap.ml] [react: ocaml build] [z3: python3]
Processing 145/349: [dune: ocaml bootstrap.ml] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "47" (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 47
- 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 145/349: [dune: ./dune.exe build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune.3.1.1)
-> compiled dune.3.1.1
Processing 145/349: [react: ocaml build] [uuidm: ocaml build] [z3: python3]
-> installed dune.3.1.1
Processing 146/349: [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 147/349: [bigarray-compat: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 148/349: [bigarray-compat: dune build] [bigstringaf: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 149/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 150/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 151/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 152/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 153/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 154/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 155/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 156/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 157/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [uuidm: ocaml build] [z3: python3]
Processing 158/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [uuidm: ocaml build] [z3: python3]
Processing 159/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [uuidm: ocaml build] [z3: python3]
Processing 160/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [uuidm: ocaml build] [z3: python3]
Processing 161/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [uuidm: ocaml build] [z3: python3]
Processing 162/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [uuidm: ocaml build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "false" "--with-cmdliner" "true" (CWD=/home/opam/.opam/5.0/.opam-switch/build/uuidm.0.9.8)
- ocamlfind ocamldep -modules src/uuidm.ml > src/uuidm.ml.depends
- ocamlfind ocamldep -modules src/uuidm.mli > src/uuidm.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/uuidm.cmi src/uuidm.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/uuidm.cmx src/uuidm.ml
- ocamlfind ocamlopt -a -I src src/uuidm.cmx -o src/uuidm.cmxa
- ocamlfind ocamlopt -shared -linkall -I src src/uuidm.cmxa -o src/uuidm.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/uuidm.cmo src/uuidm.ml
- ocamlfind ocamlc -a -I src src/uuidm.cmo -o src/uuidm.cma
- ocamlfind ocamldep -package cmdliner -modules test/uuidtrip.ml > test/uuidtrip.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package cmdliner -I test -I src -o test/uuidtrip.cmo test/uuidtrip.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -package cmdliner -I test -I src -o test/uuidtrip.cmx test/uuidtrip.ml
- ocamlfind ocamlopt -linkpkg -g -package cmdliner -I src -I test src/uuidm.cmx test/uuidtrip.cmx -o test/uuidtrip.native
- # No parallelism done
-> compiled uuidm.0.9.8
Processing 162/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed uuidm.0.9.8
Processing 163/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: ocaml configure.ml] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "configure.ml" "--share" "/home/opam/.opam/5.0/share/camomile" (CWD=/home/opam/.opam/5.0/.opam-switch/build/camomile.1.0.2)
Processing 163/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: dune build] [cppo: dune build] [csexp: dune build] [jane-street-headers: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "jane-street-headers" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/jane-street-headers.v0.14.0)
-> compiled jane-street-headers.v0.14.0
Processing 163/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed jane-street-headers.v0.14.0
Processing 164/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [ppx_derivers: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppx_derivers" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ppx_derivers.1.2.1)
-> compiled ppx_derivers.1.2.1
Processing 164/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed ppx_derivers.1.2.1
Processing 165/349: [bigarray-compat: dune build] [bigstringaf: dune build] [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bigstringaf" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/bigstringaf.0.9.0)
- (cd _build/default/lib/freestanding && /usr/bin/gmake)
- touch libbigstringaf_freestanding_stubs.a
-> compiled bigstringaf.0.9.0
Processing 165/349: [bigarray-compat: dune build] [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed bigstringaf.0.9.0
Processing 166/349: [bigarray-compat: dune build] [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bigarray-compat" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/bigarray-compat.1.1.0)
-> compiled bigarray-compat.1.1.0
Processing 166/349: [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed bigarray-compat.1.1.0
Processing 167/349: [camomile: dune build] [cppo: dune build] [csexp: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
Processing 168/349: [camomile: dune build] [cppo: dune build] [csexp: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "csexp" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/csexp.1.5.1)
-> compiled csexp.1.5.1
Processing 168/349: [camomile: dune build] [cppo: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed csexp.1.5.1
Processing 169/349: [camomile: dune build] [cppo: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
Processing 170/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [react: ocaml build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "pkg/pkg.ml" "build" "--dev-pkg" "false" (CWD=/home/opam/.opam/5.0/.opam-switch/build/react.1.2.2)
- ocamlfind ocamldep -modules src/react.ml > src/react.ml.depends
- ocamlfind ocamldep -modules src/react.mli > src/react.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/react.cmi src/react.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/react.cmx src/react.ml
- ocamlfind ocamlopt -a -I src src/react.cmx -o src/react.cmxa
- ocamlfind ocamlopt -shared -linkall -I src src/react.cmxa -o src/react.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/react.cmo src/react.ml
- ocamlfind ocamlc -a -I src src/react.cmo -o src/react.cma
- ocamlfind ocamldep -package compiler-libs.toplevel -modules src/react_top.ml > src/react_top.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/react_top.cmo src/react_top.ml
- + ocamlfind ocamlc -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/react_top.cmo src/react_top.ml
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/opam/.opam/5.0/lib/ocaml, /home/opam/.opam/5.0/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/react_top.cmx src/react_top.ml
- + ocamlfind ocamlopt -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/react_top.cmx src/react_top.ml
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/opam/.opam/5.0/lib/ocaml, /home/opam/.opam/5.0/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -a -package compiler-libs.toplevel -I src src/react_top.cmx -o src/react_top.cmxa
- + ocamlfind ocamlopt -a -package compiler-libs.toplevel -I src src/react_top.cmx -o src/react_top.cmxa
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/opam/.opam/5.0/lib/ocaml, /home/opam/.opam/5.0/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -shared -linkall -package compiler-libs.toplevel -I src src/react_top.cmxa -o src/react_top.cmxs
- + ocamlfind ocamlopt -shared -linkall -package compiler-libs.toplevel -I src src/react_top.cmxa -o src/react_top.cmxs
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/opam/.opam/5.0/lib/ocaml, /home/opam/.opam/5.0/lib/ocaml/compiler-libs
- ocamlfind ocamlc -a -package compiler-libs.toplevel -I src src/react_top.cmo -o src/react_top.cma
- + ocamlfind ocamlc -a -package compiler-libs.toplevel -I src src/react_top.cmo -o src/react_top.cma
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/opam/.opam/5.0/lib/ocaml, /home/opam/.opam/5.0/lib/ocaml/compiler-libs
- # No parallelism done
-> compiled react.1.2.2
Processing 170/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed react.1.2.2
Processing 171/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "result" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/result.1.5)
-> compiled result.1.5
Processing 171/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed result.1.5
Processing 172/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sexplib0" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/sexplib0.v0.14.0)
- (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.sexplib0.objs/byte -intf-suffix .ml -no-alias-deps -open Sexplib0__ -o src/.sexplib0.objs/byte/sexplib0__Sexp_conv.cmo -c -impl src/sexp_conv.ml)
- File "src/sexp_conv.ml", line 105, characters 15-31:
- 105 | let id = Obj.extension_id
- ^^^^^^^^^^^^^^^^
- Error: Unbound value Obj.extension_id
- (cd _build/default && /home/opam/.opam/5.0/bin/ocamlopt.opt -w -40 -g -I src/.sexplib0.objs/byte -I src/.sexplib0.objs/native -intf-suffix .ml -no-alias-deps -open Sexplib0__ -o src/.sexplib0.objs/native/sexplib0__Sexp_conv.cmx -c -impl src/sexp_conv.ml)
- File "src/sexp_conv.ml", line 105, characters 15-31:
- 105 | let id = Obj.extension_id
- ^^^^^^^^^^^^^^^^
- Error: Unbound value Obj.extension_id
Processing 172/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
Processing 173/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
[ERROR] The compilation of sexplib0.v0.14.0 failed at "dune build -p sexplib0 -j 47".
Processing 174/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
Processing 175/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [stdlib-shims: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "stdlib-shims" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/stdlib-shims.0.3.0)
-> compiled stdlib-shims.0.3.0
Processing 175/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
-> installed stdlib-shims.0.3.0
Processing 176/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
Processing 177/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [octavius: dune build] [re: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
Processing 178/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [stringext: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "stringext" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/stringext.1.6.0)
-> compiled stringext.1.6.0
Processing 178/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [trie: dune build] [z3: python3]
-> installed stringext.1.6.0
Processing 179/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [trie: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "trie" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/trie.1.0.0)
-> compiled trie.1.0.0
Processing 179/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
-> installed trie.1.0.0
Processing 180/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
Processing 181/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mew: dune build] [mmap: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/csexp" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune-configurator.3.1.1)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "mmap" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/mmap.1.2.0)
-> compiled mmap.1.2.0
Processing 181/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mew: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
-> installed mmap.1.2.0
Processing 182/349: [camomile: dune build] [cppo: dune build] [dune-configurator: rm] [fileutils: dune build] [mew: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/pp" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune-configurator.3.1.1)
Processing 182/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "mew" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/mew.0.1.0)
-> compiled mew.0.1.0
Processing 182/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
-> installed mew.0.1.0
Processing 183/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
Processing 184/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: python3]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "python3" "scripts/mk_make.py" "--ml" (CWD=/home/opam/.opam/5.0/.opam-switch/build/z3.4.8.14)
- opt = --ml, arg =
- New component: 'util'
- New component: 'polynomial'
- New component: 'interval'
- New component: 'dd'
- New component: 'simplex'
- New component: 'hilbert'
- New component: 'automata'
- New component: 'realclosure'
- New component: 'subpaving'
- New component: 'ast'
- New component: 'euf'
- New component: 'params'
- New component: 'smt_params'
- New component: 'grobner'
- New component: 'sat'
- New component: 'nlsat'
- New component: 'lp'
- New component: 'rewriter'
- New component: 'macros'
- New component: 'normal_forms'
- New component: 'model'
- New component: 'tactic'
- New component: 'substitution'
- New component: 'parser_util'
- New component: 'proofs'
- New component: 'solver'
- New component: 'cmd_context'
- New component: 'smt2parser'
- New component: 'pattern'
- New component: 'solver_assertions'
- New component: 'aig_tactic'
- New component: 'ackermannization'
- New component: 'fpa'
- New component: 'bit_blaster'
- New component: 'core_tactics'
- New component: 'arith_tactics'
- New component: 'mbp'
- New component: 'sat_smt'
- New component: 'sat_tactic'
- New component: 'nlsat_tactic'
- New component: 'subpaving_tactic'
- New component: 'proto_model'
- New component: 'smt'
- New component: 'bv_tactics'
- New component: 'fuzzing'
- New component: 'smt_tactic'
- New component: 'sls_tactic'
- New component: 'qe'
- New component: 'sat_solver'
- New component: 'fd_solver'
- New component: 'muz'
- New component: 'dataflow'
- New component: 'transforms'
- New component: 'rel'
- New component: 'spacer'
- New component: 'clp'
- New component: 'tab'
- New component: 'ddnf'
- New component: 'bmc'
- New component: 'fp'
- New component: 'smtlogic_tactics'
- New component: 'ufbv_tactic'
- New component: 'fpa_tactics'
- New component: 'portfolio'
- New component: 'opt'
- New component: 'api'
- New component: 'extra_cmds'
- New component: 'shell'
- New component: 'test'
- New component: 'api_dll'
- New component: 'dotnet'
- New component: 'java'
- New component: 'ml'
- New component: 'cpp'
- Python bindings directory was detected.
- New component: 'python'
- New component: 'python_install'
- New component: 'js'
- New component: 'cpp_example'
- New component: 'z3_tptp'
- New component: 'c_example'
- New component: 'maxsat'
- New component: 'dotnet_example'
- New component: 'java_example'
- New component: 'ml_example'
- New component: 'py_example'
- Generating src/util/z3_version.h from src/util/z3_version.h.in
- Generated 'src/util/z3_version.h'
- Generated 'src/ackermannization/ackermannization_params.hpp'
- Generated 'src/ackermannization/ackermannize_bv_tactic_params.hpp'
- Generated 'src/ast/pp_params.hpp'
- Generated 'src/ast/normal_forms/nnf_params.hpp'
- Generated 'src/math/polynomial/algebraic_params.hpp'
- Generated 'src/math/realclosure/rcf_params.hpp'
- Generated 'src/model/model_evaluator_params.hpp'
- Generated 'src/model/model_params.hpp'
- Generated 'src/muz/base/fp_params.hpp'
- Generated 'src/nlsat/nlsat_params.hpp'
- Generated 'src/opt/opt_params.hpp'
- Generated 'src/params/arith_rewriter_params.hpp'
- Generated 'src/params/array_rewriter_params.hpp'
- Generated 'src/params/bool_rewriter_params.hpp'
- Generated 'src/params/bv_rewriter_params.hpp'
- Generated 'src/params/fpa2bv_rewriter_params.hpp'
- Generated 'src/params/fpa_rewriter_params.hpp'
- Generated 'src/params/pattern_inference_params_helper.hpp'
- Generated 'src/params/poly_rewriter_params.hpp'
- Generated 'src/params/rewriter_params.hpp'
- Generated 'src/params/seq_rewriter_params.hpp'
- Generated 'src/parsers/util/parser_params.hpp'
- Generated 'src/sat/sat_asymm_branch_params.hpp'
- Generated 'src/sat/sat_params.hpp'
- Generated 'src/sat/sat_scc_params.hpp'
- Generated 'src/sat/sat_simplifier_params.hpp'
- Generated 'src/smt/params/smt_params_helper.hpp'
- Generated 'src/solver/combined_solver_params.hpp'
- Generated 'src/solver/parallel_params.hpp'
- Generated 'src/solver/solver_params.hpp'
- Generated 'src/tactic/tactic_params.hpp'
- Generated 'src/tactic/sls/sls_params.hpp'
- Generated 'src/tactic/smtlogics/qfufbv_tactic_params.hpp'
- Generated 'src/ast/pattern/database.h'
- Component api
- Component portfolio
- Component smtlogic_tactics
- Component ackermannization
- Component model
- Component rewriter
- Component ast
- Component util
- Component polynomial
- Component automata
- Component params
- Component macros
- Component solver
- Component tactic
- Component proofs
- Component sat_solver
- Component core_tactics
- Component normal_forms
- Component pattern
- Component smt2parser
- Component cmd_context
- Component parser_util
- Component aig_tactic
- Component bv_tactics
- Component bit_blaster
- Component arith_tactics
- Component sat
- Component dd
- Component interval
- Component grobner
- Component simplex
- Component sat_tactic
- Component sat_smt
- Component euf
- Component smt_params
- Component fpa
- Component mbp
- Component lp
- Component nlsat
- Component nlsat_tactic
- Component smt_tactic
- Component smt
- Component proto_model
- Component solver_assertions
- Component substitution
- Component fp
- Component muz
- Component qe
- Component clp
- Component transforms
- Component hilbert
- Component dataflow
- Component tab
- Component rel
- Component bmc
- Component fd_solver
- Component ddnf
- Component spacer
- Component ufbv_tactic
- Component fpa_tactics
- Component sls_tactic
- Component subpaving_tactic
- Component subpaving
- Component realclosure
- Component opt
- Component extra_cmds
- Component shell
- Generated 'src/shell/install_tactic.cpp'
- Component api
- Component portfolio
- Component smtlogic_tactics
- Component ackermannization
- Component model
- Component rewriter
- Component ast
- Component util
- Component polynomial
- Component automata
- Component params
- Component macros
- Component solver
- Component tactic
- Component proofs
- Component sat_solver
- Component core_tactics
- Component normal_forms
- Component pattern
- Component smt2parser
- Component cmd_context
- Component parser_util
- Component aig_tactic
- Component bv_tactics
- Component bit_blaster
- Component arith_tactics
- Component sat
- Component dd
- Component interval
- Component grobner
- Component simplex
- Component sat_tactic
- Component sat_smt
- Component euf
- Component smt_params
- Component fpa
- Component mbp
- Component lp
- Component nlsat
- Component nlsat_tactic
- Component smt_tactic
- Component smt
- Component proto_model
- Component solver_assertions
- Component substitution
- Component fp
- Component muz
- Component qe
- Component clp
- Component transforms
- Component hilbert
- Component dataflow
- Component tab
- Component rel
- Component bmc
- Component fd_solver
- Component ddnf
- Component spacer
- Component ufbv_tactic
- Component fpa_tactics
- Component sls_tactic
- Component subpaving_tactic
- Component subpaving
- Component realclosure
- Component opt
- Component fuzzing
- Component test
- Generated 'src/test/install_tactic.cpp'
- Component api
- Component portfolio
- Component smtlogic_tactics
- Component ackermannization
- Component model
- Component rewriter
- Component ast
- Component util
- Component polynomial
- Component automata
- Component params
- Component macros
- Component solver
- Component tactic
- Component proofs
- Component sat_solver
- Component core_tactics
- Component normal_forms
- Component pattern
- Component smt2parser
- Component cmd_context
- Component parser_util
- Component aig_tactic
- Component bv_tactics
- Component bit_blaster
- Component arith_tactics
- Component sat
- Component dd
- Component interval
- Component grobner
- Component simplex
- Component sat_tactic
- Component sat_smt
- Component euf
- Component smt_params
- Component fpa
- Component mbp
- Component lp
- Component nlsat
- Component nlsat_tactic
- Component smt_tactic
- Component smt
- Component proto_model
- Component solver_assertions
- Component substitution
- Component fp
- Component muz
- Component qe
- Component clp
- Component transforms
- Component hilbert
- Component dataflow
- Component tab
- Component rel
- Component bmc
- Component fd_solver
- Component ddnf
- Component spacer
- Component ufbv_tactic
- Component fpa_tactics
- Component sls_tactic
- Component subpaving_tactic
- Component subpaving
- Component realclosure
- Component opt
- Component extra_cmds
- Component api_dll
- Generated 'src/api/dll/install_tactic.cpp'
- Generated 'src/shell/mem_initializer.cpp'
- Generated 'src/test/mem_initializer.cpp'
- Generated 'src/api/dll/mem_initializer.cpp'
- Generated 'src/shell/gparams_register_modules.cpp'
- Generated 'src/test/gparams_register_modules.cpp'
- Generated 'src/api/dll/gparams_register_modules.cpp'
- Generated 'src/api/python/z3/z3consts.py
- Generated 'src/api/api_log_macros.h'
- Generated 'src/api/api_log_macros.cpp'
- Generated 'src/api/api_commands.cpp'
- Generated 'src/api/python/z3/z3core.py'
- Generated "src/api/ml/z3native.ml"
- Generated "src/api/ml/z3native_stubs.c"
- Listing 'src/api/python/z3'...
- Compiling 'src/api/python/z3/__init__.py'...
- Compiling 'src/api/python/z3/z3.py'...
- Compiling 'src/api/python/z3/z3consts.py'...
- Compiling 'src/api/python/z3/z3core.py'...
- Compiling 'src/api/python/z3/z3num.py'...
- Compiling 'src/api/python/z3/z3poly.py'...
- Compiling 'src/api/python/z3/z3printer.py'...
- Compiling 'src/api/python/z3/z3rcf.py'...
- Compiling 'src/api/python/z3/z3types.py'...
- Compiling 'src/api/python/z3/z3util.py'...
- Generated python bytecode
- Copied '__init__.py'
- Copied 'z3.py'
- Copied 'z3num.py'
- Copied 'z3poly.py'
- Copied 'z3printer.py'
- Copied 'z3rcf.py'
- Copied 'z3types.py'
- Copied 'z3util.py'
- Copied 'z3consts.py'
- Copied 'z3core.py'
- Copied '__init__.cpython-310.pyc'
- Copied 'z3.cpython-310.pyc'
- Copied 'z3consts.cpython-310.pyc'
- Copied 'z3core.cpython-310.pyc'
- Copied 'z3num.cpython-310.pyc'
- Copied 'z3poly.cpython-310.pyc'
- Copied 'z3printer.cpython-310.pyc'
- Copied 'z3rcf.cpython-310.pyc'
- Copied 'z3types.cpython-310.pyc'
- Copied 'z3util.cpython-310.pyc'
- Testing ocamlc...
- Testing ocamlopt...
- Finding OCAML_LIB...
- OCAML_LIB=/home/opam/.opam/5.0/lib/ocaml
- Testing ocamlfind...
- Generated "src/api/ml/z3enums.ml"
- Testing ar...
- Testing g++...
- Testing gcc...
- Testing floating point support...
- Host platform: Linux
- C++ Compiler: g++
- C Compiler : gcc
- Archive Tool: ar
- Arithmetic: internal
- Prefix: /usr
- 64-bit: True
- FP math: SSE2-GCC
- Python pkg dir: /usr/local/lib/python3.10/dist-packages
- Python version: 3.10
- OCaml Compiler: ocamlc
- OCaml Find tool: ocamlfind
- OCaml Native: ocamlopt
- OCaml Library: /home/opam/.opam/5.0/lib/ocaml
- Writing build/Makefile
- Generating build/api/ml/META from src/api/ml/META.in
- Copied Z3Py example 'all_interval_series.py' to 'build/python'
- Copied Z3Py example 'efsmt.py' to 'build/python'
- Copied Z3Py example 'example.py' to 'build/python'
- Copied Z3Py example 'hs.py' to 'build/python'
- Copied Z3Py example 'mini_ic3.py' to 'build/python'
- Copied Z3Py example 'mini_quip.py' to 'build/python'
- Copied Z3Py example 'parallel.py' to 'build/python'
- Copied Z3Py example 'rc2.py' to 'build/python'
- Copied Z3Py example 'socrates.py' to 'build/python'
- Copied Z3Py example 'trafficjam.py' to 'build/python'
- Copied Z3Py example 'union_sort.py' to 'build/python'
- Copied Z3Py example 'visitor.py' to 'build/python'
- Makefile was successfully generated.
- compilation mode: Release
- Type 'cd build; make' to build Z3
Processing 184/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [re: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "re" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/re.1.10.4)
-> compiled re.1.10.4
Processing 184/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [z3: make build]
-> installed re.1.10.4
Processing 185/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocaml-compiler-libs: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [octavius: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocaml-syntax-shims" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocaml-syntax-shims.1.0.0)
-> compiled ocaml-syntax-shims.1.0.0
Processing 185/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [octavius: dune build] [z3: make build]
-> installed ocaml-syntax-shims.1.0.0
Processing 186/349: [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [octavius: dune build] [z3: make build]
Processing 187/349: [angstrom: dune build] [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [octavius: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocaml-compiler-libs" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocaml-compiler-libs.v0.12.4)
-> compiled ocaml-compiler-libs.v0.12.4
Processing 187/349: [angstrom: dune build] [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [octavius: dune build] [z3: make build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 188/349: [angstrom: dune build] [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [octavius: dune build] [z3: make build]
Processing 189/349: [angstrom: dune build] [camomile: dune build] [cppo: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [octavius: dune build] [ppxlib: dune subst] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/cppo.1.6.8)
-> compiled cppo.1.6.8
Processing 189/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [octavius: dune build] [ppxlib: dune subst] [z3: make build]
-> installed cppo.1.6.8
Processing 190/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [octavius: dune build] [ppxlib: dune subst] [z3: make build]
Processing 191/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [fileutils: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [octavius: dune build] [ppxlib: dune subst] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "fileutils" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/fileutils.0.6.3)
- (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/fileutils/.fileutils.objs/byte -I src/lib/fileutils/.fileutils.objs/public_cmi -I /home/opam/.opam/5.0/lib/stdlib-shims -no-alias-deps -o src/lib/fileutils/.fileutils.objs/byte/fileUtilCMP.cmo -c -impl src/lib/fileutils/FileUtilCMP.ml)
- File "src/lib/fileutils/FileUtilCMP.ml", line 42, characters 8-20:
- 42 | Stream.empty st;
- ^^^^^^^^^^^^
- Error: Unbound module Stream
[ERROR] The compilation of fileutils.0.6.3 failed at "dune build -p fileutils -j 47".
Processing 191/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [octavius: dune build] [ppxlib: dune subst] [z3: make build]
Processing 192/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [octavius: dune build] [ppxlib: dune subst] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "subst" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ppxlib.0.25.0~5.00preview)
Processing 192/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [octavius: dune build] [ppxlib: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "octavius" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/octavius.1.2.2)
-> compiled octavius.1.2.2
Processing 192/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
-> installed octavius.1.2.2
Processing 193/349: [angstrom: dune build] [camomile: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "camomile" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/camomile.1.0.2)
- File "Camomile/dune", line 12, characters 12-20:
- 12 | (libraries bigarray camomileDefaultConfig)
- ^^^^^^^^
- Error: Library "bigarray" not found.
- -> required by library "camomile.library" in _build/default/Camomile
- -> required by _build/default/META.camomile
- -> required by _build/install/default/lib/camomile/META
- -> required by _build/default/camomile.install
- -> required by alias install
- (cd _build/default && /home/opam/.opam/5.0/bin/ocamlyacc Camomile/internal/uReStrParser.mly)
- 4 shift/reduce conflicts.
- File "Camomile/toolslib/dune", line 7, characters 38-46:
- 7 | (libraries camomile camomile.library bigarray str))
- ^^^^^^^^
- Error: Library "bigarray" not found.
- -> required by library "toolslib" in _build/default/Camomile/toolslib
- -> required by executable gen_mappings in Camomile/mappings/dune:4
- -> required by _build/default/Camomile/mappings/gen_mappings.exe
- -> required by _build/default/Camomile/mappings/cns11643.mar
- -> required by _build/install/default/share/camomile/mappings/cns11643.mar
- -> required by _build/default/camomile.install
- -> required by alias install
[ERROR] The compilation of camomile.1.0.2 failed at "dune build -p camomile -j 47 @install".
Processing 193/349: [angstrom: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
Processing 194/349: [angstrom: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
Processing 195/349: [angstrom: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
Processing 196/349: [angstrom: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
Processing 197/349: [angstrom: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
Processing 198/349: [angstrom: dune build] [dune-configurator: dune build] [mew_vi: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "mew_vi" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/mew_vi.0.5.0)
-> compiled mew_vi.0.5.0
Processing 198/349: [angstrom: dune build] [dune-configurator: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
-> installed mew_vi.0.5.0
Processing 199/349: [angstrom: dune build] [dune-configurator: dune build] [ocamlgraph: dune build] [ocplib-endian: dune build] [ppxlib: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocplib-endian" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocplib-endian.1.2)
- File "src/dune", line 75, characters 26-34:
- 75 | (libraries ocplib_endian bigarray bytes))
- ^^^^^^^^
- Error: Library "bigarray" not found.
- -> required by library "ocplib-endian.bigstring" in _build/default/src
- -> required by _build/default/META.ocplib-endian
- -> required by _build/install/default/lib/ocplib-endian/META
- -> required by _build/default/ocplib-endian.install
- -> required by alias install
[ERROR] The compilation of ocplib-endian.1.2 failed at "dune build -p ocplib-endian -j 47 @install".
Processing 199/349: [angstrom: dune build] [dune-configurator: dune build] [ocamlgraph: dune build] [ppxlib: dune build] [z3: make build]
Processing 200/349: [angstrom: dune build] [dune-configurator: dune build] [ocamlgraph: dune build] [ppxlib: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "angstrom" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/angstrom.0.15.0)
-> compiled angstrom.0.15.0
Processing 200/349: [dune-configurator: dune build] [ocamlgraph: dune build] [ppxlib: dune build] [z3: make build]
-> installed angstrom.0.15.0
Processing 201/349: [dune-configurator: dune build] [ocamlgraph: dune build] [ppxlib: dune build] [z3: make build]
Processing 202/349: [dune-configurator: dune build] [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "dune-configurator" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/dune-configurator.3.1.1)
-> compiled dune-configurator.3.1.1
Processing 202/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
-> installed dune-configurator.3.1.1
Processing 203/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 204/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 205/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 206/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 207/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 208/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 209/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 210/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 211/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 212/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 213/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 214/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 215/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 216/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 217/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 218/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 219/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 220/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 221/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 222/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 223/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 224/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 225/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 226/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 227/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 228/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 229/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 230/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 231/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 232/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
Processing 233/349: [ocamlgraph: dune build] [ppxlib: dune build] [uri: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocamlgraph" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ocamlgraph.2.0.0)
-> compiled ocamlgraph.2.0.0
Processing 233/349: [ppxlib: dune build] [uri: dune build] [z3: make build]
-> installed ocamlgraph.2.0.0
Processing 234/349: [ppxlib: dune build] [uri: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "uri" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/uri.4.2.0)
-> compiled uri.4.2.0
Processing 234/349: [ppxlib: dune build] [z3: make build]
-> installed uri.4.2.0
Processing 235/349: [ppxlib: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppxlib" "-j" "47" "@install" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ppxlib.0.25.0~5.00preview)
-> compiled ppxlib.0.25.0~5.00preview
Processing 235/349: [z3: make build]
-> installed ppxlib.0.25.0~5.00preview
Processing 236/349: [z3: make build]
Processing 237/349: [z3: make build]
Processing 238/349: [z3: make build]
Processing 239/349: [z3: make build]
Processing 240/349: [z3: make build]
Processing 241/349: [z3: make build]
Processing 242/349: [z3: make build]
Processing 243/349: [z3: make build]
Processing 244/349: [z3: make build]
Processing 245/349: [z3: make build]
Processing 246/349: [z3: make build]
Processing 247/349: [ppx_pipebang: dune build] [z3: make build]
Processing 248/349: [ppx_pipebang: dune build] [z3: make build]
Processing 249/349: [ppx_pipebang: dune build] [z3: make build]
Processing 250/349: [ppx_pipebang: dune build] [z3: make build]
Processing 251/349: [ppx_pipebang: dune build] [z3: make build]
Processing 252/349: [ppx_pipebang: dune build] [z3: make build]
Processing 253/349: [ppx_pipebang: dune build] [z3: make build]
Processing 254/349: [ppx_pipebang: dune build] [z3: make build]
Processing 255/349: [ppx_pipebang: dune build] [z3: make build]
Processing 256/349: [ppx_pipebang: dune build] [z3: make build]
Processing 257/349: [ppx_pipebang: dune build] [z3: make build]
Processing 258/349: [ppx_pipebang: dune build] [z3: make build]
Processing 259/349: [ppx_pipebang: dune build] [z3: make build]
Processing 260/349: [ppx_pipebang: dune build] [z3: make build]
Processing 261/349: [ppx_pipebang: dune build] [z3: make build]
Processing 262/349: [ppx_pipebang: dune build] [z3: make build]
Processing 263/349: [ppx_pipebang: dune build] [z3: make build]
Processing 264/349: [ppx_pipebang: dune build] [z3: make build]
Processing 265/349: [ppx_pipebang: dune build] [z3: make build]
Processing 266/349: [ppx_pipebang: dune build] [z3: make build]
Processing 267/349: [ppx_pipebang: dune build] [z3: make build]
Processing 268/349: [ppx_pipebang: dune build] [z3: make build]
Processing 269/349: [ppx_pipebang: dune build] [z3: make build]
Processing 270/349: [ppx_pipebang: dune build] [z3: make build]
Processing 271/349: [ppx_pipebang: dune build] [z3: make build]
Processing 272/349: [ppx_pipebang: dune build] [z3: make build]
Processing 273/349: [ppx_pipebang: dune build] [z3: make build]
Processing 274/349: [ppx_pipebang: dune build] [z3: make build]
Processing 275/349: [ppx_pipebang: dune build] [z3: make build]
Processing 276/349: [ppx_pipebang: dune build] [z3: make build]
Processing 277/349: [ppx_pipebang: dune build] [z3: make build]
Processing 278/349: [ppx_pipebang: dune build] [z3: make build]
Processing 279/349: [ppx_pipebang: dune build] [z3: make build]
Processing 280/349: [ppx_pipebang: dune build] [z3: make build]
Processing 281/349: [ppx_pipebang: dune build] [z3: make build]
Processing 282/349: [ppx_pipebang: dune build] [z3: make build]
Processing 283/349: [ppx_pipebang: dune build] [z3: make build]
Processing 284/349: [ppx_pipebang: dune build] [z3: make build]
Processing 285/349: [ppx_pipebang: dune build] [z3: make build]
Processing 286/349: [ppx_pipebang: dune build] [z3: make build]
Processing 287/349: [ppx_pipebang: dune build] [z3: make build]
Processing 288/349: [ppx_pipebang: dune build] [z3: make build]
Processing 289/349: [ppx_pipebang: dune build] [z3: make build]
Processing 290/349: [ppx_pipebang: dune build] [z3: make build]
Processing 291/349: [ppx_pipebang: dune build] [z3: make build]
Processing 292/349: [ppx_pipebang: dune build] [z3: make build]
Processing 293/349: [ppx_pipebang: dune build] [z3: make build]
Processing 294/349: [ppx_pipebang: dune build] [z3: make build]
Processing 295/349: [ppx_pipebang: dune build] [z3: make build]
Processing 296/349: [ppx_pipebang: dune build] [z3: make build]
Processing 297/349: [ppx_pipebang: dune build] [z3: make build]
Processing 298/349: [ppx_pipebang: dune build] [z3: make build]
Processing 299/349: [ppx_pipebang: dune build] [z3: make build]
Processing 300/349: [ppx_pipebang: dune build] [z3: make build]
Processing 301/349: [ppx_pipebang: dune build] [z3: make build]
Processing 302/349: [ppx_pipebang: dune build] [z3: make build]
Processing 303/349: [ppx_pipebang: dune build] [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppx_pipebang" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/ppx_pipebang.v0.14.0)
-> compiled ppx_pipebang.v0.14.0
Processing 303/349: [z3: make build]
-> installed ppx_pipebang.v0.14.0
Processing 304/349: [z3: make build]
Processing 305/349: [z3: make build]
Processing 306/349: [z3: make build]
Processing 307/349: [z3: make build]
Processing 308/349: [z3: make build]
Processing 309/349: [z3: make build]
Processing 310/349: [z3: make build]
Processing 311/349: [z3: make build]
Processing 312/349: [z3: make build]
Processing 313/349: [z3: make build]
Processing 314/349: [z3: make build]
Processing 315/349: [z3: make build]
Processing 316/349: [z3: make build]
Processing 317/349: [z3: make build]
Processing 318/349: [z3: make build]
Processing 319/349: [z3: make build]
Processing 320/349: [z3: make build]
Processing 321/349: [z3: make build]
Processing 322/349: [z3: make build]
Processing 323/349: [z3: make build]
Processing 324/349: [z3: make build]
Processing 325/349: [z3: make build]
Processing 326/349: [z3: make build]
Processing 327/349: [z3: make build]
Processing 328/349: [z3: make build]
Processing 329/349: [z3: make build]
Processing 330/349: [z3: make build]
Processing 331/349: [z3: make build]
Processing 332/349: [z3: make build]
Processing 333/349: [z3: make build]
Processing 334/349: [z3: make build]
Processing 335/349: [z3: make build]
Processing 336/349: [z3: make build]
Processing 337/349: [z3: make build]
Processing 338/349: [z3: make build]
Processing 339/349: [z3: make build]
Processing 340/349: [z3: make build]
Processing 341/349: [z3: make build]
Processing 342/349: [z3: make build]
Processing 343/349: [z3: make build]
Processing 344/349: [z3: make build]
Processing 345/349: [z3: make build]
Processing 346/349: [z3: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-C" "build" "-j" "47" (CWD=/home/opam/.opam/5.0/.opam-switch/build/z3.4.8.14)
- make: Entering directory '/home/opam/.opam/5.0/.opam-switch/build/z3.4.8.14/build'
- src/smt/smt_statistics.cpp
- src/util/approx_nat.cpp
- src/util/common_msgs.cpp
- src/util/luby.cpp
- src/api/dll/dll.cpp
- ocamlfind ocamlc -package zarith -i -I api/ml -c ../src/api/ml/z3enums.ml > api/ml/z3enums.mli
- src/util/approx_set.cpp
- src/util/memory_manager.cpp
- src/util/page.cpp
- src/util/z3_exception.cpp
- ocamlfind ocamlc -package zarith -I api/ml -o api/ml/z3enums.cmi -c api/ml/z3enums.mli
- ocamlfind ocamlc -package zarith -I api/ml -o api/ml/z3enums.cmo -c ../src/api/ml/z3enums.ml
- src/util/bit_util.cpp
- src/util/scoped_ctrl_c.cpp
- src/util/scoped_timer.cpp
- src/util/stack.cpp
- src/util/timeit.cpp
- src/util/timeout.cpp
- ocamlfind ocamlc -package zarith -i -I api/ml -c ../src/api/ml/z3native.ml > api/ml/z3native.mli
- src/util/util.cpp
- ocamlfind ocamlc -package zarith -I api/ml -o api/ml/z3native.cmi -c api/ml/z3native.mli
- src/shell/z3_log_frontend.cpp
- src/api/api_commands.cpp
- src/util/fixed_bit_vector.cpp
- src/util/hash.cpp
- src/util/lbool.cpp
- src/util/mpn.cpp
- ocamlfind ocamlc -package zarith -I api/ml -o api/ml/z3native.cmo -c ../src/api/ml/z3native.ml
- cp ../src/api/ml/z3.mli api/ml/z3.mli
- ocamlfind ocamlc -package zarith -I api/ml -o api/ml/z3.cmi -c api/ml/z3.mli
- src/solver/smt_logics.cpp
- src/sat/sat_cutset.cpp
- src/math/automata/automaton.cpp
- src/util/bit_vector.cpp
- src/util/cmd_context_types.cpp
- src/util/debug.cpp
- src/util/min_cut.cpp
- src/util/permutation.cpp
- src/util/prime_generator.cpp
- src/util/region.cpp
- src/util/rlimit.cpp
- src/util/small_object_allocator.cpp
- src/util/smt2_util.cpp
- ocamlfind ocamlc -package zarith -I api/ml -o api/ml/z3.cmo -c ../src/api/ml/z3.ml
- src/util/symbol.cpp
- src/util/trace.cpp
- src/util/warning.cpp
- src/api/api_log.cpp
- src/api/z3_replayer.cpp
- src/api/api_log_macros.cpp
- src/math/simplex/bit_matrix.cpp
- src/math/dd/dd_bdd.cpp
- src/util/mpz.cpp
- src/util/statistics.cpp
- src/sat/sat_clause.cpp
- src/sat/sat_clause_use_list.cpp
- src/sat/sat_config.cpp
- src/sat/sat_watched.cpp
- src/params/pattern_inference_params.cpp
- src/math/realclosure/mpz_matrix.cpp
- src/math/interval/interval_mpq.cpp
- src/util/env_params.cpp
- src/util/gparams.cpp
- src/util/hwf.cpp
- src/util/mpf.cpp
- src/util/mpff.cpp
- src/util/mpfx.cpp
- src/util/mpq.cpp
- src/util/mpq_inf.cpp
- src/util/state_graph.cpp
- ocamlfind ocamlopt -package zarith -I api/ml -o api/ml/z3enums.cmx -c ../src/api/ml/z3enums.ml
- src/shell/mem_initializer.cpp
- src/smt/old_interval.cpp
- src/tactic/arith/linear_equation.cpp
- src/sat/sat_clause_set.cpp
- src/smt/params/dyn_ack_params.cpp
- src/smt/params/preprocessor_params.cpp
- src/smt/params/qi_params.cpp
- src/smt/params/theory_arith_params.cpp
- src/smt/params/theory_array_params.cpp
- src/smt/params/theory_bv_params.cpp
- src/smt/params/theory_pb_params.cpp
- src/smt/params/theory_seq_params.cpp
- src/smt/params/theory_str_params.cpp
- src/math/realclosure/realclosure.cpp
- src/math/dd/dd_pdd.cpp
- src/math/interval/dep_intervals.cpp
- src/util/inf_int_rational.cpp
- src/util/inf_rational.cpp
- src/util/mpbq.cpp
- src/util/params.cpp
- src/util/rational.cpp
- src/util/s_integer.cpp
- src/util/sexpr.cpp
- src/api/dll/mem_initializer.cpp
- ocamlfind ocamlopt -package zarith -I api/ml -o api/ml/z3native.cmx -c ../src/api/ml/z3native.ml
- src/muz/spacer/spacer_matrix.cpp
- src/tactic/arith/bound_propagator.cpp
- src/math/lp/lp_utils.cpp
- src/math/subpaving/subpaving.cpp
- src/math/subpaving/subpaving_hwf.cpp
- src/math/subpaving/subpaving_mpf.cpp
- src/math/subpaving/subpaving_mpff.cpp
- src/math/subpaving/subpaving_mpfx.cpp
- src/math/subpaving/subpaving_mpq.cpp
- src/math/hilbert/hilbert_basis.cpp
- src/math/simplex/simplex.cpp
- src/util/inf_s_integer.cpp
- src/util/zstring.cpp
- ocamlfind ocamlopt -package zarith -I api/ml -o api/ml/z3.cmx -c ../src/api/ml/z3.ml
- src/muz/rel/tbv.cpp
- src/smt/uses_theory.cpp
- src/sat/smt/sat_dual_solver.cpp
- src/ast/rewriter/func_decl_replace.cpp
- src/sat/dimacs.cpp
- src/sat/sat_aig_finder.cpp
- src/sat/sat_asymm_branch.cpp
- src/sat/sat_bcd.cpp
- src/sat/sat_big.cpp
- src/sat/sat_binspr.cpp
- src/sat/sat_cleaner.cpp
- src/sat/sat_cut_simplifier.cpp
- src/sat/sat_ddfw.cpp
- src/sat/sat_drat.cpp
- src/sat/sat_elim_eqs.cpp
- src/sat/sat_elim_vars.cpp
- src/sat/sat_gc.cpp
- src/sat/sat_integrity_checker.cpp
- src/sat/sat_local_search.cpp
- src/sat/sat_lookahead.cpp
- src/sat/sat_lut_finder.cpp
- src/sat/sat_model_converter.cpp
- src/sat/sat_mus.cpp
- src/sat/sat_npn3_finder.cpp
- src/sat/sat_parallel.cpp
- src/sat/sat_prob.cpp
- src/sat/sat_probing.cpp
- src/sat/sat_scc.cpp
- src/sat/sat_simplifier.cpp
- src/sat/sat_solver.cpp
- src/sat/sat_xor_finder.cpp
- src/math/grobner/pdd_simplifier.cpp
- src/math/grobner/pdd_solver.cpp
- src/params/context_params.cpp
- src/ast/ast_lt.cpp
- src/ast/display_dimacs.cpp
- src/ast/expr_stat.cpp
- src/ast/for_each_ast.cpp
- src/ast/for_each_expr.cpp
- src/ast/func_decl_dependencies.cpp
- src/ast/has_free_vars.cpp
- In file included from ../src/sat/sat_types.h:26,
- from ../src/sat/sat_integrity_checker.h:22,
- from ../src/sat/sat_integrity_checker.cpp:20:
- In member function 'void vector<T, CallDestructors, SZ>::resize(SZ, Args, ...) [with Args = char; T = char; bool CallDestructors = false; SZ = unsigned int]',
- inlined from 'void vector<T, CallDestructors, SZ>::reserve(SZ, const T&) [with T = char; bool CallDestructors = false; SZ = unsigned int]' at ../src/util/vector.h:697:19,
- inlined from 'void tracked_uint_set::insert(unsigned int)' at ../src/util/uint_set.h:245:25,
- inlined from 'bool sat::integrity_checker::check_disjoint_clauses() const' at ../src/sat/sat_integrity_checker.cpp:214:23:
- ../src/util/vector.h:593:50: warning: writing 4 bytes into a region of size 0 [-Wstringop-overflow=]
- 593 | reinterpret_cast<SZ *>(m_data)[SIZE_IDX] = s;
- | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
- src/ast/num_occurs.cpp
- src/ast/occurs.cpp
- src/ast/quantifier_stat.cpp
- src/ast/special_relations_decl_plugin.cpp
- src/math/simplex/model_based_opt.cpp
- src/math/polynomial/polynomial_cache.cpp
- src/muz/base/bind_variables.cpp
- src/smt/smt_value_sort.cpp
- src/ackermannization/ackr_helper.cpp
- src/cmd_context/tactic_manager.cpp
- src/parsers/util/cost_parser.cpp
- src/parsers/util/scanner.cpp
- src/parsers/util/simple_parser.cpp
- src/ast/rewriter/datatype_rewriter.cpp
- src/ast/rewriter/mk_extract_proc.cpp
- src/math/lp/binary_heap_priority_queue.cpp
- src/math/lp/lp_settings.cpp
- src/nlsat/nlsat_types.cpp
- src/sat/sat_aig_cuts.cpp
- src/sat/sat_anf_simplifier.cpp
- src/smt/params/smt_params.cpp
- src/ast/act_cache.cpp
- src/ast/ast_ll_pp.cpp
- src/ast/cost_evaluator.cpp
- src/ast/expr_map.cpp
- src/ast/format.cpp
- src/ast/macro_substitution.cpp
- src/ast/pp.cpp
- src/ast/used_vars.cpp
- src/math/polynomial/rpolynomial.cpp
- src/math/polynomial/sexpr2upolynomial.cpp
- src/math/polynomial/upolynomial.cpp
- src/api/dll/gparams_register_modules.cpp
- src/shell/main.cpp
- src/shell/gparams_register_modules.cpp
- src/smt/arith_eq_solver.cpp
- src/ast/rewriter/dl_rewriter.cpp
- src/ast/rewriter/mk_simplified_app.cpp
- src/math/lp/binary_heap_upair_queue.cpp
- src/math/lp/dense_matrix.cpp
- src/math/lp/indexed_vector.cpp
- src/nlsat/nlsat_clause.cpp
- src/nlsat/nlsat_interval_set.cpp
- src/ast/euf/euf_enode.cpp
- src/ast/expr_functors.cpp
- src/ast/value_generator.cpp
- src/math/polynomial/algebraic_numbers.cpp
- src/math/polynomial/polynomial.cpp
- src/math/polynomial/upolynomial_factorization.cpp
- src/smt/smt_clause.cpp
- src/smt/smt_farkas_util.cpp
- src/smt/smt_literal.cpp
- src/math/subpaving/tactic/expr2subpaving.cpp
- src/tactic/arith/bv2real_rewriter.cpp
- src/qe/mbp/mbp_solve_plugin.cpp
- src/ast/fpa/bv2fpa_converter.cpp
- src/ast/fpa/fpa2bv_converter.cpp
- src/ast/fpa/fpa2bv_rewriter.cpp
- src/ast/pattern/pattern_inference.cpp
- src/cmd_context/pdecl.cpp
- src/solver/check_logic.cpp
- src/ast/proofs/proof_checker.cpp
- src/ast/proofs/proof_utils.cpp
- src/parsers/util/pattern_validation.cpp
- src/tactic/equiv_proof_converter.cpp
- src/tactic/replace_proof_converter.cpp
- src/model/array_factory.cpp
- src/model/datatype_factory.cpp
- src/model/func_interp.cpp
- src/model/model_core.cpp
- src/model/model_pp.cpp
- src/model/model_smt2_pp.cpp
- src/model/model_v2_pp.cpp
- src/model/numeral_factory.cpp
- src/model/struct_factory.cpp
- src/model/value_factory.cpp
- src/ast/normal_forms/defined_names.cpp
- src/ast/normal_forms/elim_term_ite.cpp
- src/ast/normal_forms/name_exprs.cpp
- src/ast/normal_forms/nnf.cpp
- src/ast/normal_forms/pull_quant.cpp
- src/ast/macros/macro_util.cpp
- src/ast/macros/quantifier_macro_info.cpp
- src/ast/rewriter/arith_rewriter.cpp
- src/ast/rewriter/array_rewriter.cpp
- src/ast/rewriter/bit2int.cpp
- src/ast/rewriter/bool_rewriter.cpp
- src/ast/rewriter/bv_bounds.cpp
- src/ast/rewriter/bv_elim.cpp
- src/ast/rewriter/bv_rewriter.cpp
- src/ast/rewriter/cached_var_subst.cpp
- src/ast/rewriter/der.cpp
- src/ast/rewriter/distribute_forall.cpp
- src/ast/rewriter/elim_bounds.cpp
- src/ast/rewriter/enum2bv_rewriter.cpp
- src/ast/rewriter/expr_replacer.cpp
- src/ast/rewriter/expr_safe_replace.cpp
- src/ast/rewriter/factor_equivs.cpp
- src/ast/rewriter/factor_rewriter.cpp
- src/ast/rewriter/fpa_rewriter.cpp
- src/ast/rewriter/hoist_rewriter.cpp
- src/ast/rewriter/inj_axiom.cpp
- src/ast/rewriter/label_rewriter.cpp
- src/ast/rewriter/maximize_ac_sharing.cpp
- src/ast/rewriter/pb2bv_rewriter.cpp
- src/ast/rewriter/pb_rewriter.cpp
- src/ast/rewriter/push_app_ite.cpp
- src/ast/rewriter/rewriter.cpp
- src/ast/rewriter/seq_axioms.cpp
- src/ast/rewriter/seq_rewriter.cpp
- src/ast/rewriter/seq_skolem.cpp
- src/ast/rewriter/th_rewriter.cpp
- src/ast/rewriter/var_subst.cpp
- src/math/lp/nex_creator.cpp
- src/nlsat/nlsat_evaluator.cpp
- src/nlsat/nlsat_explain.cpp
- src/nlsat/nlsat_solver.cpp
- src/math/grobner/grobner.cpp
- src/ast/euf/euf_egraph.cpp
- src/ast/euf/euf_etable.cpp
- src/ast/arith_decl_plugin.cpp
- src/ast/array_decl_plugin.cpp
- src/ast/ast.cpp
- src/ast/ast_pp_dot.cpp
- src/ast/ast_printer.cpp
- src/ast/ast_smt2_pp.cpp
- src/ast/ast_smt_pp.cpp
- src/ast/ast_translation.cpp
- src/ast/ast_util.cpp
- src/ast/bv_decl_plugin.cpp
- src/ast/char_decl_plugin.cpp
- src/ast/datatype_decl_plugin.cpp
- src/ast/decl_collector.cpp
- src/ast/dl_decl_plugin.cpp
- src/ast/expr2polynomial.cpp
- src/ast/expr2var.cpp
- src/ast/expr_abstract.cpp
- src/ast/expr_substitution.cpp
- src/ast/fpa_decl_plugin.cpp
- src/ast/pb_decl_plugin.cpp
- src/ast/recfun_decl_plugin.cpp
- src/ast/reg_decl_plugins.cpp
- src/ast/seq_decl_plugin.cpp
- src/ast/shared_occs.cpp
- src/ast/static_features.cpp
- src/ast/well_sorted.cpp
- src/muz/spacer/spacer_antiunify.cpp
- src/muz/spacer/spacer_mev_array.cpp
- src/qe/nlarith_util.cpp
- src/qe/qe_array_plugin.cpp
- src/qe/qe_bool_plugin.cpp
- src/qe/qe_bv_plugin.cpp
- src/qe/qe_datatype_plugin.cpp
- src/qe/qe_dl_plugin.cpp
- src/smt/fingerprints.cpp
- src/smt/smt_almost_cg_table.cpp
- src/smt/smt_cg_table.cpp
- src/smt/theory_opt.cpp
- src/smt/watch_list.cpp
- src/smt/proto_model/proto_model.cpp
- src/sat/smt/pb_constraint.cpp
- src/qe/mbp/mbp_arrays.cpp
- src/qe/mbp/mbp_datatypes.cpp
- src/qe/mbp/mbp_plugin.cpp
- src/qe/mbp/mbp_term_graph.cpp
- src/ast/rewriter/bit_blaster/bit_blaster.cpp
- src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp
- src/ast/substitution/matcher.cpp
- src/ast/substitution/substitution.cpp
- src/ast/substitution/substitution_tree.cpp
- src/ast/substitution/unifier.cpp
- src/model/model.cpp
- src/model/model2expr.cpp
- src/model/model_evaluator.cpp
- src/model/model_implicant.cpp
- src/model/model_macro_solver.cpp
- src/ast/macros/macro_manager.cpp
- src/ast/macros/quasi_macros.cpp
- src/ast/rewriter/ast_counter.cpp
- src/ast/rewriter/quant_hoist.cpp
- src/ast/rewriter/recfun_rewriter.cpp
- src/ast/rewriter/seq_eq_solver.cpp
- src/ast/rewriter/value_sweep.cpp
- src/math/lp/matrix.cpp
- src/math/lp/permutation_matrix.cpp
- src/ast/ast_pp_util.cpp
- src/opt/pb_sls.cpp
- src/tactic/ufbv/ufbv_rewriter.cpp
- src/muz/spacer/spacer_iuc_proof.cpp
- src/muz/spacer/spacer_mbc.cpp
- src/muz/spacer/spacer_qe_project.cpp
- src/muz/spacer/spacer_sem_matcher.cpp
- src/muz/spacer/spacer_sym_mux.cpp
- src/muz/spacer/spacer_unsat_core_learner.cpp
- src/muz/base/dl_boogie_proof.cpp
- src/qe/qe_mbp.cpp
- src/tactic/bv/bit_blaster_model_converter.cpp
- src/qe/mbp/mbp_arith.cpp
- src/ackermannization/ackr_model_converter.cpp
- src/ackermannization/lackr_model_constructor.cpp
- src/tactic/model_converter.cpp
- src/ast/macros/macro_finder.cpp
- src/math/lp/eta_matrix.cpp
- src/math/lp/scaler.cpp
- src/tactic/fpa/fpa2bv_model_converter.cpp
- src/tactic/smtlogics/qfufbv_ackr_model_converter.cpp
- src/tactic/smtlogics/smt_tactic.cpp
- src/sat/smt/atom2bool_var.cpp
- src/sat/smt/bv_ackerman.cpp
- src/sat/smt/pb_pb.cpp
- src/tactic/arith/bound_manager.cpp
- src/tactic/arith/bv2int_rewriter.cpp
- src/tactic/arith/pb2bv_model_converter.cpp
- src/tactic/arith/probe_arith.cpp
- src/tactic/core/collect_occs.cpp
- src/ackermannization/ackermannize_bv_model_converter.cpp
- src/ackermannization/lackr_model_converter_lazy.cpp
- src/tactic/aig/aig.cpp
- src/solver/assertions/asserted_formulas.cpp
- src/solver/check_sat_result.cpp
- src/tactic/dependency_converter.cpp
- src/tactic/generic_model_converter.cpp
- src/tactic/goal.cpp
- src/tactic/goal_num_occurs.cpp
- src/tactic/goal_shared_occs.cpp
- src/tactic/goal_util.cpp
- src/tactic/horn_subsume_model_converter.cpp
- src/tactic/probe.cpp
- src/tactic/proof_converter.cpp
- src/opt/opt_pareto.cpp
- src/tactic/portfolio/default_tactic.cpp
- src/tactic/portfolio/solver2lookahead.cpp
- src/tactic/portfolio/solver_subsumption_tactic.cpp
- src/tactic/fpa/fpa2bv_tactic.cpp
- src/tactic/fpa/qffplra_tactic.cpp
- src/tactic/ufbv/macro_finder_tactic.cpp
- src/tactic/ufbv/quasi_macros_tactic.cpp
- src/tactic/ufbv/ufbv_rewriter_tactic.cpp
- src/tactic/ufbv/ufbv_tactic.cpp
- src/tactic/smtlogics/nra_tactic.cpp
- src/tactic/smtlogics/qfauflia_tactic.cpp
- src/tactic/smtlogics/qfidl_tactic.cpp
- src/tactic/smtlogics/qflia_tactic.cpp
- src/tactic/smtlogics/qflra_tactic.cpp
- src/tactic/smtlogics/qfnia_tactic.cpp
- src/tactic/smtlogics/qfnra_tactic.cpp
- src/tactic/smtlogics/qfuf_tactic.cpp
- src/tactic/smtlogics/quant_tactics.cpp
- src/muz/spacer/spacer_farkas_learner.cpp
- src/muz/spacer/spacer_iuc_solver.cpp
- src/muz/spacer/spacer_proof_utils.cpp
- src/muz/spacer/spacer_unsat_core_plugin.cpp
- src/muz/rel/doc.cpp
- src/muz/base/hnf.cpp
- src/tactic/fd_solver/bounded_int2bv_solver.cpp
- src/tactic/fd_solver/enum2bv_solver.cpp
- src/tactic/fd_solver/fd_solver.cpp
- src/tactic/fd_solver/pb2bv_solver.cpp
- src/tactic/fd_solver/smtfd_solver.cpp
- src/qe/nlqsat.cpp
- src/qe/qe_arith_plugin.cpp
- src/qe/qe_lite.cpp
- src/qe/qe_mbi.cpp
- src/qe/qe_tactic.cpp
- src/qe/qsat.cpp
- src/tactic/sls/sls_engine.cpp
- src/tactic/sls/sls_tactic.cpp
- src/smt/tactic/ctx_solver_simplify_tactic.cpp
- src/smt/tactic/smt_tactic_core.cpp
- src/tactic/bv/bit_blaster_tactic.cpp
- src/tactic/bv/bv1_blaster_tactic.cpp
- src/tactic/bv/bv_bound_chk_tactic.cpp
- src/tactic/bv/bv_bounds_tactic.cpp
- src/tactic/bv/bv_size_reduction_tactic.cpp
- src/tactic/bv/bvarray2uf_rewriter.cpp
- src/tactic/bv/bvarray2uf_tactic.cpp
- src/tactic/bv/dt2bv_tactic.cpp
- src/tactic/bv/elim_small_bv_tactic.cpp
- src/tactic/bv/max_bv_sharing_tactic.cpp
- src/smt/smt_implied_equalities.cpp
- src/smt/smt_solver.cpp
- src/math/subpaving/tactic/subpaving_tactic.cpp
- src/nlsat/tactic/goal2nlsat.cpp
- src/nlsat/tactic/nlsat_tactic.cpp
- src/nlsat/tactic/qfnra_nlsat_tactic.cpp
- src/sat/tactic/sat_tactic.cpp
- src/sat/smt/pb_card.cpp
- src/sat/smt/pb_internalize.cpp
- src/tactic/arith/add_bounds_tactic.cpp
- src/tactic/arith/arith_bounds_tactic.cpp
- src/tactic/arith/card2bv_tactic.cpp
- src/tactic/arith/degree_shift_tactic.cpp
- src/tactic/arith/diff_neq_tactic.cpp
- src/tactic/arith/eq2bv_tactic.cpp
- src/tactic/arith/factor_tactic.cpp
- src/tactic/arith/fix_dl_var_tactic.cpp
- src/tactic/arith/fm_tactic.cpp
- src/tactic/arith/lia2card_tactic.cpp
- src/tactic/arith/lia2pb_tactic.cpp
- src/tactic/arith/nla2bv_tactic.cpp
- src/tactic/arith/normalize_bounds_tactic.cpp
- src/tactic/arith/pb2bv_tactic.cpp
- src/tactic/arith/propagate_ineqs_tactic.cpp
- src/tactic/arith/purify_arith_tactic.cpp
- src/tactic/arith/recover_01_tactic.cpp
- src/tactic/core/blast_term_ite_tactic.cpp
- src/tactic/core/cofactor_elim_term_ite.cpp
- src/tactic/core/cofactor_term_ite_tactic.cpp
- src/tactic/core/collect_statistics_tactic.cpp
- src/tactic/core/ctx_simplify_tactic.cpp
- src/tactic/core/der_tactic.cpp
- src/tactic/core/distribute_forall_tactic.cpp
- src/tactic/core/dom_simplify_tactic.cpp
- src/tactic/core/elim_term_ite_tactic.cpp
- src/tactic/core/elim_uncnstr_tactic.cpp
- src/tactic/core/injectivity_tactic.cpp
- src/tactic/core/nnf_tactic.cpp
- src/tactic/core/occf_tactic.cpp
- src/tactic/core/pb_preprocess_tactic.cpp
- src/tactic/core/propagate_values_tactic.cpp
- src/tactic/core/reduce_args_tactic.cpp
- src/tactic/core/reduce_invertible_tactic.cpp
- src/tactic/core/simplify_tactic.cpp
- src/tactic/core/solve_eqs_tactic.cpp
- src/tactic/core/special_relations_tactic.cpp
- src/tactic/core/split_clause_tactic.cpp
- src/tactic/core/symmetry_reduce_tactic.cpp
- src/tactic/core/tseitin_cnf_tactic.cpp
- src/ackermannization/ackr_bound_probe.cpp
- src/ackermannization/lackr.cpp
- src/tactic/aig/aig_tactic.cpp
- src/solver/combined_solver.cpp
- src/solver/mus.cpp
- src/solver/parallel_tactic.cpp
- src/solver/solver.cpp
- src/solver/solver2tactic.cpp
- src/solver/solver_na2as.cpp
- src/solver/solver_pool.cpp
- src/solver/tactic2solver.cpp
- src/tactic/tactic.cpp
- src/tactic/tactical.cpp
- src/math/lp/row_eta_matrix.cpp
- src/math/lp/square_dense_submatrix.cpp
- src/math/lp/square_sparse_matrix.cpp
- src/shell/dimacs_frontend.cpp
- src/cmd_context/extra_cmds/dbg_cmds.cpp
- src/cmd_context/extra_cmds/polynomial_cmds.cpp
- src/cmd_context/extra_cmds/subpaving_cmds.cpp
- src/tactic/fpa/qffp_tactic.cpp
- src/tactic/smtlogics/qfaufbv_tactic.cpp
- src/tactic/smtlogics/qfbv_tactic.cpp
- src/tactic/smtlogics/qfufbv_tactic.cpp
- src/qe/qe.cpp
- src/qe/qe_cmd.cpp
- src/tactic/sls/bvsls_opt_engine.cpp
- src/smt/tactic/unit_subsumption_tactic.cpp
- src/smt/arith_eq_adapter.cpp
- src/smt/dyn_ack.cpp
- src/smt/expr_context_simplifier.cpp
- src/smt/mam.cpp
- src/smt/qi_queue.cpp
- src/smt/seq_axioms.cpp
- src/smt/seq_offset_eq.cpp
- src/smt/smt_arith_value.cpp
- src/smt/smt_case_split_queue.cpp
- src/smt/smt_checker.cpp
- src/smt/smt_clause_proof.cpp
- src/smt/smt_conflict_resolution.cpp
- src/smt/smt_consequences.cpp
- src/smt/smt_context_inv.cpp
- src/smt/smt_context_pp.cpp
- src/smt/smt_context_stat.cpp
- src/smt/smt_enode.cpp
- src/smt/smt_for_each_relevant_expr.cpp
- src/smt/smt_internalizer.cpp
- src/smt/smt_justification.cpp
- src/smt/smt_kernel.cpp
- src/smt/smt_lookahead.cpp
- src/smt/smt_model_checker.cpp
- src/smt/smt_model_finder.cpp
- src/smt/smt_model_generator.cpp
- src/smt/smt_parallel.cpp
- src/smt/smt_quantifier.cpp
- src/smt/smt_quick_checker.cpp
- src/smt/smt_relevancy.cpp
- src/smt/smt_theory.cpp
- src/smt/theory_array.cpp
- src/smt/theory_array_bapa.cpp
- src/smt/theory_array_base.cpp
- src/smt/theory_array_full.cpp
- src/smt/theory_bv.cpp
- src/smt/theory_char.cpp
- src/smt/theory_datatype.cpp
- src/smt/theory_dl.cpp
- src/smt/theory_dummy.cpp
- src/smt/theory_fpa.cpp
- src/smt/theory_pb.cpp
- src/smt/theory_recfun.cpp
- src/smt/theory_special_relations.cpp
- src/smt/theory_str.cpp
- src/smt/theory_str_mc.cpp
- src/smt/theory_str_regex.cpp
- src/smt/theory_user_propagator.cpp
- src/smt/theory_wmaxsat.cpp
- src/sat/tactic/goal2sat.cpp
- src/sat/tactic/sat2goal.cpp
- src/sat/smt/array_axioms.cpp
- src/sat/smt/array_diagnostics.cpp
- src/sat/smt/array_internalize.cpp
- src/sat/smt/array_model.cpp
- src/sat/smt/array_solver.cpp
- src/sat/smt/bv_delay_internalize.cpp
- src/sat/smt/bv_internalize.cpp
- src/sat/smt/bv_invariant.cpp
- src/sat/smt/bv_solver.cpp
- src/sat/smt/dt_solver.cpp
- src/sat/smt/euf_ackerman.cpp
- src/sat/smt/euf_internalize.cpp
- src/sat/smt/euf_invariant.cpp
- src/sat/smt/euf_model.cpp
- src/sat/smt/euf_proof.cpp
- src/sat/smt/euf_relevancy.cpp
- src/sat/smt/pb_solver.cpp
- src/sat/smt/q_clause.cpp
- src/sat/smt/recfun_solver.cpp
- src/sat/smt/sat_th.cpp
- src/sat/smt/user_solver.cpp
- src/ackermannization/ackermannize_bv_tactic.cpp
- src/cmd_context/basic_cmds.cpp
- src/cmd_context/cmd_context.cpp
- src/cmd_context/cmd_context_to_goal.cpp
- src/cmd_context/cmd_util.cpp
- src/cmd_context/echo_tactic.cpp
- src/cmd_context/eval_cmd.cpp
- src/cmd_context/parametric_cmd.cpp
- src/cmd_context/simplify_cmd.cpp
- src/cmd_context/tactic_cmds.cpp
- src/math/lp/lu.cpp
- src/api/dll/install_tactic.cpp
- src/shell/install_tactic.cpp
- src/api/api_algebraic.cpp
- src/api/api_arith.cpp
- src/api/api_array.cpp
- src/api/api_ast.cpp
- src/api/api_ast_map.cpp
- src/api/api_ast_vector.cpp
- src/api/api_bv.cpp
- src/api/api_config_params.cpp
- src/api/api_context.cpp
- src/api/api_datatype.cpp
- src/api/api_fpa.cpp
- src/api/api_goal.cpp
- src/api/api_model.cpp
- src/api/api_numeral.cpp
- src/api/api_params.cpp
- src/api/api_pb.cpp
- src/api/api_polynomial.cpp
- src/api/api_qe.cpp
- src/api/api_quant.cpp
- src/api/api_rcf.cpp
- src/api/api_seq.cpp
- src/api/api_solver.cpp
- src/api/api_special_relations.cpp
- src/api/api_stats.cpp
- src/api/api_tactic.cpp
- src/opt/opt_lns.cpp
- src/tactic/portfolio/smt_strategic_solver.cpp
- src/muz/spacer/spacer_legacy_mbp.cpp
- src/muz/spacer/spacer_legacy_mev.cpp
- src/muz/spacer/spacer_manager.cpp
- src/muz/spacer/spacer_prop_solver.cpp
- src/muz/spacer/spacer_util.cpp
- src/sat/sat_solver/inc_sat_solver.cpp
- src/smt/smt2_extra_cmds.cpp
- src/smt/smt_context.cpp
- src/smt/smt_setup.cpp
- src/smt/theory_diff_logic.cpp
- src/smt/theory_seq.cpp
- src/smt/theory_utvpi.cpp
- src/sat/smt/fpa_solver.cpp
- src/ast/pattern/expr_pattern_match.cpp
- src/parsers/smt2/marshal.cpp
- src/parsers/smt2/smt2parser.cpp
- src/parsers/smt2/smt2scanner.cpp
- src/math/lp/core_solver_pretty_printer.cpp
- src/math/lp/lp_core_solver_base.cpp
- src/math/lp/lp_dual_core_solver.cpp
- src/shell/drat_frontend.cpp
- src/opt/opt_solver.cpp
- src/opt/optsmt.cpp
- src/opt/sortmax.cpp
- src/opt/wmax.cpp
- src/muz/spacer/spacer_generalizers.cpp
- src/muz/spacer/spacer_json.cpp
- src/muz/spacer/spacer_quant_generalizer.cpp
- src/muz/dataflow/dataflow.cpp
- src/smt/seq_eq_solver.cpp
- src/smt/seq_ne_solver.cpp
- src/smt/seq_regex.cpp
- src/smt/theory_arith.cpp
- src/smt/theory_dense_diff_logic.cpp
- src/math/lp/lp_solver.cpp
- src/shell/opt_frontend.cpp
- src/opt/maxlex.cpp
- src/opt/maxres.cpp
- src/opt/maxsmt.cpp
- src/opt/opt_cmds.cpp
- src/opt/opt_context.cpp
- src/opt/opt_parse.cpp
- src/muz/fp/datalog_parser.cpp
- src/muz/ddnf/ddnf.cpp
- src/muz/clp/clp_context.cpp
- src/muz/spacer/spacer_arith_generalizers.cpp
- src/muz/spacer/spacer_callback.cpp
- src/muz/spacer/spacer_pdr.cpp
- src/muz/spacer/spacer_sat_answer.cpp
- src/muz/transforms/dl_mk_array_eq_rewrite.cpp
- src/muz/transforms/dl_mk_array_instantiation.cpp
- src/muz/transforms/dl_mk_backwards.cpp
- src/muz/transforms/dl_mk_bit_blast.cpp
- src/muz/transforms/dl_mk_coi_filter.cpp
- src/muz/transforms/dl_mk_filter_rules.cpp
- src/muz/transforms/dl_mk_karr_invariants.cpp
- src/muz/transforms/dl_mk_loop_counter.cpp
- src/muz/transforms/dl_mk_magic_sets.cpp
- src/muz/transforms/dl_mk_magic_symbolic.cpp
- src/muz/transforms/dl_mk_quantifier_abstraction.cpp
- src/muz/transforms/dl_mk_quantifier_instantiation.cpp
- src/muz/transforms/dl_mk_scale.cpp
- src/muz/transforms/dl_mk_separate_negated_tails.cpp
- src/muz/transforms/dl_mk_unbound_compressor.cpp
- src/muz/base/dl_context.cpp
- src/muz/base/dl_costs.cpp
- src/muz/base/dl_rule.cpp
- src/muz/base/dl_rule_set.cpp
- src/muz/base/dl_rule_subsumption_index.cpp
- src/muz/base/dl_rule_transformer.cpp
- src/muz/base/dl_util.cpp
- src/muz/base/rule_properties.cpp
- src/sat/smt/q_mam.cpp
- src/sat/smt/q_mbi.cpp
- src/sat/smt/q_model_fixer.cpp
- src/sat/smt/q_queue.cpp
- src/sat/smt/q_solver.cpp
- src/math/lp/gomory.cpp
- src/math/lp/hnf_cutter.cpp
- src/math/lp/int_cube.cpp
- src/math/lp/int_gcd_test.cpp
- src/math/lp/int_solver.cpp
- src/math/lp/lar_core_solver.cpp
- src/math/lp/lar_solver.cpp
- src/math/lp/lp_dual_simplex.cpp
- src/math/lp/lp_primal_core_solver.cpp
- src/math/lp/mon_eq.cpp
- src/math/lp/static_matrix.cpp
- src/shell/smtlib_frontend.cpp
- src/api/api_opt.cpp
- src/api/api_parsers.cpp
- src/muz/fp/horn_tactic.cpp
- src/muz/tab/tab_context.cpp
- src/muz/spacer/spacer_context.cpp
- src/muz/spacer/spacer_legacy_frames.cpp
- src/muz/rel/dl_external_relation.cpp
- src/muz/transforms/dl_mk_array_blast.cpp
- src/muz/transforms/dl_mk_coalesce.cpp
- src/muz/transforms/dl_mk_elim_term_ite.cpp
- src/muz/transforms/dl_mk_interp_tail_simplifier.cpp
- src/muz/transforms/dl_mk_rule_inliner.cpp
- src/muz/transforms/dl_mk_slice.cpp
- src/muz/transforms/dl_mk_subsumption_checker.cpp
- src/muz/transforms/dl_mk_unfold.cpp
- src/muz/transforms/dl_transforms.cpp
- src/sat/smt/q_ematch.cpp
- src/sat/smt/q_eval.cpp
- src/math/lp/factorization.cpp
- src/math/lp/int_branch.cpp
- src/math/lp/lp_primal_simplex.cpp
- src/math/lp/random_updater.cpp
- src/shell/lp_frontend.cpp
- src/muz/bmc/dl_bmc_engine.cpp
- src/muz/spacer/spacer_dl_interface.cpp
- src/muz/rel/check_relation.cpp
- src/muz/rel/dl_base.cpp
- src/muz/rel/dl_instruction.cpp
- src/muz/rel/dl_interval_relation.cpp
- src/muz/rel/dl_lazy_table.cpp
- src/muz/rel/dl_mk_similarity_compressor.cpp
- src/muz/rel/dl_mk_simple_joins.cpp
- src/muz/rel/dl_product_relation.cpp
- src/muz/rel/dl_sieve_relation.cpp
- src/muz/rel/dl_sparse_table.cpp
- src/muz/rel/dl_table.cpp
- src/muz/rel/dl_table_relation.cpp
- src/muz/rel/udoc_relation.cpp
- src/muz/transforms/dl_mk_synchronize.cpp
- src/api/api_datalog.cpp
- src/muz/fp/dl_cmds.cpp
- src/muz/fp/dl_register_engine.cpp
- src/muz/rel/aig_exporter.cpp
- src/muz/rel/dl_check_table.cpp
- src/muz/rel/dl_compiler.cpp
- src/muz/rel/dl_finite_product_relation.cpp
- src/muz/rel/dl_mk_explanations.cpp
- src/muz/rel/dl_relation_manager.cpp
- src/muz/rel/karr_relation.cpp
- src/muz/rel/rel_context.cpp
- src/shell/datalog_frontend.cpp
- src/muz/rel/dl_bound_relation.cpp
- src/math/lp/emonics.cpp
- src/math/lp/factorization_factory_imp.cpp
- src/math/lp/horner.cpp
- src/math/lp/monomial_bounds.cpp
- src/math/lp/nla_basics_lemmas.cpp
- src/math/lp/nla_common.cpp
- src/math/lp/nla_core.cpp
- src/math/lp/nla_intervals.cpp
- src/math/lp/nla_monotone_lemmas.cpp
- src/math/lp/nla_order_lemmas.cpp
- src/math/lp/nla_solver.cpp
- src/math/lp/nla_tangent_lemmas.cpp
- src/math/lp/nra_solver.cpp
- src/smt/theory_lra.cpp
- src/sat/smt/arith_axioms.cpp
- src/sat/smt/arith_diagnostics.cpp
- src/sat/smt/arith_internalize.cpp
- src/sat/smt/arith_solver.cpp
- src/sat/smt/euf_solver.cpp
- g++ -o z3 shell/datalog_frontend.o shell/dimacs_frontend.o shell/drat_frontend.o shell/lp_frontend.o shell/main.o shell/opt_frontend.o shell/smtlib_frontend.o shell/z3_log_frontend.o shell/install_tactic.o shell/mem_initializer.o shell/gparams_register_modules.o cmd_context/extra_cmds/extra_cmds.a api/api.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/ufbv/ufbv_tactic.a tactic/smtlogics/smtlogic_tactics.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a smt/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a qe/mbp/mbp.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a ast/rewriter/bit_blaster/bit_blaster.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a solver/assertions/solver_assertions.a ast/pattern/pattern.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a solver/solver.a ast/proofs/proofs.a parsers/util/parser_util.a ast/substitution/substitution.a tactic/tactic.a model/model.a ast/normal_forms/normal_forms.a ast/macros/macros.a ast/rewriter/rewriter.a math/lp/lp.a nlsat/nlsat.a sat/sat.a math/grobner/grobner.a smt/params/smt_params.a params/params.a ast/euf/euf.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread
- g++ -o libz3.so -shared api/dll/dll.o api/dll/install_tactic.o api/dll/mem_initializer.o api/dll/gparams_register_modules.o api/api_algebraic.o api/api_arith.o api/api_array.o api/api_ast.o api/api_ast_map.o api/api_ast_vector.o api/api_bv.o api/api_config_params.o api/api_context.o api/api_datalog.o api/api_datatype.o api/api_fpa.o api/api_goal.o api/api_log.o api/api_model.o api/api_numeral.o api/api_opt.o api/api_params.o api/api_parsers.o api/api_pb.o api/api_polynomial.o api/api_qe.o api/api_quant.o api/api_rcf.o api/api_seq.o api/api_solver.o api/api_special_relations.o api/api_stats.o api/api_tactic.o api/z3_replayer.o api/api_log_macros.o api/api_commands.o cmd_context/extra_cmds/extra_cmds.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/ufbv/ufbv_tactic.a tactic/smtlogics/smtlogic_tactics.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a smt/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a qe/mbp/mbp.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a ast/rewriter/bit_blaster/bit_blaster.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a solver/assertions/solver_assertions.a ast/pattern/pattern.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a solver/solver.a ast/proofs/proofs.a parsers/util/parser_util.a ast/substitution/substitution.a tactic/tactic.a model/model.a ast/normal_forms/normal_forms.a ast/macros/macros.a ast/rewriter/rewriter.a math/lp/lp.a nlsat/nlsat.a sat/sat.a math/grobner/grobner.a smt/params/smt_params.a params/params.a ast/euf/euf.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread -Wl,-soname,libz3.so
- ln -f -s ../libz3.so python
- ocamlfind ocamlc -package zarith -ccopt "-D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -D_USE_THREAD_LOCAL -fvisibility=hidden -fvisibility-inlines-hidden -c -mfpmath=sse -msse -msse2 -O3 -D_LINUX_ -fPIC -I /home/opam/.opam/5.0/lib/ocaml -I ../src/api -I ../src/api/ml -o api/ml/z3native_stubs.o" -c ../src/api/ml/z3native_stubs.c
- cc1: warning: command-line option '-fvisibility-inlines-hidden' is valid for C++/ObjC++ but not for C
- ocamlmklib -o api/ml/z3ml -I api/ml -L. api/ml/z3native_stubs.o api/ml/z3enums.cmo api/ml/z3native.cmo api/ml/z3.cmo -lz3 -lstdc++ -ccopt -L$(ocamlfind printconf path)/stublibs -dllpath $(ocamlfind printconf path)/stublibs
- ocamlmklib -o api/ml/z3ml -I api/ml -L. api/ml/z3native_stubs.o api/ml/z3enums.cmx api/ml/z3native.cmx api/ml/z3.cmx -lz3 -lstdc++ -ccopt -L$(ocamlfind printconf path)/stublibs -dllpath $(ocamlfind printconf path)/stublibs
- ocamlfind ocamlopt -package zarith -linkall -shared -o api/ml/z3ml.cmxs -I . -I api/ml api/ml/z3ml.cmxa
- Z3 was successfully built.
- Z3Py scripts can already be executed in the 'build/python' directory.
- Z3Py scripts stored in arbitrary directories can be executed if the 'build/python' directory is added to the PYTHONPATH environment variable and the 'build' directory is added to the LD_LIBRARY_PATH environment variable.
- Use the following command to install Z3 at prefix /usr.
- sudo make install
- make: Leaving directory '/home/opam/.opam/5.0/.opam-switch/build/z3.4.8.14/build'
-> compiled z3.4.8.14
Processing 347/349: [z3: sh]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "sh" "-c" "ocamlfind install z3 build/api/ml/* -dll build/libz3.*" (CWD=/home/opam/.opam/5.0/.opam-switch/build/z3.4.8.14)
- Installed /home/opam/.opam/5.0/lib/z3/z3native_stubs.o
- Installed /home/opam/.opam/5.0/lib/z3/z3native.o
- Installed /home/opam/.opam/5.0/lib/z3/z3native.mli
- Installed /home/opam/.opam/5.0/lib/z3/z3native.cmx
- Installed /home/opam/.opam/5.0/lib/z3/z3native.cmo
- Installed /home/opam/.opam/5.0/lib/z3/z3native.cmi
- Installed /home/opam/.opam/5.0/lib/z3/z3ml.cmxs
- Installed /home/opam/.opam/5.0/lib/z3/z3ml.cmxa
- Installed /home/opam/.opam/5.0/lib/z3/z3ml.cma
- Installed /home/opam/.opam/5.0/lib/z3/z3ml.a
- Installed /home/opam/.opam/5.0/lib/z3/z3enums.o
- Installed /home/opam/.opam/5.0/lib/z3/z3enums.mli
- Installed /home/opam/.opam/5.0/lib/z3/z3enums.cmx
- Installed /home/opam/.opam/5.0/lib/z3/z3enums.cmo
- Installed /home/opam/.opam/5.0/lib/z3/z3enums.cmi
- Installed /home/opam/.opam/5.0/lib/z3/z3.o
- Installed /home/opam/.opam/5.0/lib/z3/z3.mli
- Installed /home/opam/.opam/5.0/lib/z3/z3.cmx
- Installed /home/opam/.opam/5.0/lib/z3/z3.cmo
- Installed /home/opam/.opam/5.0/lib/z3/z3.cmi
- Installed /home/opam/.opam/5.0/lib/z3/libz3ml.a
- Installed /home/opam/.opam/5.0/lib/stublibs/dllz3ml.so
- Installed /home/opam/.opam/5.0/lib/stublibs/dllz3ml.so.owner
- Installed /home/opam/.opam/5.0/lib/stublibs/libz3.so
- Installed /home/opam/.opam/5.0/lib/stublibs/libz3.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.0/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/5.0/lib/z3/META
Processing 347/349: [z3: cp]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "cp" "build/z3" "/home/opam/.opam/5.0/bin/z3" (CWD=/home/opam/.opam/5.0/.opam-switch/build/z3.4.8.14)
-> installed z3.4.8.14
#=== ERROR while compiling sexplib0.v0.14.0 ===================================#
# context 2.2.0~alpha~dev | linux/x86_64 | ocaml-variants.5.0.0+trunk | file:///home/opam/opam-repository
# path ~/.opam/5.0/.opam-switch/build/sexplib0.v0.14.0
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p sexplib0 -j 47
# exit-code 1
# env-file ~/.opam/log/sexplib0-10-9d7209.env
# output-file ~/.opam/log/sexplib0-10-9d7209.out
### output ###
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.sexplib0.objs/byte -intf-suffix .ml -no-alias-deps -open Sexplib0__ -o src/.sexplib0.objs/byte/sexplib0__Sexp_conv.cmo -c -impl src/sexp_conv.ml)
# File "src/sexp_conv.ml", line 105, characters 15-31:
# 105 | let id = Obj.extension_id
# ^^^^^^^^^^^^^^^^
# Error: Unbound value Obj.extension_id
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlopt.opt -w -40 -g -I src/.sexplib0.objs/byte -I src/.sexplib0.objs/native -intf-suffix .ml -no-alias-deps -open Sexplib0__ -o src/.sexplib0.objs/native/sexplib0__Sexp_conv.cmx -c -impl src/sexp_conv.ml)
# File "src/sexp_conv.ml", line 105, characters 15-31:
# 105 | let id = Obj.extension_id
# ^^^^^^^^^^^^^^^^
# Error: Unbound value Obj.extension_id
#=== ERROR while compiling ocplib-endian.1.2 ==================================#
# context 2.2.0~alpha~dev | linux/x86_64 | ocaml-variants.5.0.0+trunk | file:///home/opam/opam-repository
# path ~/.opam/5.0/.opam-switch/build/ocplib-endian.1.2
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p ocplib-endian -j 47 @install
# exit-code 1
# env-file ~/.opam/log/ocplib-endian-10-57f3d9.env
# output-file ~/.opam/log/ocplib-endian-10-57f3d9.out
### output ###
# File "src/dune", line 75, characters 26-34:
# 75 | (libraries ocplib_endian bigarray bytes))
# ^^^^^^^^
# Error: Library "bigarray" not found.
# -> required by library "ocplib-endian.bigstring" in _build/default/src
# -> required by _build/default/META.ocplib-endian
# -> required by _build/install/default/lib/ocplib-endian/META
# -> required by _build/default/ocplib-endian.install
# -> required by alias install
#=== ERROR while compiling ocamlmod.0.0.9 =====================================#
# context 2.2.0~alpha~dev | linux/x86_64 | ocaml-variants.5.0.0+trunk | file:///home/opam/opam-repository
# path ~/.opam/5.0/.opam-switch/build/ocamlmod.0.0.9
# command ~/.opam/opam-init/hooks/sandbox.sh build ocaml setup.ml -configure --prefix /home/opam/.opam/5.0
# exit-code 2
# env-file ~/.opam/log/ocamlmod-10-b3ffec.env
# output-file ~/.opam/log/ocamlmod-10-b3ffec.out
### output ###
# File "./setup.ml", line 596, characters 4-15:
# 596 | Stream.from next
# ^^^^^^^^^^^
# Error: Unbound module Stream
#=== ERROR while compiling ocamlify.0.0.1 =====================================#
# context 2.2.0~alpha~dev | linux/x86_64 | ocaml-variants.5.0.0+trunk | file:///home/opam/opam-repository
# path ~/.opam/5.0/.opam-switch/build/ocamlify.0.0.1
# command ~/.opam/opam-init/hooks/sandbox.sh build ocaml setup.ml -configure --prefix /home/opam/.opam/5.0
# exit-code 2
# env-file ~/.opam/log/ocamlify-10-7d1d3b.env
# output-file ~/.opam/log/ocamlify-10-7d1d3b.out
### output ###
# File "/home/gildor/programmation/oasis/src/oasis/PropList.ml", line 93, characters 13-29:
# Error: Unbound value String.lowercase
#=== ERROR while compiling fileutils.0.6.3 ====================================#
# context 2.2.0~alpha~dev | linux/x86_64 | ocaml-variants.5.0.0+trunk | file:///home/opam/opam-repository
# path ~/.opam/5.0/.opam-switch/build/fileutils.0.6.3
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p fileutils -j 47
# exit-code 1
# env-file ~/.opam/log/fileutils-10-03fbd2.env
# output-file ~/.opam/log/fileutils-10-03fbd2.out
### output ###
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/fileutils/.fileutils.objs/byte -I src/lib/fileutils/.fileutils.objs/public_cmi -I /home/opam/.opam/5.0/lib/stdlib-shims -no-alias-deps -o src/lib/fileutils/.fileutils.objs/byte/fileUtilCMP.cmo -c -impl src/lib/fileutils/FileUtilCMP.ml)
# File "src/lib/fileutils/FileUtilCMP.ml", line 42, characters 8-20:
# 42 | Stream.empty st;
# ^^^^^^^^^^^^
# Error: Unbound module Stream
#=== ERROR while compiling camomile.1.0.2 =====================================#
# context 2.2.0~alpha~dev | linux/x86_64 | ocaml-variants.5.0.0+trunk | file:///home/opam/opam-repository
# path ~/.opam/5.0/.opam-switch/build/camomile.1.0.2
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p camomile -j 47 @install
# exit-code 1
# env-file ~/.opam/log/camomile-10-f10b3a.env
# output-file ~/.opam/log/camomile-10-f10b3a.out
### output ###
# File "Camomile/dune", line 12, characters 12-20:
# 12 | (libraries bigarray camomileDefaultConfig)
# ^^^^^^^^
# Error: Library "bigarray" not found.
# -> required by library "camomile.library" in _build/default/Camomile
# -> required by _build/default/META.camomile
# -> required by _build/install/default/lib/camomile/META
# -> required by _build/default/camomile.install
# -> required by alias install
# (cd _build/default && /home/opam/.opam/5.0/bin/ocamlyacc Camomile/internal/uReStrParser.mly)
# 4 shift/reduce conflicts.
# File "Camomile/toolslib/dune", line 7, characters 38-46:
# 7 | (libraries camomile camomile.library bigarray str))
# ^^^^^^^^
# Error: Library "bigarray" not found.
# -> required by library "toolslib" in _build/default/Camomile/toolslib
# -> required by executable gen_mappings in Camomile/mappings/dune:4
# -> required by _build/default/Camomile/mappings/gen_mappings.exe
# -> required by _build/default/Camomile/mappings/cns11643.mar
# -> required by _build/install/default/share/camomile/mappings/cns11643.mar
# -> required by _build/default/camomile.install
# -> required by alias install
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions were aborted
| - install bap-abi 2.4.0
| - install bap-api 2.4.0
| - install bap-build 2.4.0
| - install bap-bundle 2.4.0
| - install bap-c 2.4.0
| - install bap-core-theory 2.4.0
| - install bap-future 2.4.0
| - install bap-knowledge 2.4.0
| - install bap-main 2.4.0
| - install bap-plugins 2.4.0
| - install bap-primus 2.4.0
| - install bap-primus-symbolic-executor 2.4.0
| - install bap-primus-track-visited 2.4.0
| - install bap-recipe 2.4.0
| - install bap-relation 2.4.0
| - install bap-std 2.4.0
| - install bap-strings 2.4.0
| - install base v0.14.3
| - install base_bigstring v0.14.0
| - install base_quickcheck v0.14.1
| - install bin_prot v0.14.0
| - install bitvec 2.4.0
| - install bitvec-binprot 2.4.0
| - install bitvec-order 2.4.0
| - install bitvec-sexp 2.4.0
| - install charInfo_width 1.1.0
| - install core_kernel v0.14.2
| - install fieldslib v0.14.0
| - install graphlib 2.4.0
| - install jst-config v0.14.1
| - install lambda-term 3.2.0
| - install lwt 5.5.0
| - install lwt_log 1.1.1
| - install lwt_react 1.1.5
| - install monads 2.4.0
| - install oasis 0.4.11
| - install ogre 2.4.0
| - install parsexp v0.14.2
| - install ppx_assert v0.14.0
| - install ppx_bap v0.14.0
| - install ppx_base v0.14.0
| - install ppx_bench v0.14.1
| - install ppx_bin_prot v0.14.0
| - install ppx_cold v0.14.0
| - install ppx_compare v0.14.0
| - install ppx_custom_printf v0.14.1
| - install ppx_enumerate v0.14.0
| - install ppx_expect v0.14.2
| - install ppx_fields_conv v0.14.2
| - install ppx_fixed_literal v0.14.0
| - install ppx_hash v0.14.0
| - install ppx_here v0.14.0
| - install ppx_inline_test v0.14.1
| - install ppx_jane v0.14.0
| - install ppx_js_style v0.14.1
| - install ppx_let v0.14.0
| - install ppx_module_timer v0.14.0
| - install ppx_optcomp v0.14.3
| - install ppx_optional v0.14.0
| - install ppx_sexp_conv v0.14.3
| - install ppx_sexp_message v0.14.1
| - install ppx_sexp_value v0.14.0
| - install ppx_stable v0.14.1
| - install ppx_string v0.14.1
| - install ppx_typerep_conv v0.14.2
| - install ppx_variants_conv v0.14.2
| - install regular 2.4.0
| - install sexplib v0.14.0
| - install splittable_random v0.14.0
| - install stdio v0.14.0
| - install time_now v0.14.0
| - install typerep v0.14.0
| - install utop 2.9.1
| - install variantslib v0.14.0
| - install zed 3.1.0
+-
+- The following actions failed
| - build camomile 1.0.2
| - build fileutils 0.6.3
| - build ocamlify 0.0.1
| - build ocamlmod 0.0.9
| - build ocplib-endian 1.2
| - build sexplib0 v0.14.0
+-
+- The following changes have been performed (the rest was aborted)
| - install angstrom 0.15.0
| - install base-bytes base
| - install bigarray-compat 1.1.0
| - install bigstringaf 0.9.0
| - install camlzip 1.11
| - install cmdliner 1.1.1
| - install conf-clang 1
| - install conf-gmp 4
| - install conf-m4 1
| - install conf-perl 2
| - install conf-pkg-config 2
| - install conf-python-3 1.0.0
| - install conf-which 1
| - install conf-zlib 1
| - install cppo 1.6.8
| - install csexp 1.5.1
| - install dune 3.1.1
| - install dune-configurator 3.1.1
| - install jane-street-headers v0.14.0
| - install mew 0.1.0
| - install mew_vi 0.5.0
| - install mmap 1.2.0
| - install num 1.4
| - install ocaml-compiler-libs v0.12.4
| - install ocaml-syntax-shims 1.0.0
| - install ocamlbuild 0.14.1
| - install ocamlfind 1.9.3
| - install ocamlgraph 2.0.0
| - install octavius 1.2.2
| - install ppx_derivers 1.2.1
| - install ppx_pipebang v0.14.0
| - install ppxlib 0.25.0~5.00preview
| - install re 1.10.4
| - install react 1.2.2
| - install result 1.5
| - install seq base
| - install stdlib-shims 0.3.0
| - install stringext 1.6.0
| - install topkg 1.0.5
| - install trie 1.0.0
| - install uri 4.2.0
| - install uuidm 0.9.8
| - install z3 4.8.14
| - install zarith 1.12
+-
<><> z3.4.8.14 installed successfully <><><><><><><><><><><><><><><><><><><><><>
=> Z3 4.8.13 changed the linking mode from static to dynamic.
This change is silent and potentially breaking.
Please make sure that you don't require static binaries in the programs using Z3.
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.0/.opam-switch/backup/state-20220501111507.export"
'opam install -vy bap-primus-symbolic-executor.2.4.0' failed.
"/bin/bash" "-c"
"
opam remove -y "bap-primus-symbolic-executor.2.4.0"
opam install -vy "bap-primus-symbolic-executor.2.4.0"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "bap-primus-symbolic-executor.2.4.0" | grep -q '"debian-unstable"'; then
echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field."
exit 69
fi
fi
exit $res
" failed with exit status 31
Failed: Build failed
Home|Differences with the last checks|Previous runs