2026-10-21 18:33.30: New job: build z3.4.8.13 (71de94a3b2a3)
2026-10-21 18:33.30: Waiting for resource in pool day11-builds
2026-10-21 19:11.46: Got resource from pool day11-builds
2026-10-21 19:11.46: [profile full] build z3.4.8.13
2026-10-21 19:11.46: build z3.4.8.13 (71de94a3b2a3)
=== DEPENDENCIES (9 transitive) ===
  conf-c++.1.0                                       cbd8a970f0c7
  conf-gmp.5                                         d0211a82c71f
  conf-pkg-config.5                                  26be2768a637
  conf-python-3.9.0.0                                72e5f1fe4e8f
  ocaml.4.14.4                                       2cc549d6f8d5
  ocaml-base-compiler.4.14.4                         ecbd009faad9
  ocaml-config.2                                     c0047cbf7f6a
  ocamlfind.1.9.8                                    775658c4e58c
  zarith.1.14                                        3789491f3c85
=== STDOUT ===
Processing: [default: loading data]
[WARNING] These additional system packages are required, but not available on your system: python3-distutils
[z3.4.8.13: dl]
[z3.4.8.13: extract]
-> retrieved z3.4.8.13  (https://opam.ocaml.org/cache)
[z3: python3]
+ /usr/bin/python3 "scripts/mk_make.py" "--ml" (CWD=/home/opam/.opam/default/.opam-switch/build/z3.4.8.13)
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:383: SyntaxWarning: invalid escape sequence '\['
-   open_pat = re.compile("\[search path for class files: (.*)\]")
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:775: SyntaxWarning: invalid escape sequence '\<'
-   system_inc_pat  = re.compile("[ \t]*#include[ \t]*\<.*\>[ \t]*")
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:1719: SyntaxWarning: invalid escape sequence '\%'
-   <Compile Include="..\%s\*.cs;*.cs" Exclude="bin\**;obj\**;**\*.xproj;packages\**" />
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:2225: SyntaxWarning: invalid escape sequence '\%'
-   <Compile Include="..\%s/*.cs" />
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3143: SyntaxWarning: invalid escape sequence '\M'
-   f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3154: SyntaxWarning: invalid escape sequence '\M'
-   f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3157: SyntaxWarning: invalid escape sequence '\M'
-   f.write('    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists(\'$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props\')" Label="LocalAppDataPlatform" />  </ImportGroup>\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3160: SyntaxWarning: invalid escape sequence '\$'
-   f.write('    <OutDir Condition="\'$(Configuration)|$(Platform)\'==\'Debug|Win32\'">$(SolutionDir)\$(ProjectName)\$(Configuration)\</OutDir>\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3163: SyntaxWarning: invalid escape sequence '\$'
-   f.write('    <OutDir Condition="\'$(Configuration)|$(Platform)\'==\'Release|Win32\'">$(SolutionDir)\$(ProjectName)\$(Configuration)\</OutDir>\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3168: SyntaxWarning: invalid escape sequence '\$'
-   f.write('        <IntDir>$(ProjectName)\$(Configuration)\</IntDir>\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3171: SyntaxWarning: invalid escape sequence '\$'
-   f.write('    <IntDir>$(ProjectName)\$(Configuration)\</IntDir>\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3248: SyntaxWarning: invalid escape sequence '\M'
-   f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py:3289: SyntaxWarning: invalid escape sequence '\M'
-   f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:142: SyntaxWarning: invalid escape sequence '\-'
-   words = re.split('[^\-a-zA-Z0-9_]+', line)
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:230: SyntaxWarning: invalid escape sequence '\-'
-   words = re.split('[^\-a-zA-Z0-9_]+', line)
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:318: SyntaxWarning: invalid escape sequence '\-'
-   words = re.split('[^\-a-zA-Z0-9_]+', line)
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:444: SyntaxWarning: invalid escape sequence '\-'
-   words = re.split('[^\-a-zA-Z0-9_]+', line)
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:577: SyntaxWarning: invalid escape sequence '\W'
-   words = re.split('\W+', line)
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:621: SyntaxWarning: invalid escape sequence '\('
-   reg_pat = re.compile('[ \t]*REG_PARAMS\(\'([^\']*)\'\)')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:622: SyntaxWarning: invalid escape sequence '\('
-   reg_mod_pat = re.compile('[ \t]*REG_MODULE_PARAMS\(\'([^\']*)\', *\'([^\']*)\'\)')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:623: SyntaxWarning: invalid escape sequence '\('
-   reg_mod_descr_pat = re.compile('[ \t]*REG_MODULE_DESCRIPTION\(\'([^\']*)\', *\'([^\']*)\'\)')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:695: SyntaxWarning: invalid escape sequence '\('
-   tactic_pat   = re.compile('[ \t]*ADD_TACTIC\(.*\)')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:696: SyntaxWarning: invalid escape sequence '\('
-   probe_pat    = re.compile('[ \t]*ADD_PROBE\(.*\)')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:762: SyntaxWarning: invalid escape sequence '\('
-   initializer_pat      = re.compile('[ \t]*ADD_INITIALIZER\(\'([^\']*)\'\)')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:764: SyntaxWarning: invalid escape sequence '\('
-   initializer_prio_pat = re.compile('[ \t]*ADD_INITIALIZER\(\'([^\']*)\',[ \t]*(-?[0-9]*)\)')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_genfile_common.py:765: SyntaxWarning: invalid escape sequence '\('
-   finalizer_pat        = re.compile('[ \t]*ADD_FINALIZER\(\'([^\']*)\'\)')
- Traceback (most recent call last):
-   File "/home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_make.py", line 9, in <module>
-     from mk_util import *
-   File "/home/opam/.opam/default/.opam-switch/build/z3.4.8.13/scripts/mk_util.py", line 18, in <module>
-     import distutils.sysconfig
- ModuleNotFoundError: No module named 'distutils'
[ERROR] The compilation of z3.4.8.13 failed at "python3 scripts/mk_make.py --ml".
build failed... 

=== STDERR ===

2026-10-21 19:12.07: FAILED: build z3.4.8.13
2026-10-21 19:12.07: Job failed: build failed: z3.4.8.13