2026-06-16 16:20.29: New job: build mopsa.1.2 (165db8f90af9)
2026-06-16 16:20.29: Waiting for resource in pool day11-builds
2026-06-16 17:01.43: Got resource from pool day11-builds
2026-06-16 17:01.43: [profile full] build mopsa.1.2
2026-06-16 17:01.43: build mopsa.1.2 (165db8f90af9)
=== DEPENDENCIES (30 transitive) ===
  apron.v0.9.15                                      cf1ee00c8d55
  arg-complete.0.2.1                                 9dcda448c052
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  bigarray-compat.1.1.0                              daad11e8fd80
  camlidl.1.13-1                                     13ebddbff995
  conf-findutils.1                                   a943cdd45084
  conf-gmp.5                                         61e3c79e0ddf
  conf-gmp-paths.1                                   1f691d20eea4
  conf-mpfr-paths.1                                  aa4cb92469ad
  conf-perl.2                                        9ee1ae5f2bf1
  conf-pkg-config.5                                  64c6b37d622b
  cppo.1.8.0                                         3c775a388c9d
  dune.3.23.1                                        d50060dd2cab
  ez-conf-lib.2                                      c00147f9b08c
  menhir.20260209                                    918bd21ac84f
  menhirCST.20260209                                 b2588cab386e
  menhirGLR.20260209                                 9f1a82c9daff
  menhirLib.20260209                                 521b8486c619
  menhirSdk.20260209                                 0f5231646c84
  mlgmpidl.1.3.0                                     ed04b51ecb69
  ocaml.5.4.1                                        708fed352b2a
  ocaml-base-compiler.5.4.1                          89b85703f841
  ocaml-compiler.5.4.1                               a719b8419b8e
  ocaml-config.3                                     aa27f63940d8
  ocamlbuild.0.16.1                                  069fc1e567af
  ocamlfind.1.9.8                                    5cfa73ef65e7
  qcheck-core.0.91                                   da330d24d089
  yojson.3.0.0                                       fcc5f5f6d1cc
  zarith.1.14                                        b2ef7cdb0e39
=== STDOUT ===
Processing: [default: loading data]

The following system packages will first need to be installed:
    clang libclang-14-dev libclang-cpp14-dev llvm-14-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "clang" "libclang-14-dev" "libclang-cpp14-dev" "llvm-14-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- 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 ... 18269 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.7-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-2_amd64.deb ...
