Make CMake generation of cprover_library.inc match with Makefile

Before it appended the converter input at configure time, meaning if you changed
any of the model *.c files it’d actually not notice the change unless you ran
CMake again. This version will pick up such changes, and also matches what we
have in the current Makefile.

Author: hannes-steffenhagen-diffblue

src/ansi-c/CMakeLists.txt

@@ -4,17 +4,10 @@ generic_flex(ansi_c)
 add_executable(converter library/converter.cpp)
 
 file(GLOB ansi_c_library_sources "library/*.c")
-set(converter_input_path "${CMAKE_CURRENT_SOURCE_DIR}/converter_input.txt")
-file(WRITE ${converter_input_path} "")
-foreach(source ${ansi_c_library_sources})
-    file(READ ${source} file_contents)
-    file(APPEND ${converter_input_path} "${file_contents}")
-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 ${converter_input_path}
-)
+    COMMAND cat ${ansi_c_library_sources} | $<TARGET_FILE:converter> > "${CMAKE_CURRENT_BINARY_DIR}/cprover_library.inc"
+    DEPENDS converter ${ansi_c_library_sources})
 
 add_executable(file_converter file_converter.cpp)