projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d547e5) | patch
Fix install of static builds (#4604)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 12 Jun 2020 03:05:39 +0000 (20:05 -0700)
committerGitHub <noreply@github.com>
Fri, 12 Jun 2020 03:05:39 +0000 (22:05 -0500)
commitd7847d052eb45695f24b2d534d3b6fb1551302ea
tree21bd19f3cbfc158ef0fbadd94d59f60bbcd655fdtree
parent4d547e52d3f2b54a0af7270d2b653d2cb24edb57commit | diff
Fix install of static builds (#4604)

We use CMAKE_INSTALL_PATH to set the installation prefix as an RPATH
in the executable. However, for static builds, changing the RPATH fails.
This commit changes our build system to only change the
CMAKE_INSTALL_PATH if we are doing a shared library build.
CMakeLists.txt diff | blob | history