From 35d09d50c319e1546466efbe772d88e119079866 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Wed, 1 Aug 2018 15:53:19 +0100
Subject: [PATCH] CMake version.cpp: switch back to add_custom_target

Custom commands (per default) only run if the generated file doesn't exist; custom targets always run
(but configure_file refrains from actually making a change if not necessary).

add_dependencies is still necessary in this case, to note that anything that needs `util` should check `version.cpp`.
---
 src/util/CMakeLists.txt | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 2100c47a543..826f0644477 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -30,18 +30,20 @@ endif()
 
 file(WRITE ${CMAKE_CURRENT_BINARY_DIR}/version.cpp.in
   "const char *CBMC_VERSION=\"@CBMC_RELEASE@ (@GIT_INFO@)\";\n")
-add_custom_command(
-  OUTPUT version.cpp
+add_custom_target(
+  generate_version_cpp
   COMMAND ${CMAKE_COMMAND}
     -D CBMC_SOURCE_DIR=${CBMC_SOURCE_DIR}
     -D CUR=${CMAKE_CURRENT_BINARY_DIR}
     -P ${CMAKE_BINARY_DIR}/version.cmake
-)
+    )
 
 add_library(util
   ${sources}
   version.cpp)
 
+add_dependencies(util generate_version_cpp)
+
 generic_includes(util)
 
 target_link_libraries(util big-int langapi)