pkgs/applications/misc/gummi/default.nix

   1 { lib, stdenv, pkgs
   2 , glib, gtk3, gtksourceview3, gtkspell3, poppler, texlive
   3 , pkg-config, intltool, autoreconfHook, wrapGAppsHook
   4 }:
   5
   6 stdenv.mkDerivation rec {
   7   version = "0.8.3";
   8   pname = "gummi";
   9
  10   src = pkgs.fetchFromGitHub {
  11     owner = "alexandervdm";
  12     repo = "gummi";
  13     rev = version;
  14     sha256 = "sha256-71n71KjLmICp4gznd27NlbyA3kayje3hYk/cwkOXEO0=";
  15   };
  16
  17   nativeBuildInputs = [
  18     pkg-config intltool autoreconfHook wrapGAppsHook
  19   ];
  20   buildInputs = [
  21     glib gtksourceview3 gtk3 gtkspell3 poppler
  22     texlive.bin.core # needed for synctex
  23   ];
  24
  25   postInstall = ''
  26     install -Dpm644 COPYING $out/share/licenses/$name/COPYING
  27   '';
  28
  29   meta = {
  30     homepage = "https://gummi.app";
  31     description = "Simple LaTex editor for GTK users";
  32     license = lib.licenses.mit;
  33     maintainers = with lib.maintainers; [ flokli ];
  34     platforms = with lib.platforms; linux;
  35   };
  36 }