diff options
| author | Ricardo Wurmus <[email protected]> | 2019-02-06 13:03:26 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <[email protected]> | 2019-02-06 13:03:26 +0100 |
| commit | ba88eea2b3a8a33ecd7fc0ec64e3917c6c2fe21d (patch) | |
| tree | 75c68e44d3d76440f416552711b1a47ec83e411e /gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch | |
| parent | f380f9d55e6757c242acf6c71c4a3ccfcdb066b2 (diff) | |
| parent | 4aeb7f34c948f32363f2ae29c6942c6328df758c (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch')
| -rw-r--r-- | gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch b/gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch deleted file mode 100644 index 9f8713e3d3..0000000000 --- a/gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch +++ /dev/null @@ -1,34 +0,0 @@ -From 354ef78aac0b887fae3c10b28eb2b0d83f66bdfe Mon Sep 17 00:00:00 2001 -From: Julien Lepiller <[email protected]> -Date: Mon, 2 Jan 2017 17:05:24 +0100 -Subject: [PATCH] Honor SOURCE_DATE_EPOCH - ---- - Makefile.in | 7 ++++++- - 1 file changed, 6 insertions(+), 1 deletion(-) - -diff --git a/Makefile.in b/Makefile.in -index a32b4b8..ef4c174 100644 ---- a/Makefile.in -+++ b/Makefile.in -@@ -113,11 +113,16 @@ graph.cmx: $(CMI) $(CMX) - $(OCAMLOPT) $(INCLUDES) -pack -o $@ $^ - - VERSION=1.8.7 -+ifdef SOURCE_DATE_EPOCH -+BUILD_DATE=$(shell date -u -d "@$(SOURCE_DATE_EPOCH)" 2>/dev/null || date -u -r "$(SOURCE_DATE_EPOCH)" 2>/dev/null || date) -+else -+BUILD_DATE=$(shell date) -+endif - - src/version.ml: Makefile - rm -f $@ - echo "let version = \""$(VERSION)"\"" > $@ -- echo "let date = \""`date`"\"" >> $@ -+ echo "let date = \""$(BUILD_DATE)"\"" >> $@ - - # gtk2 graph editor - ################### --- -2.11.0 - |