projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5982fa) | patch
CMake: Set RPATH on installed binary (#2671)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 24 Oct 2018 04:43:28 +0000 (21:43 -0700)
committerGitHub <noreply@github.com>
Wed, 24 Oct 2018 04:43:28 +0000 (21:43 -0700)
commit3741bb7103c06a70dbcb1edd3af3371bd41285a2
tree6f0a0fde9ff30c3e60704aaf3a8a6c01ac153661tree
parentc5982fa8fa60f25b01efcf45cf73bca353226d84commit | 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.
CMakeLists.txt diff | blob | history