--- CMakeLists.txt.orig	2019-06-05 13:36:31.931824154 -0600
+++ CMakeLists.txt	2019-06-05 13:44:13.228700771 -0600
@@ -14,7 +14,7 @@ set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMA
 set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
 
 # Build library for the main executable 
-add_library(lib_drat2er STATIC 
+add_library(lib_drat2er SHARED
 	src/formula.cc
 	src/formula_parser.cc
 	src/clause.cc
@@ -38,7 +38,7 @@ add_library(lib_drat2er STATIC
 	src/drat2er.cc
 	src/progress_bar.cc
 	)
-set_target_properties(lib_drat2er PROPERTIES OUTPUT_NAME drat2er POSITION_INDEPENDENT_CODE ON)
+set_target_properties(lib_drat2er PROPERTIES OUTPUT_NAME drat2er POSITION_INDEPENDENT_CODE ON VERSION 0.0.0 SOVERSION 0)
 target_link_libraries(lib_drat2er drat-trim)
 
 # Build the executable for the main program