[CMake] Fix `install()` commands (#8879)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 14 Jun 2022 16:15:25 +0000 (09:15 -0700)
committerGitHub <noreply@github.com>
Tue, 14 Jun 2022 16:15:25 +0000 (09:15 -0700)
commit53a611aada1a274f0964c12cd7d72e5321e2976f
tree0ed8c7d51c274b4469d2914b73f0e1bd4aff7a32
parent853d497867ffeb16f6b780c30f92c8a694a5f062
[CMake] Fix `install()` commands (#8879)

This fixes two issues related to `install()` commands:

- It removes the installation of object files from the parser. Before,
  `make install` would add unnecessary object files to the library
  directory.
- It ensures that all artifacts related to the `cvc5` target are
  installed in the library directory. DLL files [count as `RUNTIME`
  artifacts](https://cmake.org/cmake/help/latest/command/install.html),
  so `libcvc5.dll` was not installed in the `lib/` directory with `make
  install`.
src/CMakeLists.txt
src/parser/CMakeLists.txt