pandoc: fix build, unbreaks metrics job

This commit is contained in:
Frederik Rietdijk 2018-12-27 14:39:53 +01:00
parent b8f0e2ee2f
commit 2534dddaa9

View File

@ -4710,6 +4710,13 @@ in
mkdir -p $out/share/man/man1
cp man/pandoc.1 $out/share/man/man1/
'';
# Newer tasty version works
# https://github.com/jgm/pandoc/commit/3bf398b15ff28a39133a8ce27ba3d2728d255b17#diff-d37211f38c72504621b9d03eef12ffd7
# Note the patch doesn't apply because we fetch the cabal file from elsewhere
# This should be removed with pandoc 2.6.
postPatch = ''
substituteInPlace pandoc.cabal --replace "tasty >= 0.11 && < 1.2" "tasty >= 0.11 && < 1.3"
'';
});
pamtester = callPackage ../tools/security/pamtester { };