add centered git version to CBMC banner

Author: Matthias Güdemann

src/cbmc/Makefile

@@ -64,9 +64,11 @@ CLEANFILES = cbmc$(EXEEXT)
 all: cbmc$(EXEEXT)
 
 ifeq ($(BUILD_ENV_),MSVC)
-  CP_CXXFLAGS += /DCBMC_VERSION='"""$(CBMC_VERSION) ($(GIT_INFO))"""'
+  CP_CXXFLAGS += /DCBMC_TAG_VERSION='"""$(CBMC_VERSION)"""' \
+       /DCBMC_VERSION='"""($(GIT_INFO))"""'
 else
-  CP_CXXFLAGS += -DCBMC_VERSION="\"$(CBMC_VERSION) ($(GIT_INFO))\""
+  CP_CXXFLAGS += -DCBMC_TAG_VERSION="\"$(CBMC_VERSION)\"" \
+       -DCBMC_VERSION="\"($(GIT_INFO))\""
 endif
 
 ifneq ($(wildcard ../bv_refinement/Makefile),)

src/cbmc/cbmc_parse_options.cpp

@@ -868,13 +868,14 @@ void cbmc_parse_optionst::help()
   // clang-format off
   std::cout <<
     "\n"
-    "* *   CBMC " CBMC_VERSION " - Copyright (C) 2001-2018 ";
+    "* *   CBMC " CBMC_TAG_VERSION " - Copyright (C) 2001-2018 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 
   std::cout << "   * *\n";
 
   std::cout <<
+    "* *                  " CBMC_VERSION "                * * \n"
     "* *              Daniel Kroening, Edmund Clarke             * *\n"
     "* * Carnegie Mellon University, Computer Science Department * *\n"
     "* *                 [email protected]                   * *\n"