2026-09-19 17:58.02: New job: build z3.4.8.13 (ff4d8cab33cf)
2026-09-19 17:58.02: Waiting for resource in pool day11-builds
2026-09-19 18:48.10: Got resource from pool day11-builds
2026-09-19 18:48.10: [profile full] build z3.4.8.13
2026-09-19 18:48.10: build z3.4.8.13 (ff4d8cab33cf)
=== DEPENDENCIES (9 transitive) ===
  conf-c++.1.0                                       43731ce483d0
  conf-gmp.5                                         00570d20295f
  conf-pkg-config.5                                  5bc8297bba82
  conf-python-3.9.0.0                                2e936c1e0019
  ocaml.4.14.4                                       0eceb429ac11
  ocaml-base-compiler.4.14.4                         4a21df12bcb6
  ocaml-config.2                                     58cec4e89336
  ocamlfind.1.9.8                                    7bca84f6ccc0
  zarith.1.14                                        14fa3444722a
=== 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-09-19 18:49.27: FAILED: build z3.4.8.13
2026-09-19 18:49.27: Job failed: build failed: z3.4.8.13