2019-02-26 17:28:44 +08:00
|
|
|
{ stdenv, lib, fetchgit, python3Packages, texlive, texinfo, sphinx-argparse, sphinxcontrib-wavedrom }:
|
2019-02-26 16:38:16 +08:00
|
|
|
|
|
|
|
let
|
|
|
|
artiqVersion = import ./artiq-version.nix;
|
|
|
|
|
2019-02-26 17:28:44 +08:00
|
|
|
isLatexPdfTarget = target: builtins.match "latexpdf.*" target != null;
|
2019-02-26 16:38:16 +08:00
|
|
|
|
|
|
|
latex = texlive.combine {
|
|
|
|
inherit (texlive)
|
|
|
|
scheme-basic latexmk cmap collection-fontsrecommended fncychap
|
|
|
|
titlesec tabulary varwidth framed fancyvrb float wrapfig parskip
|
|
|
|
upquote capt-of needspace;
|
|
|
|
};
|
|
|
|
|
|
|
|
artiq-manual = target: stdenv.mkDerivation rec {
|
2019-02-26 18:32:31 +08:00
|
|
|
name = "artiq-manual-${target}-${version}"";
|
2019-02-26 16:38:16 +08:00
|
|
|
version = artiqVersion;
|
|
|
|
|
|
|
|
src = import ./artiq-src.nix { inherit fetchgit; };
|
|
|
|
buildInputs = [
|
2019-02-26 17:28:44 +08:00
|
|
|
python3Packages.sphinx python3Packages.sphinx_rtd_theme
|
2019-02-26 16:38:16 +08:00
|
|
|
sphinx-argparse sphinxcontrib-wavedrom
|
|
|
|
] ++
|
|
|
|
lib.optional (isLatexPdfTarget target) latex ++
|
|
|
|
lib.optional (target == "texinfo") texinfo;
|
|
|
|
|
|
|
|
preBuild = ''
|
|
|
|
export VERSIONEER_OVERRIDE=${artiqVersion}
|
|
|
|
cd doc/manual
|
|
|
|
'';
|
|
|
|
makeFlags = [ target ];
|
|
|
|
|
|
|
|
installPhase =
|
|
|
|
let
|
|
|
|
dest = "$out/share/doc/artiq-manual";
|
|
|
|
in
|
|
|
|
if isLatexPdfTarget target
|
|
|
|
then ''
|
|
|
|
mkdir -p ${dest}
|
|
|
|
cp _build/latex/ARTIQ.pdf ${dest}/
|
|
|
|
|
|
|
|
mkdir -p $out/nix-support/
|
|
|
|
echo doc-pdf manual ${dest} ARTIQ.pdf >> $out/nix-support/hydra-build-products
|
|
|
|
''
|
|
|
|
else ''
|
|
|
|
mkdir -p ${dest}
|
|
|
|
cp -r _build/${target} ${dest}/
|
|
|
|
|
|
|
|
mkdir -p $out/nix-support/
|
|
|
|
echo doc manual ${dest}/${target} index.html >> $out/nix-support/hydra-build-products
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
# TODO: starting with NixOS 19.XX, drop sphinxcontrib-wavedrom-1_3_1
|
|
|
|
# and simplify `targets`:
|
2019-02-26 17:29:12 +08:00
|
|
|
targets = [ "html" ] ++ (lib.optional (builtins.compareVersions sphinxcontrib-wavedrom.version "2.0.0" != -1) "latexpdf");
|
2019-02-26 16:38:16 +08:00
|
|
|
in
|
2019-02-26 18:32:07 +08:00
|
|
|
builtins.listToAttrs (map (target: { name = "artiq-manual-${target}"; value = artiq-manual target; }) targets)
|