fx cmake

kroening · kroening · commit 3ab3c2c25305 · 2022-09-19T19:49:35.000+01:00
diff --git a/src/cprover/CMakeLists.txt b/src/cprover/CMakeLists.txt
@@ -1,5 +1,5 @@
 # Library
-file(GLOB_RECURSE sources "*.cpp" "*.h")
+file(GLOB_RECURSE sources "*.c" "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/cprover_main.cpp
 )

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`# Library`
`2`		`-file(GLOB_RECURSE sources ".cpp" ".h")`
	`2`	`+file(GLOB_RECURSE sources ".c" ".cpp" "*.h")`
`3`	`3`	`list(REMOVE_ITEM sources`
`4`	`4`	`${CMAKE_CURRENT_SOURCE_DIR}/cprover_main.cpp`
`5`	`5`	`)`