diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-23 21:43:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-23 21:43:28 -0700 |
| commit | 3741bb7103c06a70dbcb1edd3af3371bd41285a2 (patch) | |
| tree | 6f0a0fde9ff30c3e60704aaf3a8a6c01ac153661 /src/theory/shared_terms_database.h | |
| parent | c5982fa8fa60f25b01efcf45cf73bca353226d84 (diff) | |
CMake: Set RPATH on installed binary (#2671)
Currently, when installing CVC4 with a custom installation directory on
macOS, the resulting binary cannot be executed because the linker cannot
find the required libraries (e.g. our parser). This commit changes our
build system to use the `CMAKE_INSTALL_RPATH` variable to add the
installation directory to the RPATH list in the exectuable.
Diffstat (limited to 'src/theory/shared_terms_database.h')
0 files changed, 0 insertions, 0 deletions