Merge pull request #141878 from yrd/pdftoipe

conduit-nginx
Sandro 2021-10-20 11:27:01 +02:00 committed by GitHub
commit f9497f052e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 41 additions and 0 deletions

View File

@ -12394,6 +12394,12 @@
githubId = 452;
name = "Yurii Rashkovskii";
};
yrd = {
name = "Yannik Rödel";
email = "nix@yannik.info";
github = "yrd";
githubId = 1820447;
};
ysndr = {
email = "me@ysndr.de";
github = "ysndr";

View File

@ -0,0 +1,33 @@
{ lib
, stdenv
, fetchFromGitHub
, pkg-config
, poppler
}:
stdenv.mkDerivation rec {
pname = "pdftoipe";
version = "7.2.24.1";
src = fetchFromGitHub {
owner = "otfried";
repo = "ipe-tools";
rev = "v${version}";
sha256 = "jlrjrjzZQo79CKMySayhCm1dqLh89wOQuXrXa2aqc0k=";
};
sourceRoot = "source/pdftoipe";
nativeBuildInputs = [ pkg-config ];
buildInputs = [ poppler ];
installPhase = ''
install -D pdftoipe $out/bin/pdftoipe
'';
meta = with lib; {
description = "A program that tries to convert arbitrary PDF documents to Ipe files";
homepage = "https://github.com/otfried/ipe-tools";
license = licenses.gpl3Plus;
maintainers = with maintainers; [ yrd ];
};
}

View File

@ -8326,6 +8326,8 @@ with pkgs;
pdf2svg = callPackage ../tools/graphics/pdf2svg { };
pdftoipe = callPackage ../tools/graphics/pdftoipe { };
fmodex = callPackage ../games/zandronum/fmod.nix { };
pdfminer = with python3Packages; toPythonApplication pdfminer;