blob: c80396840e4109df56234a31d2477f27c262da05 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
{ lib
, fetchFromGitHub
, python3Packages
, xpdf
}:
python3Packages.buildPythonApplication rec {
pname = "pdfdiff";
version = "0.93";
src = fetchFromGitHub {
owner = "cascremers";
repo = "pdfdiff";
rev = version;
hash = "sha256-NPki/PFm0b71Ksak1mimR4w6J2a0jBCbQDTMQR4uZFI=";
};
format = "other";
dontConfigure = true;
dontBuild = true;
doCheck = false;
postPatch = ''
substituteInPlace pdfdiff.py \
--replace 'pdftotextProgram = "pdftotext"' 'pdftotextProgram = "${xpdf}/bin/pdftotext"' \
--replace 'progName = "pdfdiff.py"' 'progName = "pdfdiff"'
'';
installPhase = ''
mkdir -p $out/bin
cp pdfdiff.py $out/bin/pdfdiff
chmod +x $out/bin/pdfdiff
'';
meta = with lib; {
homepage = "https://github.com/cascremers/pdfdiff";
description = "Tool to view the difference between two PDF or PS files";
license = licenses.gpl2Plus;
platforms = platforms.linux;
};
}
|