mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
attempt to fix cmake build
This commit is contained in:
parent
49ebca6c1c
commit
24ff0f2d36
|
@ -68,4 +68,5 @@ z3_add_component(api
|
|||
opt
|
||||
portfolio
|
||||
realclosure
|
||||
extra_cmds
|
||||
)
|
||||
|
|
Loading…
Reference in a new issue