File 0001-CMakeLists-support-different-lib-dirs.patch of Package minisat

Overview Repositories Revisions Requests Users Attributes Meta

File 0001-CMakeLists-support-different-lib-dirs.patch of Package minisat (Revision 7eb427c3f0ab581739b02c34ac2dfca2)

Currently displaying revision 7eb427c3f0ab581739b02c34ac2dfca2 , Show latest

From c65ff70c7f62ca918458cacd7b3f7b5b61a2846b Mon Sep 17 00:00:00 2001
From: Jiri Slaby <jslaby@suse.cz>
Date: Mon, 4 Nov 2019 09:56:20 +0100
Subject: [PATCH] CMakeLists: support different lib dirs

On 64bit systems, the usual destination for libraries is /usr/lib64,
not /usr/lib. So add CMAKE_INSTALL_LIBDIR and allow overriding the
the default.
---
 CMakeLists.txt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 061a61a..6e00ca0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -80,10 +80,12 @@ set_target_properties(minisat_simp       PROPERTIES OUTPUT_NAME "minisat")
 #--------------------------------------------------------------------------------------------------
 # Installation targets:
 
+set(CMAKE_INSTALL_LIBDIR lib CACHE STRING "Output directory for libraries")
+
 install(TARGETS minisat-lib-static minisat-lib-shared minisat_core minisat_simp 
         RUNTIME DESTINATION bin
-        LIBRARY DESTINATION lib
-        ARCHIVE DESTINATION lib)
+        LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
+        ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR})
 
 install(DIRECTORY minisat/mtl minisat/utils minisat/core minisat/simp
         DESTINATION include/minisat
-- 
2.23.0

Places

File 0001-CMakeLists-support-different-lib-dirs.patch of Package minisat (Revision 7eb427c3f0ab581739b02c34ac2dfca2)

Places