Build:
- 0
2026-07-26 12:31.09: New job: build mopsa.1.0 (d45eeb55c10f)
2026-07-26 12:31.09: Waiting for resource in pool day11-builds
2026-07-26 13:24.57: Got resource from pool day11-builds
2026-07-26 13:24.57: [profile full] build mopsa.1.0
2026-07-26 13:24.57: build mopsa.1.0 (d45eeb55c10f)
=== DEPENDENCIES (27 transitive) ===
apron.v0.9.15 a5616ea0d07f
base-threads.base afe16a8e71c3
base-unix.base 73c0a5fdd34a
bigarray-compat.1.1.0 f41547b34a4a
camlidl.1.13-1 39f2d7499599
compiler-cloning.enabled 22a431860256
conf-findutils.1 aaa98bce768f
conf-gmp.5 be8168159001
conf-gmp-paths.1 88124034e40d
conf-mpfr-paths.1 f09a09a22040
conf-perl.2 a8399df8a8e4
conf-pkg-config.5 2c611009363a
dune.3.24.1 0d2a3ba8bfb9
ez-conf-lib.2 03ce1f5853af
menhir.20260209 2793f077669c
menhirCST.20260209 f3d31f558a85
menhirGLR.20260209 f23c6421a979
menhirLib.20260209 29d51cfce968
menhirSdk.20260209 32863c1d5978
mlgmpidl.1.3.0 bcd77b822bda
ocaml.5.5.0 af24caade1d3
ocaml-base-compiler.5.5.0 5f93989ce6d7
ocaml-compiler.5.5.0 15edcf5138e5
ocamlbuild.0.16.1 ae35ea2527bb
ocamlfind.1.9.9~preview c75d6f48ab10
yojson.3.0.0 3ef23edaa3ca
zarith.1.14 ace7f2650d27
=== STDOUT ===
Processing: [default: loading data]
The following system packages will first need to be installed:
[WARNING] These additional system packages are required, but not available on your system: libclang-16-dev libclang-cpp16-dev llvm-16-dev
clang
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "clang"
- E: Failed to fetch http://deb.debian.org/debian/pool/main/p/python3.13/python3.13-minimal_3.13.5-2%2bdeb13u2_amd64.deb 404 Not Found [IP: 151.101.62.132 80]
- E: Failed to fetch http://deb.debian.org/debian/pool/main/p/python3.13/libpython3.13-stdlib_3.13.5-2%2bdeb13u2_amd64.deb 404 Not Found [IP: 151.101.62.132 80]
- E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
[ERROR] System package install failed with exit code 100 at command:
sudo apt-get install -qq -yy clang
[ERROR] These packages are still missing: clang
[NOTE] You can retry with '--assume-depexts' to skip this check, or run 'opam option depext=false' to permanently disable handling of system packages.
opam-build: depexts install failed; running apt-get update and retrying
[WARNING] These additional system packages are required, but not available on your system: libclang-16-dev libclang-cpp16-dev llvm-16-dev
The following system packages will first need to be installed:
clang
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "clang"
- Selecting previously unselected package libpipeline1: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 ... 20131 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.8-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.8-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-7_amd64.deb ...
- Unpacking binfmt-support (2.2.2-7) ...
- Selecting previously unselected package libpython3.13-minimal:amd64.
- Preparing to unpack .../libpython3.13-minimal_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.5-2+deb13u4) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking python3.13-minimal (3.13.5-2+deb13u4) ...
- Setting up libpython3.13-minimal:amd64 (3.13.5-2+deb13u4) ...
- Setting up python3.13-minimal (3.13.5-2+deb13u4) ...
- 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 ... 20478 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ...
- Unpacking python3-minimal (3.13.5-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.5-2+deb13u4) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking python3.13 (3.13.5-2+deb13u4) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3-minimal (3.13.5-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 ... 20964 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.13.5-1_amd64.deb ...
- Unpacking python3 (3.13.5-1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../01-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u3_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../02-libz3-4_4.13.3-1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.13.3-1) ...
- Selecting previously unselected package libllvm19:amd64.
- Preparing to unpack .../03-libllvm19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libllvm19:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang-cpp19.
- Preparing to unpack .../04-libclang-cpp19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-cpp19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../05-libgc1_1%3a8.2.8-1_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.8-1) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../06-libobjc4_14.2.0-19_amd64.deb ...
- Unpacking libobjc4:amd64 (14.2.0-19) ...
- Selecting previously unselected package libobjc-14-dev:amd64.
- Preparing to unpack .../07-libobjc-14-dev_14.2.0-19_amd64.deb ...
- Unpacking libobjc-14-dev:amd64 (14.2.0-19) ...
- Selecting previously unselected package libclang-common-19-dev:amd64.
- Preparing to unpack .../08-libclang-common-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19-linker-tools.
- Preparing to unpack .../09-llvm-19-linker-tools_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-linker-tools (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang1-19.
- Preparing to unpack .../10-libclang1-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang1-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package clang-19.
- Preparing to unpack .../11-clang-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking clang-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package clang.
- Preparing to unpack .../12-clang_1%3a19.0-63_amd64.deb ...
- Unpacking clang (1:19.0-63) ...
- Selecting previously unselected package clang-tools-19.
- Preparing to unpack .../13-clang-tools-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking clang-tools-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../14-libc6-i386_2.41-12+deb13u3_amd64.deb ...
- Unpacking libc6-i386 (2.41-12+deb13u3) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../15-lib32gcc-s1_14.2.0-19_amd64.deb ...
- Unpacking lib32gcc-s1 (14.2.0-19) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../16-lib32stdc++6_14.2.0-19_amd64.deb ...
- Unpacking lib32stdc++6 (14.2.0-19) ...
- Selecting previously unselected package libclang-rt-19-dev:amd64.
- Preparing to unpack .../17-libclang-rt-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../18-libffi-dev_3.4.8-2_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.8-2) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../19-libncurses6_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses6:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../20-libncurses-dev_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../21-libpfm4_4.13.0+git99-gc5587f9-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../22-libxml2-dev_2.12.7+dfsg+really2.9.14-2.1+deb13u3_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../23-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../24-libz3-dev_4.13.3-1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.13.3-1) ...
- Selecting previously unselected package llvm-19-runtime.
- Preparing to unpack .../25-llvm-19-runtime_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-runtime (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19.
- Preparing to unpack .../26-llvm-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../27-python3-pygments_2.18.0+dfsg-2_all.deb ...
- Unpacking python3-pygments (2.18.0+dfsg-2) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../28-python3-yaml_6.0.2-1+b2_amd64.deb ...
- Unpacking python3-yaml (6.0.2-1+b2) ...
- Selecting previously unselected package llvm-19-tools.
- Preparing to unpack .../29-llvm-19-tools_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-tools (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19-dev.
- Preparing to unpack .../30-llvm-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-dev (1:19.1.7-3+b1) ...
- Setting up media-types (13.0.0) ...
- Setting up libpipeline1:amd64 (1.5.8-1) ...
- Setting up libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up libffi-dev:amd64 (3.4.8-2) ...
- Setting up libz3-4:amd64 (4.13.3-1) ...
- Setting up libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Setting up libncurses6:amd64 (6.5+20250216-2) ...
- Setting up binfmt-support (2.2.2-7) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up libgc1:amd64 (1:8.2.8-1) ...
- Setting up libc6-i386 (2.41-12+deb13u3) ...
- Setting up readline-common (8.2-6) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Setting up libllvm19:amd64 (1:19.1.7-3+b1) ...
- Setting up libz3-dev:amd64 (4.13.3-1) ...
- Setting up libncurses-dev:amd64 (6.5+20250216-2) ...
- Setting up libclang1-19 (1:19.1.7-3+b1) ...
- Setting up libobjc4:amd64 (14.2.0-19) ...
- Setting up libobjc-14-dev:amd64 (14.2.0-19) ...
- Setting up libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Setting up lib32gcc-s1 (14.2.0-19) ...
- Setting up lib32stdc++6 (14.2.0-19) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ...
- Setting up llvm-19-linker-tools (1:19.1.7-3+b1) ...
- Setting up llvm-19-runtime (1:19.1.7-3+b1) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.5-2+deb13u4) ...
- Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up libclang-cpp19 (1:19.1.7-3+b1) ...
- Setting up python3.13 (3.13.5-2+deb13u4) ...
- Setting up python3 (3.13.5-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Setting up clang-19 (1:19.1.7-3+b1) ...
- Setting up clang-tools-19 (1:19.1.7-3+b1) ...
- Setting up python3-pygments (2.18.0+dfsg-2) ...
- Setting up clang (1:19.0-63) ...
- Setting up llvm-19 (1:19.1.7-3+b1) ...
- Setting up python3-yaml (6.0.2-1+b2) ...
- Setting up llvm-19-tools (1:19.1.7-3+b1) ...
- Setting up llvm-19-dev (1:19.1.7-3+b1) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
- Processing triggers for base-files (13.8+deb13u5) ...
[mopsa.1.0: dl]
[mopsa.1.0: extract]
-> retrieved mopsa.1.0 (https://opam.ocaml.org/cache)
[mopsa: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/mopsa.1.0/./configure (CWD=/home/opam/.opam/default/.opam-switch/build/mopsa.1.0)
- checking for Mopsa's version... 1.0
- checking for Mopsa's development version... release
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether the compiler supports GNU C... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking for g++... g++
- checking whether the compiler supports GNU C++... yes
- checking whether g++ accepts -g... yes
- checking for g++ option to enable C++11 features... none needed
- checking for a sed that does not truncate output... /usr/bin/sed
- checking for ocamlc... ocamlc
- checking for ocamlc version... 5.5.0
- checking for ocamlfind... ocamlfind
- checking for ocamlopt... ocamlopt
- checking for ocamldep... ocamldep
- checking for ocamlmklib... ocamlmklib
- checking for ocamllex... ocamllex
- checking for menhir... menhir
- checking for ocaml yojson library... yes
- checking for ocaml zarith library... yes
- checking for ocaml apron library... yes
- checking for llvm-config... no
- checking for llvm-config-X... llvm-config-19
- checking for LLVM version... 19.1.7
- checking for clang-19... clang-19
- configure: creating ./config.status
- config.status: creating parsers/c/lib/parser/dune
- config.status: creating utils/core/version.ml
- config.status: creating META
[mopsa: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/mopsa.1.0)
- opam exec -- dune build --profile release -p mopsa
- File "parsers/c/lib/parser/dune", line 7, characters 9-20:
- 7 | (names Clang_to_ml)
- ^^^^^^^^^^^
- (cd _build/default/parsers/c/lib/parser && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I /home/opam/.opam/default/lib/ocaml -Wno-strict-aliasing -Wall -Wno-comment -I/usr/lib/llvm-19/include -std=c++17 -fno-exceptions -funwind-tables -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS '-DCLANGRESOURCE="/usr/lib/llvm-19/lib/clang/19"' -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zarith -I ../../../../utils -I ../../../../utils/bitfields -I ../../../../utils/congUtils -I ../../../../utils/containers -I ../../../../utils/core -I ../../../../utils/itvUtils -o Clang_to_ml.o -c Clang_to_ml.cc)
- Clang_to_ml.cc:33:10: fatal error: clang/Lex/PreprocessorOptions.h: No such file or directory
- 33 | #include "clang/Lex/PreprocessorOptions.h"
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- compilation terminated.
- (cd _build/default/utils/itvUtils && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zarith -I ../core -o floats_round.o -c floats_round.c)
- floats_round.c:158:20: warning: 'sgl_minf' defined but not used [-Wunused-const-variable=]
- 158 | static const float sgl_minf = -1.f/0.f;
- | ^~~~~~~~
- floats_round.c:157:20: warning: 'sgl_inf' defined but not used [-Wunused-const-variable=]
- 157 | static const float sgl_inf = 1.f/0.f;
- | ^~~~~~~
- (cd _build/.sandbox/dcabbc04bab3b8134a5d82f0f7516101/default && /home/opam/.opam/default/bin/menhir parsers/universal/U_parser.mly --base parsers/universal/U_parser --infer-read-reply parsers/universal/U_parser__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 14 shift/reduce conflicts were arbitrarily resolved.
- make: *** [Makefile:26: all] Error 1
build failed...
[ERROR] The compilation of mopsa.1.0 failed at "make".
=== STDERR ===
2026-07-26 13:27.04: FAILED: build mopsa.1.0
2026-07-26 13:27.04: Job failed: build failed: mopsa.1.0