flake.nix

{
  description = "kitty";

  inputs = {
    nixpkgs.url = "nixpkgs/nixos-unstable";
    # reflection-lib.url = "git+ssh://git@github.com/m0rphism/reflection-lib";
  };

  outputs = { self, nixpkgs, reflection-lib, ... }: 
  let
    system = "x86_64-linux";
    pkgs = import nixpkgs {
      inherit system;
      config = {
        allowUnfree = true;
        allowBroken = true;
        zathura.useMupdf = true;
      };
    };
    lib = nixpkgs.lib;
  in {
    packages.x86_64-linux.default = self.packages.x86_64-linux.kitty;

    packages.x86_64-linux.kitty = pkgs.agdaPackages.mkDerivation {
      version = "0.1.0";
      pname = "kitty";
      src = ./.;
      buildInputs = with pkgs.agdaPackages; [
        standard-library
        # reflection-lib.packages.x86_64-linux.reflection-lib
      ];

      libraryName = "kitty";  # has to match the .agda-lib
      everythingFile = "src/Kitty/Everything.agda";  # defaults to "Everything.agda"
      # libraryFile = "";  # defaults to `${libraryName}.agda-lib`

      # If this library does not use an Everything.agda file and instead has a
      # Makefile, then there is no need to set everythingFile and we set a custom
      # buildPhase:
      #
      # buildPhase = ''
      #   patchShebangs find-deps.sh
      #   make
      # '';

      # Required to allow debug output, e.g. from agda reflection, to contain unicode chars.
      # Otherwise the build crashes...
      LC_ALL="en_US.UTF-8";
      LOCALE_ARCHIVE = "${pkgs.glibcLocales}/lib/locale/locale-archive";

      meta = {
        description = ".";
        # homepage = http://;
        license = "GPLv2";
        # maintainers = [ stdenv.lib.maintainers.m0rphism ];
      };
    };
  };
}