print the current git revision

.gitignore

@@ -7,3 +7,4 @@ __pycache__/
 /misc/autodoc/downward-xmlrpc.secret
 *~
 #*
+src/search/git_revision.h

src/search/CMakeLists.txt

@@ -46,6 +46,15 @@ set_up_options()
 project(downward LANGUAGES CXX)
 add_executable(downward planner.cc)
 
+# write git SHA1 hash into a header file
+execute_process(
+  COMMAND git log -1 "--format=format:\"%H\"%n" HEAD
+  OUTPUT_VARIABLE GIT_REVISION
+  OUTPUT_STRIP_TRAILING_WHITESPACE
+)
+configure_file(git_revision.h.in git_revision.h)
+target_include_directories(downward PUBLIC "${PROJECT_BINARY_DIR}")
+
 # On Windows we have to copy all DLLs next to the generated binary.
 if (WIN32)
     copy_dlls_to_binary_dir_after_build(downward)

src/search/git_revision.h.in

@@ -0,0 +1 @@
+#define GIT_REVISION @GIT_REVISION@

src/search/planner.cc

@@ -1,3 +1,4 @@
+#include "git_revision.h"
 #include "command_line.h"
 #include "search_algorithm.h"
 
@@ -16,6 +17,8 @@ int main(int argc, const char **argv) {
     try {
         utils::register_event_handlers();
 
+	utils::g_log << "Fast Downward build " << GIT_REVISION << endl;
+
         if (argc < 2) {
             utils::g_log << usage(argv[0]) << endl;
             utils::exit_with(ExitCode::SEARCH_INPUT_ERROR);