mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
48 lines
2.0 KiB
Diff
48 lines
2.0 KiB
Diff
--- src/CMakeLists.txt.orig 2020-09-10 12:51:28.000000000 -0600
|
|
+++ src/CMakeLists.txt 2020-11-04 20:46:35.000000000 -0700
|
|
@@ -113,6 +113,7 @@
|
|
set(lib_type "STATIC")
|
|
endif()
|
|
add_library(libz3 ${lib_type} ${object_files})
|
|
+add_library(libz3-static STATIC ${object_files})
|
|
target_include_directories(libz3 INTERFACE
|
|
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/api>
|
|
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}>)
|
|
@@ -127,6 +128,11 @@
|
|
VERSION ${Z3_VERSION}
|
|
SOVERSION ${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR})
|
|
|
|
+set_target_properties(libz3-static PROPERTIES
|
|
+ VERSION ${Z3_VERSION}
|
|
+ SOVERSION ${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR})
|
|
+set_target_properties(libz3-static PROPERTIES OUTPUT_NAME z3)
|
|
+
|
|
if (NOT MSVC)
|
|
# On UNIX like platforms if we don't change the OUTPUT_NAME
|
|
# the library gets a name like ``liblibz3.so`` so we change it
|
|
@@ -141,6 +147,7 @@
|
|
# shared library the dependent libraries are specified on the link command line
|
|
# so that if those are also shared libraries they are referenced by `libz3.so`.
|
|
target_link_libraries(libz3 PRIVATE ${Z3_DEPENDENT_LIBS})
|
|
+target_link_libraries(libz3-static PRIVATE ${Z3_DEPENDENT_LIBS})
|
|
|
|
# This is currently only for the OpenMP flags. It needs to be set
|
|
# via `target_link_libraries()` rather than `z3_append_linker_flag_list_to_target()`
|
|
@@ -148,6 +155,7 @@
|
|
# the link dependencies need to be exported too.
|
|
foreach (flag_name ${Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS})
|
|
target_link_libraries(libz3 PRIVATE ${flag_name})
|
|
+ target_link_libraries(libz3-static PRIVATE ${flag_name})
|
|
endforeach()
|
|
|
|
# Declare which header file are the public header files of libz3
|
|
@@ -174,7 +182,7 @@
|
|
set_property(TARGET libz3 APPEND PROPERTY
|
|
PUBLIC_HEADER "${CMAKE_CURRENT_BINARY_DIR}/util/z3_version.h")
|
|
|
|
-install(TARGETS libz3
|
|
+install(TARGETS libz3 libz3-static
|
|
EXPORT Z3_EXPORTED_TARGETS
|
|
LIBRARY DESTINATION "${CMAKE_INSTALL_LIBDIR}"
|
|
ARCHIVE DESTINATION "${CMAKE_INSTALL_LIBDIR}" # On Windows this installs ``libz3.lib`` which CMake calls the "corresponding import library". Do we want this installed?
|