mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Add missing source file declarations to CMake build that were
added by 70f13ced33
This commit is contained in:
parent
3a9b4985e4
commit
114f09cf4c
|
@ -1,6 +1,7 @@
|
|||
z3_add_component(fpa
|
||||
SOURCES
|
||||
fpa2bv_converter.cpp
|
||||
fpa2bv_rewriter.cpp
|
||||
COMPONENT_DEPENDENCIES
|
||||
ast
|
||||
simplifier
|
||||
|
|
|
@ -61,6 +61,7 @@ add_executable(test-z3
|
|||
"${CMAKE_CURRENT_BINARY_DIR}/mem_initializer.cpp"
|
||||
memory.cpp
|
||||
model2expr.cpp
|
||||
model_evaluator.cpp
|
||||
model_retrieval.cpp
|
||||
mpbq.cpp
|
||||
mpf.cpp
|
||||
|
|
Loading…
Reference in a new issue