[z3] Build error on x64-windows

Package: z3:x64-windows@4.12.4

Host Environment

Host: x64-windows
Compiler: MSVC 19.38.33134.0
vcpkg-tool version: 2024-01-11-710a3116bbd615864eef5f9010af178034cb9b44 vcpkg-scripts version: b2f842609 2024-01-23 (17 hours ago)

To Reproduce

vcpkg install z3 Failure logs

-- Using cached Z3Prover-z3-z3-4.12.4.tar.gz.
-- Cleaning sources at C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean. Use --editable to skip cleaning for the packages you specify.
-- Extracting source C:/Users/bill gates/Desktop/Development assets/vcpkg/downloads/Z3Prover-z3-z3-4.12.4.tar.gz
-- Applying patch fix-install-path.patch
-- Applying patch remove-flag-overrides.patch
-- Using source at C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean
-- Found external ninja('1.11.0').
-- Configuring x64-windows
-- Building x64-windows-dbg
CMake Error at scripts/cmake/vcpkg_execute_build_process.cmake:134 (message):
    Command failed: "C:/Users/bill gates/Desktop/Development assets/vcpkg/downloads/tools/cmake-3.27.1-windows/cmake-3.27.1-windows-i386/bin/cmake.exe" --build . --config Debug --target install -- -v -j33
    Working Directory: C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg
    See logs for more information:
      C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\install-x64-windows-dbg-out.log
      C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\install-x64-windows-dbg-err.log

Call Stack (most recent call first):
  installed/x64-windows/share/vcpkg-cmake/vcpkg_cmake_build.cmake:74 (vcpkg_execute_build_process)
  installed/x64-windows/share/vcpkg-cmake/vcpkg_cmake_install.cmake:16 (vcpkg_cmake_build)
  ports/z3/portfile.cmake:28 (vcpkg_cmake_install)
  scripts/ports.cmake:170 (include)

C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\install-x64-windows-dbg-err.log

``` INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api_dll.def" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\math\polynomial\algebraic_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\math\polynomial\algebraic_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\arith_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\arith_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\array_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\array_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\math\realclosure\rcf_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\math\realclosure\rcf_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\bool_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\bool_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\bv_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\bv_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\fpa_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\fpa_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\fpa2bv_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\fpa2bv_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\pattern_inference_params_helper.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\pattern_inference_params_helper.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\poly_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\poly_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\seq_rewriter_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\seq_rewriter_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\solver_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\solver_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\params\tactic_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\params\tactic_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\ast\pp_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\ast\pp_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\smt\params\smt_params_helper.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\smt\params\smt_params_helper.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\parsers\util\parser_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\parsers\util\parser_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\sat\sat_asymm_branch_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\sat\sat_asymm_branch_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\ast\normal_forms\nnf_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\ast\normal_forms\nnf_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\model\model_evaluator_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\model\model_evaluator_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\model\model_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\model\model_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\sat\sat_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\sat\sat_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\sat\sat_scc_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\sat\sat_scc_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\sat\sat_simplifier_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\sat\sat_simplifier_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\solver\combined_solver_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\solver\combined_solver_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\solver\parallel_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\solver\parallel_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\nlsat\nlsat_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\nlsat\nlsat_params.hpp" INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/ast/pattern/database.h" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\ackermannization\ackermannization_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\ackermannization\ackermannization_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\ackermannization\ackermannize_bv_tactic_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\ackermannization\ackermannize_bv_tactic_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\tactic\sls\sls_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\tactic\sls\sls_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\muz\base\fp_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\muz\base\fp_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\tactic\smtlogics\qfufbv_tactic_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\tactic\smtlogics\qfufbv_tactic_params.hpp" INFO:root:Using C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\opt\opt_params.pyg INFO:root:Generated "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\opt\opt_params.hpp" INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api/dll\gparams_register_modules.cpp" INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api/dll\install_tactic.cpp" INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api/dll\mem_initializer.cpp" INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/shell\gparams_register_modules.cpp" INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/shell\install_tactic.cpp" INFO:root:Generated "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/shell\mem_initializer.cpp" ```

C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\install-x64-windows-dbg-out.log

