mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-19 23:26:30 +00:00
Code Activity

Fixes necessary to compile z3 included in clang-tidy via FetchContents.

Browse source
This commit is contained in:
David Detlefs 2026-06-08 10:19:18 -07:00
parent 3db78f043a
commit 7e3aad4e17
4 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/opt/CMakeLists.txt
View file

@ -1,4 +1,4 @@
z3_add_component(opt
z3_add_component(z3_opt
SOURCES
maxcore.cpp
maxlex.cpp