math/cvc4/files/patch-src_base_configuration.cpp


1
2
3
4
5
6
7
8
9
10
11

--- src/base/configuration.cpp.orig 2018-06-25 21:13:17 UTC
+++ src/base/configuration.cpp
@@ -405,7 +405,7 @@ std::string Configuration::getCompiler() {
 }
 
 std::string Configuration::getCompiledDateTime() {
-  return __DATE__ " " __TIME__;
+  return "(timestamp removed for reproducible builds)";
 }
 
 }/* CVC4 namespace */