summary refs log tree commit diff
path: root/pkgs/tools/typesetting
diff options
context:
space:
mode:
authorJoachim Schiele <js@lastlog.de>2014-08-13 20:03:53 +0200
committerJoachim Schiele <js@lastlog.de>2014-08-13 20:03:53 +0200
commit6c2763c3bf2ca6be4c71fd12ec99925599352591 (patch)
tree8da58a3e060cdbe4f2882be866a9a0b4b62c102d /pkgs/tools/typesetting
parenta38ae3c9367f9b5b2c4df437b97f3fcff294b9f7 (diff)
parent79617c03eb524f1b3ea9b12891773f0dec573f12 (diff)
downloadnixlib-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.nix32
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;
+  };
+}