Building on doris.caelum.ci.dev
day10 dispatch:
verb : health-check
opam-repository : <default>
opam-repo commit : ae6f88cbf223d078928da4d89e303253ea5df2f0
mirror : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
cache-dir : /var/cache/day10
ocaml-version : ocaml.4.11.2
package : karamel.1.0.0
os-distribution : debian
os-version : 13
with-test : false
+ 'day10' 'health-check' '--cache-dir' '/var/cache/day10' '--log' '--opam-repository' '/var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818:ae6f88cbf223d078928da4d89e303253ea5df2f0' '--ocaml-version' 'ocaml.4.11.2' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'karamel.1.0.0'
digraph opam {
"base-bytes.base" -> {"ocaml.4.11.2" "ocamlfind.1.9.8"}
"batteries.3.11.0" -> {"camlp-streams.5.0.1" "dune.3.22.2" "num.1.6" "ocaml.4.11.2" "ocamlfind.1.9.8"}
"camlp-streams.5.0.1" -> {"dune.3.22.2" "ocaml.4.11.2"}
"camlp4.4.11+1" -> {"ocaml.4.11.2" "ocamlbuild.0.16.1"}
"cppo.1.8.0" -> {"base-unix.base" "dune.3.22.2" "ocaml.4.11.2"}
"dune.3.22.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.11.2"}
"fileutils.0.6.4" -> {"base-unix.base" "dune.3.22.2" "ocaml.4.11.2" "seq.base" "stdlib-shims.0.3.0"}
"fix.20250919" -> {"dune.3.22.2" "ocaml.4.11.2"}
"fstar.2022.01.15" -> {"batteries.3.11.0" "fileutils.0.6.4" "menhir.20260209" "ocaml.4.11.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "pprint.20230830" "ppx_deriving.5.2.1" "ppx_deriving_yojson.3.6.1" "ppxlib.0.25.1" "process.0.2.1" "sedlex.2.5" "stdint.0.7.2" "yojson.3.0.0" "z3.4.8.5" "zarith.1.14"}
"gen.1.1" -> {"dune.3.22.2" "ocaml.4.11.2" "seq.base"}
"karamel.1.0.0" -> {"batteries.3.11.0" "fileutils.0.6.4" "fix.20250919" "fstar.2022.01.15" "menhir.20260209" "ocaml.4.11.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "pprint.20230830" "ppx_deriving.5.2.1" "ppx_deriving_yojson.3.6.1" "process.0.2.1" "stdint.0.7.2" "ulex.1.2" "visitors.20250212" "wasm.1.1.1" "yojson.3.0.0" "zarith.1.14"}
"menhir.20260209" -> {"dune.3.22.2" "menhirCST.20260209" "menhirGLR.20260209" "menhirLib.20260209" "menhirSdk.20260209" "ocaml.4.11.2"}
"menhirCST.20260209" -> {"dune.3.22.2" "ocaml.4.11.2"}
"menhirGLR.20260209" -> {"dune.3.22.2" "ocaml.4.11.2"}
"menhirLib.20260209" -> {"dune.3.22.2" "ocaml.4.11.2"}
"menhirSdk.20260209" -> {"dune.3.22.2" "ocaml.4.11.2"}
"num.1.6" -> "ocaml.4.11.2";
"ocaml.4.11.2" -> {"ocaml-base-compiler.4.11.2" "ocaml-config.1"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.22.2" "ocaml.4.11.2"}
"ocaml-config.1" -> "ocaml-base-compiler.4.11.2";
"ocamlbuild.0.16.1" -> "ocaml.4.11.2";
"ocamlfind.1.9.8" -> "ocaml.4.11.2";
"pprint.20230830" -> {"dune.3.22.2" "ocaml.4.11.2"}
"ppx_derivers.1.2.1" -> {"dune.3.22.2" "ocaml.4.11.2"}
"ppx_deriving.5.2.1" -> {"cppo.1.8.0" "dune.3.22.2" "ocaml.4.11.2" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.25.1" "result.1.5"}
"ppx_deriving_yojson.3.6.1" -> {"dune.3.22.2" "ocaml.4.11.2" "ppx_deriving.5.2.1" "ppxlib.0.25.1" "result.1.5" "yojson.3.0.0"}
"ppxlib.0.25.1" -> {"dune.3.22.2" "ocaml.4.11.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"}
"process.0.2.1" -> {"base-bytes.base" "base-unix.base" "ocaml.4.11.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"result.1.5" -> {"dune.3.22.2" "ocaml.4.11.2"}
"sedlex.2.5" -> {"dune.3.22.2" "gen.1.1" "ocaml.4.11.2" "ppxlib.0.25.1" "uchar.0.0.2"}
"seq.base" -> "ocaml.4.11.2";
"sexplib0.v0.16.0" -> {"dune.3.22.2" "ocaml.4.11.2"}
"stdint.0.7.2" -> {"dune.3.22.2" "ocaml.4.11.2"}
"stdlib-shims.0.3.0" -> {"dune.3.22.2" "ocaml.4.11.2"}
"uchar.0.0.2" -> {"ocaml.4.11.2" "ocamlbuild.0.16.1"}
"ulex.1.2" -> {"base-bytes.base" "camlp4.4.11+1" "ocaml.4.11.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"visitors.20250212" -> {"dune.3.22.2" "ocaml.4.11.2" "ppx_deriving.5.2.1" "ppxlib.0.25.1" "result.1.5"}
"wasm.1.1.1" -> {"ocaml.4.11.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"yojson.3.0.0" -> {"dune.3.22.2" "ocaml.4.11.2"}
"z3.4.8.5" -> {"conf-c++.1.0" "conf-gmp.5" "conf-python-2-7.1.2" "num.1.6" "ocaml.4.11.2" "ocamlfind.1.9.8"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.5" "ocaml.4.11.2" "ocamlfind.1.9.8"}
}
Processing: [default: loading data]
-> installed base-threads.base
Processing: [default: loading data]
-> installed base-unix.base
Processing: [default: loading data]
[conf-c++.1.0/write-config.sh: dl]
-> retrieved conf-c++.1.0 (https://raw.githubusercontent.com/dra27/mingw-w64-shims/refs/tags/1.0.1/write-config.sh)
[conf-c++: touch dummy.cpp]
+ /usr/bin/touch "dummy.cpp" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-c++.1.0)
[conf-c++: c++ dummy.cpp]
+ /usr/bin/c++ "-c" "dummy.cpp" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-c++.1.0)
[conf-c++: sh conf-c++]
+ /usr/bin/sh "./write-config.sh" "conf-c++" "-v" "cxx" "c++" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-c++.1.0)
-> compiled conf-c++.1.0
-> installed conf-c++.1.0
Processing: [default: loading data]
The following system packages will first need to be installed:
libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- Selecting previously unselected package libgmpxx4ldbl: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 ... 20108 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-gmp.5/test.c: dl]
-> retrieved conf-gmp.5 (https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-gmp/test.c.4)
[conf-gmp: sh]
+ /usr/bin/sh "-c" "pkg-config --print-errors --exists gmp || cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-gmp.5)
- /usr/bin/sh: 1: pkg-config: not found
-> compiled conf-gmp.5
-> installed conf-gmp.5
Processing: [default: loading data]
The following system packages will first need to be installed:
pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- Selecting previously unselected package libpkgconf3: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 ... 20108 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-pkg-config.5/install-shim.sh: dl]
[conf-pkg-config.5/write-config.sh: dl]
-> retrieved conf-pkg-config.5 (2 extra sources)
-> retrieved conf-pkg-config.5 (2 extra sources)
[conf-pkg-config: pkg-config]
+ /usr/bin/pkg-config "--help" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-pkg-config.5)
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
[conf-pkg-config: sh conf-pkg-config]
+ /usr/bin/sh "./write-config.sh" "conf-pkg-config" "-v" "command:list" "EOL" "pkg-config" "EOL" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-pkg-config.5)
-> compiled conf-pkg-config.5
-> installed conf-pkg-config.5
Processing: [default: loading data]
[WARNING] These additional system packages are required, but not available on your system: python2.7
[conf-python-2-7.1.2/test.py: dl]
-> retrieved conf-python-2-7.1.2 (https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/conf-python-2-7/test.py)
opam-build: internal error, uncaught exception:
"python2.7": command not found.
[WARNING] dependency_failed
Job succeeded
Home|Differences with the last checks|Previous runs