tjh.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 pkg-config,
6 poppler,
7 fetchpatch,
8}:
9
10stdenv.mkDerivation rec {
11 pname = "pdftoipe";
12 version = "7.2.29.1";
13
14 src = fetchFromGitHub {
15 owner = "otfried";
16 repo = "ipe-tools";
17 rev = "v${version}";
18 hash = "sha256-6FI0ZLRrDmNFAKyht7hB94MsCy+TasD6Mb/rx6sdCdg=";
19 };
20
21 sourceRoot = "${src.name}/pdftoipe";
22
23 nativeBuildInputs = [ pkg-config ];
24 buildInputs = [ poppler ];
25
26 installPhase = ''
27 install -D pdftoipe $out/bin/pdftoipe
28 '';
29
30 meta = with lib; {
31 description = "Program that tries to convert arbitrary PDF documents to Ipe files";
32 homepage = "https://github.com/otfried/ipe-tools";
33 changelog = "https://github.com/otfried/ipe-tools/releases";
34 license = licenses.gpl3Plus;
35 maintainers = with maintainers; [ yrd ];
36 mainProgram = "pdftoipe";
37 };
38}