Build:
- 0
2026-07-26 12:31.09: New job: build mopsa.1.2 (b655a347dfde)
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.2
2026-07-26 13:24.57: build mopsa.1.2 (b655a347dfde)
=== DEPENDENCIES (30 transitive) ===
apron.v0.9.15 a5616ea0d07f
arg-complete.0.2.1 435e388e9043
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
cppo.1.8.0 4a096e8ded10
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
qcheck-core.0.91 17b55cf6ece4
yojson.3.0.0 3ef23edaa3ca
zarith.1.14 ace7f2650d27
=== STDOUT ===
Processing: [default: loading data]
The following system packages will first need to be installed:
clang libclang-cpp-dev libclang-dev llvm-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "clang" "libclang-cpp-dev" "libclang-dev" "llvm-dev"
- 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 libclang-cpp-dev libclang-dev llvm-dev
[ERROR] These packages are still missing: clang libclang-cpp-dev libclang-dev llvm-dev
[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
The following system packages will first need to be installed:
clang libclang-cpp-dev libclang-dev llvm-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "clang" "libclang-cpp-dev" "libclang-dev" "llvm-dev"
- 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-19-dev.
- Preparing to unpack .../17-libclang-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-19-dev (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang-cpp19-dev.
- Preparing to unpack .../18-libclang-cpp19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-cpp19-dev (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang-cpp-dev.
- Preparing to unpack .../19-libclang-cpp-dev_1%3a19.0-63_amd64.deb ...
- Unpacking libclang-cpp-dev (1:19.0-63) ...
- Selecting previously unselected package libclang-dev.
- Preparing to unpack .../20-libclang-dev_1%3a19.0-63_amd64.deb ...
- Unpacking libclang-dev (1:19.0-63) ...
- Selecting previously unselected package libclang-rt-19-dev:amd64.
- Preparing to unpack .../21-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 .../22-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 .../23-libncurses6_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses6:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../24-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 .../25-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 .../26-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 .../27-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 .../28-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 .../29-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-runtime:amd64.
- Preparing to unpack .../30-llvm-runtime_1%3a19.0-63_amd64.deb ...
- Unpacking llvm-runtime:amd64 (1:19.0-63) ...
- Selecting previously unselected package llvm-19.
- Preparing to unpack .../31-llvm-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm.
- Preparing to unpack .../32-llvm_1%3a19.0-63_amd64.deb ...
- Unpacking llvm (1:19.0-63) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../33-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 .../34-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 .../35-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 .../36-llvm-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-dev (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-dev.
- Preparing to unpack .../37-llvm-dev_1%3a19.0-63_amd64.deb ...
- Unpacking llvm-dev (1:19.0-63) ...
- 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 libclang-19-dev (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 libclang-dev (1:19.0-63) ...
- 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 libclang-cpp19-dev (1:19.1.7-3+b1) ...
- Setting up python3-pygments (2.18.0+dfsg-2) ...
- Setting up libclang-cpp-dev (1:19.0-63) ...
- Setting up clang (1:19.0-63) ...
- Setting up llvm-runtime:amd64 (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 (1:19.0-63) ...
- Setting up llvm-19-tools (1:19.1.7-3+b1) ...
- Setting up llvm-19-dev (1:19.1.7-3+b1) ...
- Setting up llvm-dev (1:19.0-63) ...
- Processing triggers for base-files (13.8+deb13u5) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[mopsa.1.2: dl]
[mopsa.1.2: extract]
-> retrieved mopsa.1.2 (https://opam.ocaml.org/cache)
[mopsa: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/mopsa.1.2/./configure (CWD=/home/opam/.opam/default/.opam-switch/build/mopsa.1.2)
- checking for Mopsa's version... 1.2
- 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... llvm-config
- checking for LLVM version... 19.1.7
- checking for clang... clang
- configure: creating ./config.status
- config.status: creating analyzer/dune
- config.status: creating parsers/c/lib/parser/dune
- config.status: creating utils/core/version.ml
[mopsa: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/mopsa.1.2)
- opam exec -- dune build --profile release -p mopsa
- File "analyzer/dune", lines 14-16, characters 2-204:
- 14 | (select languages.universal.numeric.relational.elinainst.ml from
- 15 | (elina -> languages.universal.numeric.relational.elinainst.real.ml)
- 16 | (-> languages.universal.numeric.relational.elinainst.dummy.ml))
- Error: "languages.universal.numeric.relational.elinainst" is an invalid
- module name.
- Module names must be non-empty, start with a letter, and composed only of the
- following characters: 'A'..'Z', 'a'..'z', '_', ''' or '0'..'9'.
- Hint: languages_universal_numeric_relational_elinainst would be a correct
- module name
- make: *** [Makefile:26: all] Error 1
[ERROR] The compilation of mopsa.1.2 failed at "make".
build failed...
=== STDERR ===
2026-07-26 13:26.53: FAILED: build mopsa.1.2
2026-07-26 13:26.53: Job failed: build failed: mopsa.1.2