2026-07-26 10:53.04: New job: build z3.4.8.5-1 (332f82df7b40)
2026-07-26 10:53.04: Waiting for resource in pool day11-builds
2026-07-26 11:22.38: Got resource from pool day11-builds
2026-07-26 11:22.38: [profile full] build z3.4.8.5-1
2026-07-26 11:22.38: build z3.4.8.5-1 (332f82df7b40)
=== DEPENDENCIES (8 transitive) ===
  conf-c++.1.0                                       93639c2e939b
  conf-gmp.5                                         be8168159001
  conf-python-3.9.0.0                                10e92bdeecd9
  num.1.6                                            e6d7a9f0419a
  ocaml.4.14.4                                       ff640eef2ca4
  ocaml-base-compiler.4.14.4                         0ab775b44d12
  ocaml-config.2                                     3a0479a5d208
  ocamlfind.1.9.8                                    aea9878e34cf
=== STDOUT ===
Processing: [default: loading data]
[WARNING] These additional system packages are required, but not available on your system: python3-distutils
[z3.4.8.5-1: dl]
[z3.4.8.5-1: extract]
[z3.4.8.5-1/4468.patch: dl]
-> retrieved z3.4.8.5-1  (https://opam.ocaml.org/cache)
[z3: patch] applying 4468.patch
[z3: python3]
+ /usr/bin/python3 "scripts/mk_make.py" "--ml" "--staticlib" (CWD=/home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1)
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:395: SyntaxWarning: invalid escape sequence '\['
-   open_pat = re.compile("\[search path for class files: (.*)\]")
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:785: SyntaxWarning: invalid escape sequence '\<'
-   system_inc_pat  = re.compile("[ \t]*#include[ \t]*\<.*\>[ \t]*")
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:1685: SyntaxWarning: invalid escape sequence '\%'
-   <Compile Include="..\%s\*.cs" Exclude="bin\**;obj\**;**\*.xproj;packages\**" />
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:2243: SyntaxWarning: invalid escape sequence '\%'
-   <Compile Include="..\%s/*.cs" />
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:3116: 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.5-1/scripts/mk_util.py:3127: SyntaxWarning: invalid escape sequence '\M'
-   f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:3130: 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.5-1/scripts/mk_util.py:3133: 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.5-1/scripts/mk_util.py:3136: 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.5-1/scripts/mk_util.py:3141: SyntaxWarning: invalid escape sequence '\$'
-   f.write('        <IntDir>$(ProjectName)\$(Configuration)\</IntDir>\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:3144: SyntaxWarning: invalid escape sequence '\$'
-   f.write('    <IntDir>$(ProjectName)\$(Configuration)\</IntDir>\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:3225: SyntaxWarning: invalid escape sequence '\M'
-   f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py:3266: SyntaxWarning: invalid escape sequence '\M'
-   f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />\n')
- /home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/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.5-1/scripts/mk_make.py", line 9, in <module>
-     from mk_util import *
-   File "/home/opam/.opam/default/.opam-switch/build/z3.4.8.5-1/scripts/mk_util.py", line 18, in <module>
-     import distutils.sysconfig
- ModuleNotFoundError: No module named 'distutils'
[ERROR] The compilation of z3.4.8.5-1 failed at "python3 scripts/mk_make.py --ml --staticlib".
build failed... 

=== STDERR ===

2026-07-26 11:23.08: FAILED: build z3.4.8.5-1
2026-07-26 11:23.08: Job failed: build failed: z3.4.8.5-1