Building on mint
Running Day10 job:
Sub-command: health-check
Commit SHA: 5bf570252bd9fee71938b828ca0b86573c1e3355
Package: conf-libgccjit.1
OCaml version: ocaml.5.3.0
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.5.3.0 --log conf-libgccjit.1
digraph opam {
"conf-libgccjit.1" -> "conf-gcc.1.0";
}
Layer conf-gcc.1.0: /var/lib/day10/cache/debian-13-x86_64/78aa9719f6999a67a5a20045d01be8b2
Processing: [default: loading data]
[conf-gcc: gcc]
+ /usr/bin/gcc "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-gcc.1.0)
- gcc (Debian 14.2.0-19) 14.2.0
- Copyright (C) 2024 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-gcc.1.0
-> installed conf-gcc.1.0
Layer conf-libgccjit.1: /var/lib/day10/cache/debian-13-x86_64/eb9cf299b27cc61585493e45689ececd
[NOTE] chown -R 1000:1000 /var/lib/day10/cache/temp-2d36af/fs/home/opam
Processing: [default: loading data]
The following system packages will first need to be installed:
libgccjit-13-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgccjit-13-dev"
- debconf: unable to initialize frontend: Dialog
- debconf: (Dialog frontend will not work on a dumb terminal, an emacs shell buffer, or without a controlling terminal.)
- debconf: falling back to frontend: Readline
- debconf: unable to initialize frontend: Readline
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Teletype
- debconf: unable to initialize frontend: Teletype
- debconf: (This frontend requires a controlling tty.)
- debconf: falling back to frontend: Noninteractive
- Selecting previously unselected package gcc-13-base: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 ... 20107 files and directories currently installed.)
- Preparing to unpack .../gcc-13-base_13.3.0-16_amd64.deb ...
- Unpacking gcc-13-base:amd64 (13.3.0-16) ...
- Selecting previously unselected package libgccjit0:amd64.
- Preparing to unpack .../libgccjit0_14.2.0-19_amd64.deb ...
- Unpacking libgccjit0:amd64 (14.2.0-19) ...
- Selecting previously unselected package libgccjit-13-dev:amd64.
- Preparing to unpack .../libgccjit-13-dev_13.3.0-16_amd64.deb ...
- Unpacking libgccjit-13-dev:amd64 (13.3.0-16) ...
- Setting up gcc-13-base:amd64 (13.3.0-16) ...
- Setting up libgccjit0:amd64 (14.2.0-19) ...
- Setting up libgccjit-13-dev:amd64 (13.3.0-16) ...
- Processing triggers for libc-bin (2.41-12) ...
[conf-libgccjit: sh echo "#include \"libgccjit.h\"" > test.c]
+ /usr/bin/sh "-exc" "echo \"#include \\\"libgccjit.h\\\"\" > test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-libgccjit.1)
- + echo #include "libgccjit.h"
[conf-libgccjit: sh]
+ /usr/bin/sh "-exc" "gcc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-libgccjit.1)
- + gcc -c -I/usr/local/include test.c
- test.c:1:11: fatal error: libgccjit.h: No such file or directory
- 1 | #include "libgccjit.h"
- | ^~~~~~~~~~~~~
- compilation terminated.
[ERROR] The compilation of conf-libgccjit.1 failed at "sh -exc gcc -c $CFLAGS -I/usr/local/include test.c".
build failed...
[ERROR] failure
day10 command failed with exit code 3
Failed: Build failed