artiq-manual: set $SOURCE_DATE_EPOCH to fix generated copyright date

Resolves Gitea issue #5
This commit is contained in:
Astro 2019-04-23 21:52:14 +02:00
parent 5145f5d723
commit 22ba790a3c
2 changed files with 4 additions and 2 deletions

View File

@ -23,7 +23,7 @@ let
};
}) {} boards;
manualPackages = import ./pkgs/artiq-manual.nix {
inherit stdenv lib fetchgit python3Packages texlive texinfo;
inherit stdenv lib fetchgit git python3Packages texlive texinfo;
inherit (pythonDeps) sphinxcontrib-wavedrom;
};
mainPackages = rec {

View File

@ -1,4 +1,4 @@
{ stdenv, lib, fetchgit, python3Packages, texlive, texinfo, sphinxcontrib-wavedrom }:
{ stdenv, lib, fetchgit, git, python3Packages, texlive, texinfo, sphinxcontrib-wavedrom }:
let
artiqVersion = import ./artiq-version.nix;
@ -18,6 +18,7 @@ let
src = import ./artiq-src.nix { inherit fetchgit; };
buildInputs = [
git
python3Packages.sphinx python3Packages.sphinx_rtd_theme
python3Packages.sphinx-argparse sphinxcontrib-wavedrom
] ++
@ -26,6 +27,7 @@ let
preBuild = ''
export VERSIONEER_OVERRIDE=${artiqVersion}
export SOURCE_DATE_EPOCH=`${git}/bin/git log -1 --format=%ct`
cd doc/manual
'';
makeFlags = [ target ];