diff --git a/CMakeLists.txt b/CMakeLists.txt
index c0000a064ec..81f847e4105 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -41,3 +41,49 @@ if(${enable_cbmc_tests})
 endif()
 add_subdirectory(unit)
 add_subdirectory(regression)
+
+set_target_properties(
+    analyses
+    ansi-c
+    assembler
+    big-int
+    cbmc
+    cbmc-lib
+    clobber
+    clobber-lib
+    cpp
+    driver
+    goto-analyzer
+    goto-analyzer-lib
+    goto-cc
+    goto-cc-lib
+    goto-diff
+    goto-diff-lib
+    goto-instrument
+    goto-instrument-lib
+    goto-programs
+    goto-symex
+    java_bytecode
+    jbmc
+    jbmc-lib
+    jsil
+    json
+    langapi
+    linking
+    miniBDD
+    miniz
+    mmcc
+    pointer-analysis
+    solvers
+    string_utils
+    test-bigint
+    testing-utils
+    unit
+    util
+    xml
+
+    PROPERTIES
+    CXX_STANDARD 11
+    CXX_STANDARD_REQUIRED true
+    XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY "Developer ID Application: Daniel Kroening"
+)
diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
index 73bf9c3036d..df6217d6fe0 100644
--- a/regression/CMakeLists.txt
+++ b/regression/CMakeLists.txt
@@ -1,6 +1,3 @@
-set(CMAKE_CXX_STANDARD 11)
-set(CMAKE_CXX_STANDARD_REQUIRED true)
-
 set(test_pl_path "${CMAKE_CURRENT_SOURCE_DIR}/test.pl")
 
 macro(add_test_pl_profile name cmdline flag profile)
diff --git a/scripts/glucose_CMakeLists.txt b/scripts/glucose_CMakeLists.txt
index 401da4d4b80..94165238d8a 100644
--- a/scripts/glucose_CMakeLists.txt
+++ b/scripts/glucose_CMakeLists.txt
@@ -6,6 +6,14 @@ add_library(glucose-condensed
     core/Solver.cc
 )
 
