Description: Libraries should be installed into $(CMAKE_INSTALL_LIBDIR)
Author: Fabian Wolff <fabi.wolff@arcor.de>
Forwarded: https://github.com/CVC4/CVC4/pull/4979
Last-Update: 2020-08-30
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -88,7 +88,7 @@
 #-----------------------------------------------------------------------------#
 
 set(INCLUDE_INSTALL_DIR include)
-set(LIBRARY_INSTALL_DIR lib)
+set(LIBRARY_INSTALL_DIR "${CMAKE_INSTALL_LIBDIR}")
 set(RUNTIME_INSTALL_DIR bin)
 
 #-----------------------------------------------------------------------------#
@@ -308,7 +308,6 @@
   #
   # More information on RPATH in CMake:
   # https://gitlab.kitware.com/cmake/community/wikis/doc/cmake/RPATH-handling
-  set(CMAKE_INSTALL_RPATH "${CMAKE_INSTALL_PREFIX}/${LIBRARY_INSTALL_DIR}")
 else()
   set(CMAKE_FIND_LIBRARY_SUFFIXES .a ${CMAKE_FIND_LIBRARY_SUFFIXES})
   set(BUILD_SHARED_LIBS OFF)