--- src/CMakeLists.txt.orig	2019-08-20 17:53:35.000000000 -0600
+++ src/CMakeLists.txt	2019-08-20 18:01:51.000000000 -0600
@@ -111,6 +111,7 @@
   set(lib_type "STATIC")
 endif()
 add_library(libz3 ${lib_type} ${object_files})
+add_library(libz3-static STATIC ${object_files})
 set_target_properties(libz3 PROPERTIES
   # VERSION determines the version in the filename of the shared library.
   # SOVERSION determines the value of the DT_SONAME field on ELF platforms.
@@ -122,6 +123,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
@@ -136,6 +142,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()`
@@ -143,6 +150,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
@@ -169,7 +177,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?