Index: tools/smt-constraint-manager/CMakeLists.txt
===================================================================
--- tools/smt-constraint-manager/CMakeLists.txt
+++ tools/smt-constraint-manager/CMakeLists.txt
@@ -1,23 +1,8 @@
-set(MODULE TRUE)
-
 set( LLVM_LINK_COMPONENTS support mc)
 
-add_library(SMTConstraintManagerPlugin SHARED
+add_library(SMTConstraintManagerPlugin MODULE
  SMTConstraintManager.cpp)
 
-# add_dependencies(SMTConstraintManagerPlugin
-#   ClangAttrClasses
-#   ClangAttrList
-#   ClangCommentNodes
-#   ClangDeclNodes
-#   ClangDiagnosticCommon
-#   ClangStmtNodes
-#   )
-
-target_link_libraries(SMTConstraintManagerPlugin
-  clangStaticAnalyzerCore
-  )
-
 set_target_properties(SMTConstraintManagerPlugin
   PROPERTIES
   LINKER_LANGUAGE CXX
@@ -25,4 +10,4 @@
 
 set (CMAKE_CXX_FLAGS "-std=c++11 -fPIC -pedantic -fno-common -Wcast-qual -fno-strict-aliasing -Wno-long-long -Wall -Wno-unused-parameter -Wwrite-strings -fno-rtti")
 
-set (CMAKE_SHARED_LINKER_FLAGS "-L/usr/local/lib -lstp")
+set (CMAKE_MODULE_LINKER_FLAGS "-L/usr/local/lib -Wl,--whole-archive -lstp -Wl,--whole-archive -lminisat")