From 78764bab8e7d386c17057b64d660135d3d4e9f1a Mon Sep 17 00:00:00 2001
From: Stephan Maka <stephan@spaceboyz.net>
Date: Sun, 28 Apr 2019 09:38:15 +0200
Subject: [PATCH] artiq-extras: set $SOURCE_DATE_EPOCH from artiq-timestamp

---
 artiq/artiq-extras.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/artiq/artiq-extras.nix b/artiq/artiq-extras.nix
index 5f2082d..1f21a75 100644
--- a/artiq/artiq-extras.nix
+++ b/artiq/artiq-extras.nix
@@ -12,7 +12,10 @@ let
           name = "${name}-manual-html-${version}";
           inherit version src;
           buildInputs = (with pkgs.python3Packages; [ sphinx sphinx_rtd_theme sphinx-argparse ]) ++ [ artiq ];
-          preBuild = "cd doc";
+          preBuild = ''
+            export SOURCE_DATE_EPOCH=${with pkgs; import ./pkgs/artiq-timestamp.nix { inherit stdenv fetchgit git; }}
+            cd doc
+          '';
           makeFlags = [ "html" ];
           installPhase =
             let