Use multi-argument form of FILE command

reuk · reuk · commit d3d632d8d242 · 2017-11-15T18:13:29.000Z
diff --git 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
@@ -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/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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -1,5 +1,4 @@
-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")
 
@@ -30,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}

Original file line number	Diff line number	Diff line change
`@@ -96,8 +96,7 @@ set(extra_dependencies`
`96`	`96`	`${CMAKE_CURRENT_BINARY_DIR}/library-check.stamp`
`97`	`97`	`)`
`98`	`98`
`99`		`-file(GLOB_RECURSE sources "*.cpp")`
`100`		`-file(GLOB_RECURSE headers "*.h")`
	`99`	`+file(GLOB_RECURSE sources ".cpp" ".h")`
`101`	`100`
`102`	`101`	`list(REMOVE_ITEM sources`
`103`	`102`	`"${CMAKE_CURRENT_SOURCE_DIR}/library/converter.cpp"`
`@@ -106,7 +105,6 @@ list(REMOVE_ITEM sources`
`106`	`105`
`107`	`106`	`add_library(ansi-c`
`108`	`107`	`${sources}`
`109`		`- ${headers}`
`110`	`108`	`${BISON_parser_OUTPUTS}`
`111`	`109`	`${FLEX_scanner_OUTPUTS}`
`112`	`110`	`)`