Idris2/flake.nix

54 lines
2.0 KiB
Nix
Raw Normal View History

2021-01-15 20:20:52 +03:00
{
description = "Idris2 flake";
inputs.flake-utils.url = "github:numtide/flake-utils";
2021-03-15 17:21:50 +03:00
inputs.idris-emacs-src = {
url = "github:redfish64/idris2-mode";
2021-03-15 17:21:50 +03:00
flake = false;
2021-01-15 20:20:52 +03:00
};
# 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";
2021-03-15 17:21:50 +03:00
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 {
2021-03-15 17:21:50 +03:00
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);
2021-01-15 20:20:52 +03:00
}