Fix cprover_library.inc dependencies in CMake

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit fa1f359101b5 · 2020-02-13T13:09:28.000Z
`cprover_library.inc` should depend on the *.c files, not just the converter
itself.
diff --git a/src/ansi-c/CMakeLists.txt b/src/ansi-c/CMakeLists.txt
@@ -13,7 +13,7 @@ endforeach()
 
 add_custom_command(OUTPUT "${CMAKE_CURRENT_BINARY_DIR}/cprover_library.inc"
     COMMAND converter < ${converter_input_path} > "${CMAKE_CURRENT_BINARY_DIR}/cprover_library.inc"
-    DEPENDS converter
+    DEPENDS converter ${converter_input_path}
 )
 
 add_executable(file_converter file_converter.cpp)

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ endforeach()`
`13`	`13`
`14`	`14`	`add_custom_command(OUTPUT "${CMAKE_CURRENT_BINARY_DIR}/cprover_library.inc"`
`15`	`15`	`COMMAND converter < ${converter_input_path} > "${CMAKE_CURRENT_BINARY_DIR}/cprover_library.inc"`
`16`		`- DEPENDS converter`
	`16`	`+ DEPENDS converter ${converter_input_path}`
`17`	`17`	`)`
`18`	`18`
`19`	`19`	`add_executable(file_converter file_converter.cpp)`