fx cmake

kroening · kroening · commit 9929e82bb138 · 2022-09-19T19:44:59.000+01:00
diff --git a/src/cprover/CMakeLists.txt b/src/cprover/CMakeLists.txt
@@ -3,7 +3,7 @@ file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/cprover_main.cpp
 )
-add_library(crover-lib ${sources})
+add_library(cprover-lib ${sources})
 
 generic_includes(cprover-lib)
 

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ file(GLOB_RECURSE sources ".cpp" ".h")`
`3`	`3`	`list(REMOVE_ITEM sources`
`4`	`4`	`${CMAKE_CURRENT_SOURCE_DIR}/cprover_main.cpp`
`5`	`5`	`)`
`6`		`-add_library(crover-lib ${sources})`
	`6`	`+add_library(cprover-lib ${sources})`
`7`	`7`
`8`	`8`	`generic_includes(cprover-lib)`
`9`	`9`