diff options
author | Joachim Schiele <js@lastlog.de> | 2014-08-13 20:03:53 +0200 |
---|---|---|
committer | Joachim Schiele <js@lastlog.de> | 2014-08-13 20:03:53 +0200 |
commit | 6c2763c3bf2ca6be4c71fd12ec99925599352591 (patch) | |
tree | 8da58a3e060cdbe4f2882be866a9a0b4b62c102d /pkgs/tools/typesetting | |
parent | a38ae3c9367f9b5b2c4df437b97f3fcff294b9f7 (diff) | |
parent | 79617c03eb524f1b3ea9b12891773f0dec573f12 (diff) | |
download | nixlib-6c2763c3bf2ca6be4c71fd12ec99925599352591.tar nixlib-6c2763c3bf2ca6be4c71fd12ec99925599352591.tar.gz nixlib-6c2763c3bf2ca6be4c71fd12ec99925599352591.tar.bz2 nixlib-6c2763c3bf2ca6be4c71fd12ec99925599352591.tar.lz nixlib-6c2763c3bf2ca6be4c71fd12ec99925599352591.tar.xz nixlib-6c2763c3bf2ca6be4c71fd12ec99925599352591.tar.zst nixlib-6c2763c3bf2ca6be4c71fd12ec99925599352591.zip |
Merge pull request #3568 from qknight/pdfgrep
pdfgrep: added a nice util to search in pdf files
Diffstat (limited to 'pkgs/tools/typesetting')
-rw-r--r-- | pkgs/tools/typesetting/pdfgrep/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/pkgs/tools/typesetting/pdfgrep/default.nix b/pkgs/tools/typesetting/pdfgrep/default.nix new file mode 100644 index 000000000000..e05e4d16a06e --- /dev/null +++ b/pkgs/tools/typesetting/pdfgrep/default.nix @@ -0,0 +1,32 @@ +{ fetchurl, stdenv, pkgconfig, poppler, poppler_data, makeWrapper }: + +stdenv.mkDerivation rec { + name = "pdfgrep-${version}"; + version = "1.3.1"; + + src = fetchurl { + url = "http://downloads.sourceforge.net/project/pdfgrep/${version}/${name}.tar.gz"; + sha256 = "6e8bcaf8b219e1ad733c97257a97286a94124694958c27506b2ea7fc8e532437"; + }; + + buildInputs = [ pkgconfig poppler poppler_data makeWrapper ]; + + patchPhase = '' + sed -i -e "s%cpp/poppler-document.h%poppler/cpp/poppler-document.h%" pdfgrep.cc + sed -i -e "s%cpp/poppler-page.h%poppler/cpp/poppler-page.h%" pdfgrep.cc + ''; + + # workarround since it can't be hardcoded in pdfgrep + preFixup = '' + wrapProgram "$out/bin/pdfgrep" \ + --set POPPLER_DATADIR "${poppler_data}/share/poppler" + ''; + + meta = { + description = "a tool to search text in PDF files"; + homepage = http://pdfgrep.sourceforge.net/; + license = "free"; + maintainers = with stdenv.lib.maintainers; [qknight]; + platforms = with stdenv.lib.platforms; linux; + }; +} |