mirror of
https://github.com/Z3Prover/z3
synced 2025-04-24 09:35:32 +00:00
Create CMakeLists.txt
This commit is contained in:
parent
ab0735fde2
commit
97f560054d
1 changed files with 8 additions and 0 deletions
8
src/solver/assertions/CMakeLists.txt
Normal file
8
src/solver/assertions/CMakeLists.txt
Normal file
|
@ -0,0 +1,8 @@
|
|||
z3_add_component(solver_assertions
|
||||
SOURCES
|
||||
asserted_formulas.cpp
|
||||
COMPONENT_DEPENDENCIES
|
||||
solver
|
||||
smt2parser
|
||||
smt_params
|
||||
)
|
Loading…
Add table
Add a link
Reference in a new issue