diff options
author | Leo Famulari <leo@famulari.name> | 2019-02-05 00:14:46 +0100 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2019-02-05 00:19:49 +0100 |
commit | 484f010dd70a5be84c5e41f7f73fe8fdbbc22a03 (patch) | |
tree | 4326dc7e360dcc6700048a2a69c5bbdd4385236b /gnu/packages/patches | |
parent | 5cc3dbbccdcf96308681fd076e1c773486f5dae0 (diff) | |
download | guix-patches-484f010dd70a5be84c5e41f7f73fe8fdbbc22a03.tar guix-patches-484f010dd70a5be84c5e41f7f73fe8fdbbc22a03.tar.gz |
gnu: Remove unused patch 'ocaml-graph-honor-source-date-epoch.patch'.
This is a followup to commit 564cf93f2aca60171b4b97559ffc6c952e73e8ed.
* gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/packages/patches')
-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 <julien@lepiller.eu> -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 - |