Idris2/flake.nix

{
  description = "Idris2 flake";

  inputs.flake-utils.url = "github:numtide/flake-utils";
  inputs.idris-emacs-src = {
    url = "github:redfish64/idris2-mode";
    flake = false;
  };
  # FIXME: Remove this when https://github.com/NixOS/nixpkgs/pull/131833 gets merged
  inputs.nixpkgs-chez-racket.url = "github:L-as/nixpkgs?ref=chez-racket";

  outputs = { self, nixpkgs, nixpkgs-chez-racket, flake-utils, idris-emacs-src }:
    let
      idris2-version = "0.5.1";
      lib = import ./nix/lib.nix;
      sys-agnostic = rec {
        templates.pkg = {
          path = ./nix/templates/pkg;
          description = "A custom Idris 2 package";
        };
        templates.pkgWithDeps = {
          path = ./nix/templates/pkgWithDeps;
          description = "A custom Idris 2 package with dependencies";
        };
        defaultTemplate = templates.pkg;
        version = idris2-version;
      };
      per-system = { config ? { }, overlays ? [ ] }: system:
        let
          pkgs = import nixpkgs { inherit config system overlays; };
          chez = if system == "x86_64-linux"
            then pkgs.chez
            else pkgs.callPackage "${nixpkgs-chez-racket}/pkgs/development/compilers/chez-racket" { inherit (pkgs.darwin) cctools; };
          idris2Pkg = pkgs.callPackage ./nix/package.nix {
            inherit idris2-version chez;
            srcRev = self.shortRev or "dirty";
          };
          buildIdris = pkgs.callPackage ./nix/buildIdris.nix { inherit idris2-version; idris2 = idris2Pkg; };
        in rec {
          checks = import ./nix/test.nix {
            inherit (pkgs) system stdenv runCommand lib;
            inherit nixpkgs flake-utils;
            idris = self;
          };
          packages =
            { idris2 = idris2Pkg; }
            // (import ./nix/text-editor.nix { inherit pkgs idris-emacs-src idris2Pkg; });
          inherit buildIdris;
          defaultPackage = packages.idris2;
        };
    in
    lib.mkOvrOptsFlake (opts: flake-utils.lib.eachDefaultSystem (per-system opts) // sys-agnostic);
}