``` Change Dir: 'C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg' Run Build Command(s): "C:/Program Files/Microsoft Visual Studio/2022/Professional/Common7/IDE/CommonExtensions/Microsoft/CMake/Ninja/ninja.exe" -v -v -j33 install [0/855] cmd.exe /C "cd /D "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\python\python-3.11.5-x64\python.exe" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/scripts/mk_def_file.py" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api_dll.def" libz3 "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_api.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_ast_containers.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_algebraic.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_polynomial.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_rcf.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_fixedpoint.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_optimization.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_fpa.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/api/z3_spacer.h"" [1/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\common_msgs.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\common_msgs.cpp" [3/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\luby.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\luby.cpp" [4/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\approx_set.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\approx_set.cpp" [5/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\approx_nat.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\approx_nat.cpp" [6/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\page.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\page.cpp" [7/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\bit_util.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\bit_util.cpp" [8/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\fixed_bit_vector.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\fixed_bit_vector.cpp" [9/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\hash.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\hash.cpp" [10/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\lbool.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\lbool.cpp" [11/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\env_params.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\env_params.cpp" [12/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\cmd_context_types.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\cmd_context_types.cpp" [13/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\permutation.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\permutation.cpp" [14/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\region.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\region.cpp" [15/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\prime_generator.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\prime_generator.cpp" [16/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\debug.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\debug.cpp" [17/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\mpn.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\mpn.cpp" [18/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\bit_vector.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\bit_vector.cpp" [19/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\inf_s_integer.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\inf_s_integer.cpp" [20/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\mpfx.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\mpfx.cpp" [21/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\rlimit.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\rlimit.cpp" [22/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\hwf.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\hwf.cpp" [23/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\util\CMakeFiles\util.dir\inf_int_rational.cpp.obj /Fdsrc\util\CMakeFiles\util.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\util\inf_int_rational.cpp" ... Skipped 740 lines ... [808/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_goal.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_goal.cpp" [809/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_array.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_array.cpp" [810/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_params.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_params.cpp" [811/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_polynomial.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_polynomial.cpp" [812/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_special_relations.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_special_relations.cpp" [813/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_ast_map.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_ast_map.cpp" [814/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_rcf.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_rcf.cpp" [815/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_model.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_model.cpp" [816/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_qe.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_qe.cpp" [817/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_numeral.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_numeral.cpp" [818/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_pb.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_pb.cpp" [819/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_stats.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_stats.cpp" [820/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_bv.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_bv.cpp" [821/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_quant.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_quant.cpp" [822/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_seq.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_seq.cpp" [823/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_ast_vector.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_ast_vector.cpp" [824/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_fpa.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_fpa.cpp" [825/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_context.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_context.cpp" [826/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_algebraic.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_algebraic.cpp" [827/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_tactic.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_tactic.cpp" [828/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_ast.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_ast.cpp" [829/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_datalog.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_datalog.cpp" [830/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_solver.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_solver.cpp" [831/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_opt.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_opt.cpp" [832/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\CMakeFiles\api.dir\api_parsers.cpp.obj /Fdsrc\api\CMakeFiles\api.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\api_parsers.cpp" [832/855] src\api\dll\CMakeFiles\gparams_register_modules.cpp-d76a2d4.bat bb21d2dfc07a18ea [833/855] cmd.exe /C "cd /D "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\api\dll" && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\python\python-3.11.5-x64\python.exe" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/scripts/mk_install_tactic_cpp.py" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api/dll" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api/dll/install_tactic.deps"" [834/855] cmd.exe /C "cd /D "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\api\dll" && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\python\python-3.11.5-x64\python.exe" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/scripts/mk_mem_initializer_cpp.py" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api/dll" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/debug.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/gparams.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/scoped_timer.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/prime_generator.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/rational.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/rlimit.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/state_graph.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/symbol.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/trace.h"" [835/855] src\shell\CMakeFiles\gparams_register_modules.cpp-6342f03.bat a5a974509d065b8b [836/855] cmd.exe /C "cd /D "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\shell" && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\python\python-3.11.5-x64\python.exe" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/scripts/mk_install_tactic_cpp.py" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/shell" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/shell/install_tactic.deps"" [837/855] cmd.exe /C "cd /D "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\shell" && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\python\python-3.11.5-x64\python.exe" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/scripts/mk_mem_initializer_cpp.py" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/shell" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/debug.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/gparams.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/scoped_timer.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/prime_generator.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/rational.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/rlimit.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/state_graph.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/symbol.h" "C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/src/z3-4.12.4-4cdcf0cc62.clean/src/util/trace.h"" [839/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\dll\CMakeFiles\api_dll.dir\dll.cpp.obj /Fdsrc\api\dll\CMakeFiles\api_dll.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\api\dll\dll.cpp" [840/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\dll\CMakeFiles\api_dll.dir\mem_initializer.cpp.obj /Fdsrc\api\dll\CMakeFiles\api_dll.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\api\dll\mem_initializer.cpp" [841/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\z3_log_frontend.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\shell\z3_log_frontend.cpp" [842/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\dll\CMakeFiles\api_dll.dir\gparams_register_modules.cpp.obj /Fdsrc\api\dll\CMakeFiles\api_dll.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\api\dll\gparams_register_modules.cpp" [843/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\mem_initializer.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\shell\mem_initializer.cpp" [844/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\main.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\shell\main.cpp" [845/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\gparams_register_modules.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\shell\gparams_register_modules.cpp" [846/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\drat_frontend.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\shell\drat_frontend.cpp" [847/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\dimacs_frontend.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\shell\dimacs_frontend.cpp" [848/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\datalog_frontend.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\shell\datalog_frontend.cpp" [849/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\api\dll\CMakeFiles\api_dll.dir\install_tactic.cpp.obj /Fdsrc\api\dll\CMakeFiles\api_dll.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\api\dll\install_tactic.cpp" [850/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\install_tactic.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src\shell\install_tactic.cpp" [851/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\smtlib_frontend.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\shell\smtlib_frontend.cpp" [852/855] C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\cl.exe /TP -DUNICODE -DZ3DEBUG -D_MP_INTERNAL -D_TRACE -D_UNICODE -D_WINDOWS -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\x64-windows-dbg\src" -I"C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src" /nologo /DWIN32 /D_WINDOWS /utf-8 /GR /EHsc /MP /D_DEBUG /MDd /Z7 /Ob0 /Od /RTC1 -std:c++17 -MDd /W3 /Oy- /Gd /EHsc /showIncludes /Fosrc\shell\CMakeFiles\shell.dir\opt_frontend.cpp.obj /Fdsrc\shell\CMakeFiles\shell.dir\ /FS -c "C:\Users\bill gates\Desktop\Development assets\vcpkg\buildtrees\z3\src\z3-4.12.4-4cdcf0cc62.clean\src\shell\opt_frontend.cpp" [853/855] cmd.exe /C "cd . && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\cmake-3.27.1-windows\cmake-3.27.1-windows-i386\bin\cmake.exe" -E vs_link_dll --intdir=src\CMakeFiles\libz3.dir --rc=C:\PROGRA~2\WI3CF2~1\10\bin\100226~1.0\x64\rc.exe --mt=C:\PROGRA~2\WI3CF2~1\10\bin\100226~1.0\x64\mt.exe --manifests -- C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\link.exe @CMakeFiles\libz3.rsp /out:libz3.dll /implib:libz3.lib /pdb:libz3.pdb /dll /version:4.12 /machine:x64 /SUBSYSTEM:WINDOWS /RELEASE /nologo /debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /DEF:C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api_dll.def && cd ." FAILED: libz3.dll libz3.lib cmd.exe /C "cd . && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\cmake-3.27.1-windows\cmake-3.27.1-windows-i386\bin\cmake.exe" -E vs_link_dll --intdir=src\CMakeFiles\libz3.dir --rc=C:\PROGRA~2\WI3CF2~1\10\bin\100226~1.0\x64\rc.exe --mt=C:\PROGRA~2\WI3CF2~1\10\bin\100226~1.0\x64\mt.exe --manifests -- C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\link.exe @CMakeFiles\libz3.rsp /out:libz3.dll /implib:libz3.lib /pdb:libz3.pdb /dll /version:4.12 /machine:x64 /SUBSYSTEM:WINDOWS /RELEASE /nologo /debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /DEF:C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api_dll.def && cd ." LINK: command "C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\link.exe @CMakeFiles\libz3.rsp /out:libz3.dll /implib:libz3.lib /pdb:libz3.pdb /dll /version:4.12 /machine:x64 /SUBSYSTEM:WINDOWS /RELEASE /nologo /debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /DEF:C:/Users/bill gates/Desktop/Development assets/vcpkg/buildtrees/z3/x64-windows-dbg/src/api_dll.def /MANIFEST:EMBED,ID=2" failed (exit code 1181) with the following output: LINK : fatal error LNK1181: cannot open input file 'gates\Desktop\Development.obj' [854/855] cmd.exe /C "cd . && "C:\Users\bill gates\Desktop\Development assets\vcpkg\downloads\tools\cmake-3.27.1-windows\cmake-3.27.1-windows-i386\bin\cmake.exe" -E vs_link_exe --intdir=src\shell\CMakeFiles\shell.dir --rc=C:\PROGRA~2\WI3CF2~1\10\bin\100226~1.0\x64\rc.exe --mt=C:\PROGRA~2\WI3CF2~1\10\bin\100226~1.0\x64\mt.exe --manifests -- C:\PROGRA~1\MICROS~1\2022\PROFES~1\VC\Tools\MSVC\1438~1.331\bin\Hostx64\x64\link.exe @CMakeFiles\shell.rsp /out:z3.exe /implib:z3.lib /pdb:z3.pdb /version:0.0 /machine:x64 /STACK:8388608 /RELEASE /nologo /debug /INCREMENTAL:NO /OPT:REF /OPT:ICF /TLBID:1 /NXCOMPAT /subsystem:console && cd ." ninja: build stopped: subcommand failed. ```

microsoft / vcpkg

[z3] Build error on x64-windows #36346