Building on basil
Running Day10 job:
Sub-command: health-check
Commit SHA: 5bf570252bd9fee71938b828ca0b86573c1e3355
Package: kremlin.transition
OCaml version: ocaml.4.09.1
With test: false
Worktree already exists: /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355
Executing: day10 health-check --cache-dir /var/lib/day10/cache --opam-repository /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355 --ocaml-version ocaml.4.09.1 --log kremlin.transition
digraph opam {
"base-bytes.base" -> {"ocaml.4.09.1" "ocamlfind.1.9.8"}
"batteries.3.10.0" -> {"camlp-streams.5.0.1" "dune.3.20.2" "num.1.6" "ocaml.4.09.1" "ocamlfind.1.9.8"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.4.09.1"}
"camlp4.4.09+1" -> {"ocaml.4.09.1" "ocamlbuild.0.16.1"}
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.4.09.1"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.09.1"}
"fileutils.0.6.4" -> {"base-unix.base" "dune.3.20.2" "ocaml.4.09.1" "seq.base" "stdlib-shims.0.3.0"}
"fix.20250919" -> {"dune.3.20.2" "ocaml.4.09.1"}
"fstar.2022.01.15" -> {"batteries.3.10.0" "fileutils.0.6.4" "menhir.20250912" "ocaml.4.09.1" "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.20.2" "ocaml.4.09.1" "seq.base"}
"karamel.1.0.0" -> {"batteries.3.10.0" "fileutils.0.6.4" "fix.20250919" "fstar.2022.01.15" "menhir.20250912" "ocaml.4.09.1" "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"}
"kremlin.transition" -> "karamel.1.0.0";
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.4.09.1"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.4.09.1"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.4.09.1"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.4.09.1"}
"num.1.6" -> "ocaml.4.09.1";
"ocaml.4.09.1" -> {"ocaml-base-compiler.4.09.1" "ocaml-config.1"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.4.09.1"}
"ocaml-config.1" -> "ocaml-base-compiler.4.09.1";
"ocamlbuild.0.16.1" -> "ocaml.4.09.1";
"ocamlfind.1.9.8" -> "ocaml.4.09.1";
"pprint.20230830" -> {"dune.3.20.2" "ocaml.4.09.1"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.4.09.1"}
"ppx_deriving.5.2.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.4.09.1" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.25.1" "result.1.5"}
"ppx_deriving_yojson.3.6.1" -> {"dune.3.20.2" "ocaml.4.09.1" "ppx_deriving.5.2.1" "ppxlib.0.25.1" "result.1.5" "yojson.3.0.0"}
"ppxlib.0.25.1" -> {"dune.3.20.2" "ocaml.4.09.1" "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.09.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"result.1.5" -> {"dune.3.20.2" "ocaml.4.09.1"}
"sedlex.2.5" -> {"dune.3.20.2" "gen.1.1" "ocaml.4.09.1" "ppxlib.0.25.1" "uchar.0.0.2"}
"seq.base" -> "ocaml.4.09.1";
"sexplib0.v0.16.0" -> {"dune.3.20.2" "ocaml.4.09.1"}
"stdint.0.7.2" -> {"dune.3.20.2" "ocaml.4.09.1"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.09.1"}
"uchar.0.0.2" -> {"ocaml.4.09.1" "ocamlbuild.0.16.1"}
"ulex.1.2" -> {"base-bytes.base" "camlp4.4.09+1" "ocaml.4.09.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"visitors.20250212" -> {"dune.3.20.2" "ocaml.4.09.1" "ppx_deriving.5.2.1" "ppxlib.0.25.1" "result.1.5"}
"wasm.1.1.1" -> {"ocaml.4.09.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.4.09.1"}
"z3.4.8.5" -> {"conf-c++.1.0" "conf-gmp.5" "conf-python-2-7.1.2" "num.1.6" "ocaml.4.09.1" "ocamlfind.1.9.8"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.09.1" "ocamlfind.1.9.8"}
}
Layer base-threads.base: /var/lib/day10/cache/debian-12-x86_64/48f1d4a206d8ffd35ca49f53d82fe55a
Processing: [default: loading data]
-> installed base-threads.base
Layer base-unix.base: /var/lib/day10/cache/debian-12-x86_64/ac5b78ade8d45edc30246d5aee10f0ae
Processing: [default: loading data]
-> installed base-unix.base
Layer conf-c++.1.0: /var/lib/day10/cache/debian-12-x86_64/acf46dd12f68ab63c7508da530562d90
Processing: [default: loading data]
[conf-c++: c++]
+ /usr/bin/c++ "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-c++.1.0)
- c++ (Debian 12.2.0-14+deb12u1) 12.2.0
- Copyright (C) 2022 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions. There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-
-> compiled conf-c++.1.0
-> installed conf-c++.1.0
Layer conf-gmp.5: /var/lib/day10/cache/debian-12-x86_64/df359773842f243deb86cdd97dd3e4df
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"
- debconf: delaying package configuration, since apt-utils is not installed
- 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 ... 18246 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Processing triggers for libc-bin (2.36-9+deb12u13) ...
[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
Layer conf-pkg-config.4: /var/lib/day10/cache/debian-12-x86_64/e3c343a9d922db4f85c955cae5b185e0
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"
- debconf: delaying package configuration, since apt-utils is not installed
- 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 ... 18246 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u13) ...
[conf-pkg-config: pkg-config]
+ /usr/bin/pkg-config "--help" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-pkg-config.4)
- 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>.
-> compiled conf-pkg-config.4
-> installed conf-pkg-config.4
Layer conf-python-2-7.1.2: /var/lib/day10/cache/debian-12-x86_64/effaa41107bbca001cfcabe32b9c373a
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
day10 command failed with exit code 2
Failed: Build failed
Home|Differences with the last checks|Previous runs