[CMake] Provide a way to customise the install directories #504
Conversation
executables, include files and libraries. We use ``GNUInstallDirs.cmake`` which ships with CMake to do the difficult work of setting a sensible default and setting up CMake cache variables. These can be overriden when running CMake by setting the ``CMAKE_INSTALL_BINDIR``, ``CMAKE_INSTALL_INCLUDEDIR`` and ``CMAKE_INSTALL_LIBDIR`` cache variables.
|
On 03/09/2016, 03:23 PM, Dan Liew wrote:
It does not work automatically, neither with -DCMAKE_INSTALL_LIBDIR: cmake .. -DCMAKE_INSTALL_PREFIX=/usr -DCMAKE_INSTALL_LIBDIR=lib64 I see: thanks,js |
|
@jirislaby Did you remember to wipe your source tree of the old I keep forgetting to do that myself which can result in very confusing behaviour. That's the only way the warning you show would make sense because |
|
Yep, I always use a clean tree. But I didn't actually apply the patch in the proper tree. Now it works automatically, indeed: Thanks. |
|
@jirislaby Great. Thanks for testing. @wintersteiger This PR is ready to go :) |
[CMake] Provide a way to customise the install directories
[CMake] Provide a way to customise the install directories used for
executables, include files and libraries. We use
GNUInstallDirs.cmakewhich ships with CMake to do the difficult workof setting a sensible default and setting up CMake cache variables.
These can be overriden when running CMake by setting the
CMAKE_INSTALL_BINDIR,CMAKE_INSTALL_INCLUDEDIRandCMAKE_INSTALL_LIBDIRcache variables.@jirislaby Could you please test this? For the use case you mentioned to me in #461 you can do
cmake -DCMAKE_INSTALL_LIBDIR=lib64 /path/to/z3/rootif you really need to force the library installation directory it but I thinkGNUInstallDirs.cmakeshould picklib64by default.@wintersteiger Could you hold off merging this until @jirislaby reports everything is okay?