2026-07-26 11:14.47: New job: build z3.4.8.13 (f2a2581c4feb)
2026-07-26 11:14.47: Waiting for resource in pool day11-builds
2026-07-26 12:48.38: Got resource from pool day11-builds
2026-07-26 12:48.38: [profile full] build z3.4.8.13
2026-07-26 12:48.38: build z3.4.8.13 (f2a2581c4feb)
=== DEPENDENCIES (9 transitive) ===
  conf-c++.1.0                                       93639c2e939b
  conf-gmp.5                                         be8168159001
  conf-pkg-config.5                                  2c611009363a
  conf-python-3.9.0.0                                10e92bdeecd9
  ocaml.4.14.4                                       ff640eef2ca4
  ocaml-base-compiler.4.14.4                         0ab775b44d12
  ocaml-config.2                                     3a0479a5d208
  ocamlfind.1.9.8                                    aea9878e34cf
  zarith.1.14                                        3bf0fc9b7912
=== 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-07-26 12:49.01: FAILED: build z3.4.8.13
2026-07-26 12:49.01: Job failed: build failed: z3.4.8.13