forked from pool/minisat
Jiri Slaby
b008204bcd
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/minisat?expand=0&rev=20
31 lines
1.0 KiB
Diff
31 lines
1.0 KiB
Diff
From f6d76981b1b31a389c30239e0b10332ddacceccf 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 465fd913..10c8bf08 100644
|
|
--- a/CMakeLists.txt
|
|
+++ b/CMakeLists.txt
|
|
@@ -220,8 +220,8 @@ set_target_properties(minisat_simp PROPERTIES OUTPUT_NAME "minisat")
|
|
install(TARGETS minisat minisat_core minisat_simp
|
|
EXPORT ${MINISAT_EXPORT_NAME}
|
|
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.26.2
|
|
|