+set_target_properties(
+    glucose-condensed
+    PROPERTIES
+    CXX_STANDARD 11
+    CXX_STANDARD_REQUIRED true
+    XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY "Developer ID Application: Daniel Kroening"
+)
+
 target_include_directories(glucose-condensed
     PUBLIC
     ${CMAKE_CURRENT_SOURCE_DIR}
diff --git a/scripts/minisat2_CMakeLists.txt b/scripts/minisat2_CMakeLists.txt
index 9902207c4ef..1be8087ba62 100644
--- a/scripts/minisat2_CMakeLists.txt
+++ b/scripts/minisat2_CMakeLists.txt
@@ -6,6 +6,14 @@ add_library(minisat2-condensed
     minisat/core/Solver.cc
 )
 
+set_target_properties(
+    minisat2-condensed
+    PROPERTIES
+    CXX_STANDARD 11
+    CXX_STANDARD_REQUIRED true
+    XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY "Developer ID Application: Daniel Kroening"
+)
+
 target_include_directories(minisat2-condensed
     PUBLIC
     ${CMAKE_CURRENT_SOURCE_DIR}
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 6d4d957ee63..11e3ee8c531 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1,25 +1,8 @@
-cmake_minimum_required(VERSION 3.2)
-
-#   TODO
-#   -[ ] Install profiles.
-#   -[ ] Specify one of many different solver libraries.
-
 project(CBMC)
 
-set(CMAKE_CXX_STANDARD 11)
-set(CMAKE_CXX_STANDARD_REQUIRED true)
-
-set(CMAKE_EXPORT_COMPILE_COMMANDS true)
-
 find_package(BISON)
 find_package(FLEX)
 
-set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
-set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/lib)
-set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
-
-include(CPack)
-
 find_package(Doxygen)
 if(DOXYGEN_FOUND)
     add_custom_target(doc
@@ -97,13 +80,6 @@ macro(add_if_library target name)
     endif()
 endmacro(add_if_library)
 
-#   Override add_executable to automatically sign the target on OSX.
-function(add_executable name)
-    _add_executable(${name} ${ARGN})
-    set_target_properties(${name} PROPERTIES XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY
-        "Developer ID Application: Daniel Kroening")
-endfunction(add_executable)
-
 add_subdirectory(analyses)
 add_subdirectory(ansi-c)
 add_subdirectory(assembler)
diff --git a/src/analyses/CMakeLists.txt b/src/analyses/CMakeLists.txt
index 70922ac2d71..03be00fc8de 100644
--- a/src/analyses/CMakeLists.txt
+++ b/src/analyses/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(analyses ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(analyses ${sources})
 
 generic_includes(analyses)
 
diff --git a/src/ansi-c/CMakeLists.txt b/src/ansi-c/CMakeLists.txt
index b9603d998b4..fea313b21b8 100644
--- a/src/ansi-c/CMakeLists.txt
+++ b/src/ansi-c/CMakeLists.txt
@@ -96,8 +96,7 @@ set(extra_dependencies
     ${CMAKE_CURRENT_BINARY_DIR}/library-check.stamp
 )
 
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 
 list(REMOVE_ITEM sources
     "${CMAKE_CURRENT_SOURCE_DIR}/library/converter.cpp"
@@ -106,7 +105,6 @@ list(REMOVE_ITEM sources
 
 add_library(ansi-c
     ${sources}
-    ${headers}
     ${BISON_parser_OUTPUTS}
     ${FLEX_scanner_OUTPUTS}
 )
diff --git a/src/assembler/CMakeLists.txt b/src/assembler/CMakeLists.txt
index 991bcb8fbf6..06c7f4b5bc7 100644
--- a/src/assembler/CMakeLists.txt
+++ b/src/assembler/CMakeLists.txt
@@ -1,10 +1,8 @@
 generic_flex(assembler)
 
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 add_library(assembler
     ${sources}
-    ${headers}
     ${FLEX_scanner_OUTPUTS}
 )
 
diff --git a/src/cbmc/CMakeLists.txt b/src/cbmc/CMakeLists.txt
index 44fbb0170d1..cf0034f5484 100644
--- a/src/cbmc/CMakeLists.txt
+++ b/src/cbmc/CMakeLists.txt
@@ -1,10 +1,9 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/cbmc_main.cpp
 )
-add_library(cbmc-lib ${sources} ${headers})
+add_library(cbmc-lib ${sources})
 
 generic_includes(cbmc-lib)
 
diff --git a/src/clobber/CMakeLists.txt b/src/clobber/CMakeLists.txt
index 3d7a43ec9ca..384ae51824e 100644
--- a/src/clobber/CMakeLists.txt
+++ b/src/clobber/CMakeLists.txt
@@ -1,10 +1,9 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/clobber_main.cpp
 )
-add_library(clobber-lib ${sources} ${headers})
+add_library(clobber-lib ${sources})
 
 generic_includes(clobber-lib)
 
diff --git a/src/cpp/CMakeLists.txt b/src/cpp/CMakeLists.txt
index 740c600641b..b4d00b13a21 100644
--- a/src/cpp/CMakeLists.txt
+++ b/src/cpp/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(cpp ${sources} ${headers}) 
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(cpp ${sources})
 
 generic_includes(cpp)
 
diff --git a/src/goto-analyzer/CMakeLists.txt b/src/goto-analyzer/CMakeLists.txt
index 1e07f53afbe..175b1f99ab6 100644
--- a/src/goto-analyzer/CMakeLists.txt
+++ b/src/goto-analyzer/CMakeLists.txt
@@ -1,10 +1,9 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/goto_analyzer_main.cpp
 )
-add_library(goto-analyzer-lib ${sources} ${headers})
+add_library(goto-analyzer-lib ${sources})
 
 generic_includes(goto-analyzer-lib)
 
diff --git a/src/goto-cc/CMakeLists.txt b/src/goto-cc/CMakeLists.txt
index 8508fb6924d..8259d960561 100644
--- a/src/goto-cc/CMakeLists.txt
+++ b/src/goto-cc/CMakeLists.txt
@@ -1,10 +1,9 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/goto_cc_main.cpp
 )
-add_library(goto-cc-lib ${sources} ${headers})
+add_library(goto-cc-lib ${sources})
 
 generic_includes(goto-cc-lib)
 
diff --git a/src/goto-diff/CMakeLists.txt b/src/goto-diff/CMakeLists.txt
index a590e4d9df2..39f4bf011ec 100644
--- a/src/goto-diff/CMakeLists.txt
+++ b/src/goto-diff/CMakeLists.txt
@@ -1,10 +1,9 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/goto_diff_main.cpp
 )
