projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7dcbee) | patch
cmake: Build object libraries for base and context. (#6374)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 16 Apr 2021 06:55:25 +0000 (23:55 -0700)
committerGitHub <noreply@github.com>
Fri, 16 Apr 2021 06:55:25 +0000 (08:55 +0200)
commit03c2724cef26fa20862634e25e3adc476d049db4
treec89f442f907070abc2cf06ceb5636222167b8a74tree
parentb7dcbee6f351c22ca3454d706d5773d01dd806facommit | diff
cmake: Build object libraries for base and context. (#6374)

cmake complains that the static base and context libraries are not
exported as install targets. Since we do not want to install these
libraries we'll build object libraries instead.
src/CMakeLists.txt diff | blob | history
src/base/CMakeLists.txt diff | blob | history
src/context/CMakeLists.txt diff | blob | history