projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52281cf) | patch
cmake: Only build libcvc4 and libcvc4parser as libraries.
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 12 Sep 2018 07:08:19 +0000 (00:08 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit507748d8bbdd2c9a2d29f83fd7f4ee6ac8d3fe08
tree5bebc96652aa40aa970c51f796e89f8f619192bdtree
parent52281cf25960740c46275783cf62c881fa8ef703commit | diff
cmake: Only build libcvc4 and libcvc4parser as libraries.

The sources of all previous libraries are now added to libcvc4 and built as
libcvc4. This removes circular  dependencies between libcvc4 and libexpr.
Further, we now only have one parser library and don't build additional
libraries for each language.
20 files changed:
CMakeLists.txt diff | blob | history
proofs/signatures/CMakeLists.txt diff | blob | history
src/CMakeLists.txt diff | blob | history
src/base/CMakeLists.txt diff | blob | history
src/expr/CMakeLists.txt diff | blob | history
src/lib/CMakeLists.txt [deleted file] blob | history
src/main/CMakeLists.txt diff | blob | history
src/options/CMakeLists.txt diff | blob | history
src/parser/CMakeLists.txt diff | blob | history
src/parser/cvc/CMakeLists.txt [deleted file] blob | history
src/parser/smt1/CMakeLists.txt [deleted file] blob | history
src/parser/smt2/CMakeLists.txt [deleted file] blob | history
src/parser/tptp/CMakeLists.txt [deleted file] blob | history
src/prop/bvminisat/CMakeLists.txt [deleted file] blob | history
src/prop/minisat/CMakeLists.txt [deleted file] blob | history
src/smt_util/CMakeLists.txt [deleted file] blob | history
src/theory/CMakeLists.txt diff | blob | history
src/util/CMakeLists.txt diff | blob | history
test/system/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history