3cd53fc08f
* gnu/packages/ocaml.scm (omake): Update to 0.10.5. * gnu/packages/patches/omake-fix-non-determinism.patch: Adjust for new version.
42 lines
1.5 KiB
Diff
42 lines
1.5 KiB
Diff
From 9f70bca2d823b93b334ecb0f92e940d20aafc1c6 Mon Sep 17 00:00:00 2001
|
|
From: Julien Lepiller <julien@lepiller.eu>
|
|
Date: Sat, 18 Jun 2022 12:02:49 +0200
|
|
Subject: [PATCH] fix build date in binary
|
|
|
|
---
|
|
src/magic/omake_gen_magic.ml | 12 ++----------
|
|
1 file changed, 2 insertions(+), 10 deletions(-)
|
|
|
|
diff --git a/src/magic/omake_gen_magic.ml b/src/magic/omake_gen_magic.ml
|
|
index c2b9329..3d36c0c 100644
|
|
--- a/src/magic/omake_gen_magic.ml
|
|
+++ b/src/magic/omake_gen_magic.ml
|
|
@@ -150,7 +150,7 @@ let ir_magic = "%s"
|
|
let obj_magic = "%s"
|
|
let lib_dir = "%s"
|
|
let version = "%s"
|
|
-let version_message = "OMake %s:\n build [%s %s %d %02d:%02d:%02d %d]\n on %s"
|
|
+let version_message = "OMake %s"
|
|
|}
|
|
default_save_interval
|
|
digest_len
|
|
@@ -160,15 +160,7 @@ let version_message = "OMake %s:\n build [%s %s %d %02d:%02d:%02d %d]\n on
|
|
(digest_files ".omo.magic" ".omo" omo_files)
|
|
(String.escaped libdir)
|
|
(String.escaped (shorten_version version))
|
|
- (String.escaped version)
|
|
- [|"Sun"; "Mon"; "Tue"; "Wed"; "Thu"; "Fri"; "Sat"|].(tm.tm_wday)
|
|
- [|"Jan"; "Feb"; "Mar"; "Apr"; "May"; "Jun"; "Jul"; "Aug"; "Sep"; "Oct"; "Nov"; "Dec"|].(tm.tm_mon)
|
|
- tm.tm_mday
|
|
- tm.tm_hour
|
|
- tm.tm_min
|
|
- tm.tm_sec
|
|
- (tm.tm_year + 1900)
|
|
- (String.escaped (Unix.gethostname ()));
|
|
+ (String.escaped version);
|
|
List.iter
|
|
(fun (name,value) ->
|
|
Printf.fprintf buf "let %s = %S\n" name value
|
|
--
|
|
2.36.1
|
|
|