mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Updated CMakelists.txt
This commit is contained in:
parent
2e3c335e14
commit
e13f3d92af
|
@ -3,6 +3,7 @@ z3_add_component(fpa_tactics
|
|||
fpa2bv_model_converter.cpp
|
||||
fpa2bv_tactic.cpp
|
||||
qffp_tactic.cpp
|
||||
qffplra_tactic.cpp
|
||||
COMPONENT_DEPENDENCIES
|
||||
arith_tactics
|
||||
bv_tactics
|
||||
|
@ -14,4 +15,5 @@ z3_add_component(fpa_tactics
|
|||
TACTIC_HEADERS
|
||||
fpa2bv_tactic.h
|
||||
qffp_tactic.h
|
||||
qffplra_tactic.h
|
||||
)
|
||||
|
|
Loading…
Reference in a new issue