- Unpacking binfmt-support (2.2.2-2) ...
- Selecting previously unselected package libpython3.11-minimal:amd64.
- Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u7_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u7) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u7_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u7) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u7) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u7) ...
- 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 ... 18598 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u7_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u7) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u7_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u7) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- 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 ... 19008 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../01-libicu72_72.1-3+deb12u1_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3+deb12u1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../02-libxml2_2.9.14+dfsg-1.3~deb12u5_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u5) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../03-libz3-4_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package libllvm14:amd64.
- Preparing to unpack .../04-libllvm14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libllvm14:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14.
- Preparing to unpack .../05-libclang-cpp14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14 (1:14.0.6-12) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../06-libgc1_1%3a8.2.2-3_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.2-3) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../07-libobjc4_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking libobjc4:amd64 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package libobjc-12-dev:amd64.
- Preparing to unpack .../08-libobjc-12-dev_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking libobjc-12-dev:amd64 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package libclang-common-14-dev.
- Preparing to unpack .../09-libclang-common-14-dev_1%3a14.0.6-12_all.deb ...
- Unpacking libclang-common-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-linker-tools.
- Preparing to unpack .../10-llvm-14-linker-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-linker-tools (1:14.0.6-12) ...
- Selecting previously unselected package libclang1-14.
- Preparing to unpack .../11-libclang1-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang1-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang-14.
- Preparing to unpack .../12-clang-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking clang-14 (1:14.0.6-12) ...
- Selecting previously unselected package clang.
- Preparing to unpack .../13-clang_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking clang (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../14-icu-devtools_72.1-3+deb12u1_amd64.deb ...
- Unpacking icu-devtools (72.1-3+deb12u1) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../15-libc6-i386_2.36-9+deb12u14_amd64.deb ...
- Unpacking libc6-i386 (2.36-9+deb12u14) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../16-lib32gcc-s1_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking lib32gcc-s1 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../17-lib32stdc++6_12.2.0-14+deb12u1_amd64.deb ...
- Unpacking lib32stdc++6 (12.2.0-14+deb12u1) ...
- Selecting previously unselected package libclang-14-dev.
- Preparing to unpack .../18-libclang-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14-dev.
- Preparing to unpack .../19-libclang-cpp14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14-dev (1:14.0.6-12) ...
- Selecting previously unselected package libclang-rt-14-dev:amd64.
- Preparing to unpack .../20-libclang-rt-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libnspr4:amd64.
- Preparing to unpack .../21-libnspr4_2%3a4.35-1_amd64.deb ...
- Unpacking libnspr4:amd64 (2:4.35-1) ...
- Selecting previously unselected package libnss3:amd64.
- Preparing to unpack .../22-libnss3_2%3a3.87.1-1+deb12u2_amd64.deb ...
- Unpacking libnss3:amd64 (2:3.87.1-1+deb12u2) ...
- Selecting previously unselected package nss-plugin-pem:amd64.
- Preparing to unpack .../23-nss-plugin-pem_1.0.8+1-1_amd64.deb ...
- Unpacking nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Selecting previously unselected package libcurl3-nss:amd64.
- Preparing to unpack .../24-libcurl3-nss_7.88.1-10+deb12u14_amd64.deb ...
- Unpacking libcurl3-nss:amd64 (7.88.1-10+deb12u14) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../25-libffi-dev_3.4.4-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.4-1) ...
- Selecting previously unselected package libicu-dev:amd64.
- Preparing to unpack .../26-libicu-dev_72.1-3+deb12u1_amd64.deb ...
- Unpacking libicu-dev:amd64 (72.1-3+deb12u1) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../27-libncurses6_6.4-4_amd64.deb ...
- Unpacking libncurses6:amd64 (6.4-4) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../28-libncurses-dev_6.4-4_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../29-libpfm4_4.13.0-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0-1) ...
- Selecting previously unselected package libtinfo-dev:amd64.
- Preparing to unpack .../30-libtinfo-dev_6.4-4_amd64.deb ...
- Unpacking libtinfo-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../31-libxml2-dev_2.9.14+dfsg-1.3~deb12u5_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u5) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../32-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../33-libz3-dev_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package llvm-14-runtime.
- Preparing to unpack .../34-llvm-14-runtime_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-runtime (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14.
- Preparing to unpack .../35-llvm-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14 (1:14.0.6-12) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../36-python3-pkg-resources_66.1.1-1+deb12u2_all.deb ...
- Unpacking python3-pkg-resources (66.1.1-1+deb12u2) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../37-python3-pygments_2.14.0+dfsg-1_all.deb ...
- Unpacking python3-pygments (2.14.0+dfsg-1) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../38-python3-yaml_6.0-3+b2_amd64.deb ...
- Unpacking python3-yaml (6.0-3+b2) ...
- Selecting previously unselected package llvm-14-tools.
- Preparing to unpack .../39-llvm-14-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-tools (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-dev.
- Preparing to unpack .../40-llvm-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-dev (1:14.0.6-12) ...
- Setting up media-types (10.0.0) ...
- Setting up libpipeline1:amd64 (1.5.7-1) ...
- Setting up libicu72:amd64 (72.1-3+deb12u1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u7) ...
- Setting up libffi-dev:amd64 (3.4.4-1) ...
- Setting up libz3-4:amd64 (4.8.12-3.1) ...
- Setting up libpfm4:amd64 (4.13.0-1) ...
- Setting up libnspr4:amd64 (2:4.35-1) ...
- Setting up libncurses6:amd64 (6.4-4) ...
- Setting up binfmt-support (2.2.2-2) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up icu-devtools (72.1-3+deb12u1) ...
- Setting up libgc1:amd64 (1:8.2.2-3) ...
- Setting up libc6-i386 (2.36-9+deb12u14) ...
- Setting up libicu-dev:amd64 (72.1-3+deb12u1) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u5) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up libz3-dev:amd64 (4.8.12-3.1) ...
- Setting up python3.11 (3.11.2-6+deb12u7) ...
- Setting up libncurses-dev:amd64 (6.4-4) ...
- Setting up libobjc4:amd64 (12.2.0-14+deb12u1) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up libnss3:amd64 (2:3.87.1-1+deb12u2) ...
- Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u5) ...
- Setting up lib32gcc-s1 (12.2.0-14+deb12u1) ...
- Setting up lib32stdc++6 (12.2.0-14+deb12u1) ...
- Setting up libllvm14:amd64 (1:14.0.6-12) ...
- Setting up libobjc-12-dev:amd64 (12.2.0-14+deb12u1) ...
- Setting up llvm-14-linker-tools (1:14.0.6-12) ...
- Setting up python3-pkg-resources (66.1.1-1+deb12u2) ...
- Setting up libtinfo-dev:amd64 (6.4-4) ...
- Setting up nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Setting up libclang1-14 (1:14.0.6-12) ...
- Setting up python3-yaml (6.0-3+b2) ...
- Setting up python3-pygments (2.14.0+dfsg-1) ...
- Setting up llvm-14-runtime (1:14.0.6-12) ...
- Setting up libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Setting up libclang-common-14-dev (1:14.0.6-12) ...
- Setting up libclang-cpp14 (1:14.0.6-12) ...
- Setting up libcurl3-nss:amd64 (7.88.1-10+deb12u14) ...
- Setting up libclang-14-dev (1:14.0.6-12) ...
- Setting up libclang-cpp14-dev (1:14.0.6-12) ...
- Setting up llvm-14 (1:14.0.6-12) ...
- Setting up llvm-14-tools (1:14.0.6-12) ...
- Setting up clang-14 (1:14.0.6-12) ...
- Setting up clang (1:14.0-55.7~deb12u1) ...
- Setting up llvm-14-dev (1:14.0.6-12) ...
- Processing triggers for libc-bin (2.36-9+deb12u14) ...
[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.4.1
- 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-14
- checking for LLVM version... 14.0.6
- checking for clang-14... clang-14
- 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-06-16 17:03.11: FAILED: build mopsa.1.2
2026-06-16 17:03.11: Job failed: build failed: mopsa.1.2