pkgs/tools/typesetting/pdf2odt/default.nix

   1 { lib
   2 , resholve
   3 , fetchFromGitHub
   4 , bc
   5 , coreutils
   6 , file
   7 , gawk
   8 , ghostscript
   9 , gnused
  10 , imagemagick
  11 , zip
  12 , bash
  13 , findutils
  14 }:
  15
  16 resholve.mkDerivation rec {
  17   pname = "pdf2odt";
  18   version = "20170207";
  19
  20   src = fetchFromGitHub {
  21     owner  = "gutschke";
  22     repo   = "pdf2odt";
  23     rev    = "4533bd14306c30c085001db59dbb8114ea09c360";
  24     sha256 = "14f9r5f0g6jzanl54jv86ls0frvspka1p9c8dy3fnriqpm584j0r";
  25   };
  26
  27   patches = [ ./use_mktemp.patch ];
  28
  29   installPhase = ''
  30     install -Dm0755 pdf2odt           -t $out/bin
  31     install -Dm0644 README.md LICENSE -t $out/share/doc/pdf2odt
  32
  33     ln -rs $out/bin/pdf2odt $out/bin/pdf2ods
  34   '';
  35   solutions = {
  36     default = {
  37       scripts = [ "bin/pdf2odt" ];
  38       interpreter = "${bash}/bin/bash";
  39       inputs = [
  40         coreutils
  41         bc
  42         file
  43         imagemagick
  44         gawk
  45         gnused
  46         ghostscript
  47         zip
  48         findutils
  49       ];
  50     };
  51   };
  52
  53   meta = with lib; {
  54     description = "PDF to ODT format converter";
  55     homepage    = "https://github.com/gutschke/pdf2odt";
  56     license     = licenses.mit;
  57     platforms   = platforms.all;
  58     maintainers = with maintainers; [ peterhoeg ];
  59   };
  60 }