-add_library(goto-diff-lib ${sources} ${headers})
+add_library(goto-diff-lib ${sources})
 
 generic_includes(goto-diff-lib)
 
diff --git a/src/goto-instrument/CMakeLists.txt b/src/goto-instrument/CMakeLists.txt
index 233a3bbec41..95c707aaa76 100644
--- a/src/goto-instrument/CMakeLists.txt
+++ b/src/goto-instrument/CMakeLists.txt
@@ -1,13 +1,12 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/goto_instrument_main.cpp
 
     # This doesn't build
     ${CMAKE_CURRENT_SOURCE_DIR}/accelerate/linearize.cpp
 )
-add_library(goto-instrument-lib ${sources} ${headers})
+add_library(goto-instrument-lib ${sources})
 
 generic_includes(goto-instrument-lib)
 
diff --git a/src/goto-programs/CMakeLists.txt b/src/goto-programs/CMakeLists.txt
index 84a06943b98..13ed9cbb70c 100644
--- a/src/goto-programs/CMakeLists.txt
+++ b/src/goto-programs/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(goto-programs ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(goto-programs ${sources})
 
 generic_includes(goto-programs)
 
diff --git a/src/goto-symex/CMakeLists.txt b/src/goto-symex/CMakeLists.txt
index cc51bb603d9..bc2cfd0368a 100644
--- a/src/goto-symex/CMakeLists.txt
+++ b/src/goto-symex/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(goto-symex ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(goto-symex ${sources})
 
 generic_includes(goto-symex)
 
diff --git a/src/java_bytecode/CMakeLists.txt b/src/java_bytecode/CMakeLists.txt
index 282519dbf1c..b9b8191fd16 100644
--- a/src/java_bytecode/CMakeLists.txt
+++ b/src/java_bytecode/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(java_bytecode ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(java_bytecode ${sources})
 
 generic_includes(java_bytecode)
 
diff --git a/src/jbmc/CMakeLists.txt b/src/jbmc/CMakeLists.txt
index 062c8f872d9..4d29e360ad4 100644
--- a/src/jbmc/CMakeLists.txt
+++ b/src/jbmc/CMakeLists.txt
@@ -1,10 +1,9 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/jbmc_main.cpp
 )
-add_library(jbmc-lib ${sources} ${headers})
+add_library(jbmc-lib ${sources})
 
 generic_includes(jbmc-lib)
 
diff --git a/src/jsil/CMakeLists.txt b/src/jsil/CMakeLists.txt
index b3a34114639..e3ebea25d35 100644
--- a/src/jsil/CMakeLists.txt
+++ b/src/jsil/CMakeLists.txt
@@ -1,11 +1,9 @@
 generic_bison(jsil)
 generic_flex(jsil)
 
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 add_library(jsil
     ${sources}
-    ${headers}
     ${BISON_parser_OUTPUTS}
     ${FLEX_scanner_OUTPUTS}
 )
diff --git a/src/json/CMakeLists.txt b/src/json/CMakeLists.txt
index 944085707a0..1454d78bece 100644
--- a/src/json/CMakeLists.txt
+++ b/src/json/CMakeLists.txt
@@ -1,11 +1,9 @@
 generic_bison(json)
 generic_flex(json)
 
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(json 
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(json
     ${sources}
-    ${headers}
     ${BISON_parser_OUTPUTS}
     ${FLEX_scanner_OUTPUTS}
 )
diff --git a/src/langapi/CMakeLists.txt b/src/langapi/CMakeLists.txt
index aa71bc63612..1c6185fa014 100644
--- a/src/langapi/CMakeLists.txt
+++ b/src/langapi/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(langapi ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(langapi ${sources})
 
 generic_includes(langapi)
 
diff --git a/src/linking/CMakeLists.txt b/src/linking/CMakeLists.txt
index f96361799db..f33232fd156 100644
--- a/src/linking/CMakeLists.txt
+++ b/src/linking/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(linking ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(linking ${sources})
 
 generic_includes(linking)
 
diff --git a/src/memory-models/CMakeLists.txt b/src/memory-models/CMakeLists.txt
index 04e51ad62b1..9cb6152a86f 100644
--- a/src/memory-models/CMakeLists.txt
+++ b/src/memory-models/CMakeLists.txt
@@ -1,11 +1,9 @@
 generic_bison(mm)
 generic_flex(mm)
 
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 add_library(mmcc
     ${sources}
-    ${headers}
     ${BISON_parser_OUTPUTS}
     ${FLEX_scanner_OUTPUTS}
 )
diff --git a/src/miniz/CMakeLists.txt b/src/miniz/CMakeLists.txt
index 1d7862730e0..ac8d013b4a4 100644
--- a/src/miniz/CMakeLists.txt
+++ b/src/miniz/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(miniz ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(miniz ${sources})
 
 generic_includes(miniz)
 
diff --git a/src/pointer-analysis/CMakeLists.txt b/src/pointer-analysis/CMakeLists.txt
index 66d9f23893d..9a9787e44e5 100644
--- a/src/pointer-analysis/CMakeLists.txt
+++ b/src/pointer-analysis/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(pointer-analysis ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(pointer-analysis ${sources})
 
 generic_includes(pointer-analysis)
 
diff --git a/src/solvers/CMakeLists.txt b/src/solvers/CMakeLists.txt
index f2bc127faf8..6fd78fba152 100644
--- a/src/solvers/CMakeLists.txt
+++ b/src/solvers/CMakeLists.txt
@@ -45,8 +45,7 @@ set(limmat_source
     ${CMAKE_CURRENT_SOURCE_DIR}/sat/satcheck_limmat.cpp
 )
 
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${chaff_source}
     ${minisat_source}
@@ -63,7 +62,7 @@ list(REMOVE_ITEM sources
     ${limmat_source}
 )
 
-add_library(solvers ${sources} ${headers})
+add_library(solvers ${sources})
 
 include("${CBMC_SOURCE_DIR}/../cmake/DownloadProject.cmake")
 
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index b073a8baa0e..19e7810aba2 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -1,6 +1,5 @@
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(util ${sources} ${headers})
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(util ${sources})
 
 generic_includes(util)
 
diff --git a/src/xmllang/CMakeLists.txt b/src/xmllang/CMakeLists.txt
index 58879cdee74..318e90b8017 100644
--- a/src/xmllang/CMakeLists.txt
+++ b/src/xmllang/CMakeLists.txt
@@ -1,11 +1,9 @@
 generic_bison(xml)
 generic_flex(xml)
 
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
-add_library(xml 
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+add_library(xml
     ${sources}
-    ${headers}
     ${BISON_parser_OUTPUTS}
     ${FLEX_scanner_OUTPUTS}
 )
diff --git a/unit/CMakeLists.txt b/unit/CMakeLists.txt
index a7b1748f8e6..166c1f8c894 100644
--- a/unit/CMakeLists.txt
+++ b/unit/CMakeLists.txt
@@ -1,8 +1,4 @@
-set(CMAKE_CXX_STANDARD 11)
-set(CMAKE_CXX_STANDARD_REQUIRED true)
-
-file(GLOB_RECURSE sources "*.cpp")
-file(GLOB_RECURSE headers "*.h")
+file(GLOB_RECURSE sources "*.cpp" "*.h")
 
 file(GLOB_RECURSE testing_utils "testing-utils/*.cpp" "testing-utils/*.h")
 
@@ -33,7 +29,7 @@ list(REMOVE_ITEM sources
 
 add_subdirectory(testing-utils)
 
-add_executable(unit ${sources} ${headers})
+add_executable(unit ${sources})
 target_include_directories(unit
     PUBLIC
     ${CBMC_BINARY_DIR}