mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 13:29:11 +00:00
Code Activity

Unbreak the CMake build broken by 009af4455d

Browse source 
The commit added an additional source file and dependency but the
corresponding changes weren't added to the CMake build.
This commit is contained in:
Dan Liew 2016-10-15 21:42:20 +01:00
parent 13e3484d15
commit b2381acceb
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
contrib/cmake/src/ast/fpa/CMakeLists.txt
View file

@ -1,10 +1,12 @@
z3_add_component(fpa z3_add_component(fpa
SOURCES SOURCES
bv2fpa_converter.cpp
fpa2bv_converter.cpp fpa2bv_converter.cpp
fpa2bv_rewriter.cpp fpa2bv_rewriter.cpp
COMPONENT_DEPENDENCIES COMPONENT_DEPENDENCIES
ast ast
simplifier simplifier
model
util util
PYG_FILES PYG_FILES
fpa2bv_rewriter_params.pyg fpa2bv_rewriter_params.pyg