# Pastebin D8JQPpYx
pkgs.haskell-nix.project {
  src = ./.;
  compiler-nix-name = "ghc8102";
  modules = [
    {
      preBuild = "echo add z3 to path; export PATH=$PATH:${pkgs.z3}/bin";
    }
  ];
}