diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-11 18:59:38 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-11 18:59:38 -0700 |
| commit | aa9de792acc87e72f9b273534ff035f29bbe8caa (patch) | |
| tree | 9775f0a9a6dadbe8dbae286749f0bfa2992bbdac /src/theory | |
| parent | ad87bbc615944514fcfcb3689768aab60a9cc9d6 (diff) | |
Fix install of static builds
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.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions