{ config, pkgs, ... }:

let
  unstablePkgs = import <unstable> {};
  emacs-pdf-tools = pkgs.stdenv.mkDerivation rec {
    pname = "emacs-pdf-tools-server";
    version = "0.80";
    name = "${pname}-${version}";

    src = pkgs.fetchFromGitHub {
      owner = "politza";
      repo = "pdf-tools";
      rev = "60d12ce15220d594e8eb95f4d072e2710cddefe0";
      sha256 = "1s8zphbd7k1ifdlisy894cg4mrkiq1rl2qk8x10njp1i596hz1fm";
      # date = 2018-04-29T18:31:04+02:00;
    };

    buildInputs = (with pkgs; [
      clang gnumake automake autoconf pkgconfig libpng zlib poppler
    ]);

    patches = [ ./pdf-tools.patch ];

    preConfigure = ''
      cd server
      ./autogen.sh
    '';

    installPhase = ''
      echo hello
      cp -p epdfinfo /home/matt/.local/bin/
    '';

    meta = with pkgs.stdenv.lib; {
      homepage = https://github.com/politza/pdf-tools;
      description = "Emacs support library for PDF files";
      maintainers = with maintainers; [ jwiegley ];
      license = licenses.gpl3;
      platforms = platforms.unix;
    };
  };
  custom-emacs-packages = emacsPackagesNg.override (super: self: (with self; {
    pdf-tools = unstablePkgs.lib.overrideDerivation unstablePkgs.pdf-tools (attrs: {
      src = pkgs.fetchFromGitHub {
        owner = "politza";
        repo = "pdf-tools";
        rev = "60d12ce15220d594e8eb95f4d072e2710cddefe0";
        sha256 = "1s8zphbd7k1ifdlisy894cg4mrkiq1rl2qk8x10njp1i596hz1fm";
        # date = 2018-04-29T18:31:04+02:00;
      };
    });
  }));
  custom-emacs = unstablePkgs.emacsWithPackages (with custom-emacs-packages; [pdf-tools]);
in
{
  imports = [
    # External binaries used by Emacs
    ./mu.nix
    ./latex.nix
  ];
  environment.systemPackages =
    [custom-emacs] ++
    (with unstablePkgs; [
    fava
    shellcheck     # linter for bash files
    emacs-pdf-tools
  ]);
}