artiq-extras: set $SOURCE_DATE_EPOCH from artiq-timestamp

This commit is contained in:
Astro 2019-04-28 09:38:15 +02:00
parent 96cfa7b55f
commit 78764bab8e

View File

@ -12,7 +12,10 @@ let
name = "${name}-manual-html-${version}"; name = "${name}-manual-html-${version}";
inherit version src; inherit version src;
buildInputs = (with pkgs.python3Packages; [ sphinx sphinx_rtd_theme sphinx-argparse ]) ++ [ artiq ]; 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" ]; makeFlags = [ "html" ];
installPhase = installPhase =
let let