Bugfix

paulsengroup · Sep 29, 2023 · 18e42d5 · 18e42d5
1 parent 11b9750
commit 18e42d5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -67,6 +67,11 @@ RUN cmake -DCMAKE_BUILD_TYPE=Release            \
           -DCMAKE_PREFIX_PATH="$build_dir"      \
           -DENABLE_DEVELOPER_MODE=OFF           \
           -DCMAKE_INSTALL_PREFIX="$staging_dir" \
+          -DGIT_RETRIEVED_STATE=true            \
+          -DGIT_TAG="$GIT_TAG"                  \
+          -DGIT_IS_DIRTY="$GIT_IS_DIRTY"        \
+          -DGIT_HEAD_SHA1="$GIT_HASH"           \
+          -DGIT_DESCRIBE="$GIT_SHORT_HASH"      \
           -G Ninja                              \
           -S "$src_dir"                         \
           -B "$build_dir"