mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-20 01:41:44 +03:00
8746f1671b
* Refactor buildIdris slightly and support installing libraries with source. Add the Idris2 API package as an output of the flake. * update templates and simplify construction of a search path. * use newer method of specifying default package * swap out trace function for warn function. fix warnings in template generation
79 lines
2.6 KiB
Nix
79 lines
2.6 KiB
Nix
{
|
|
description = "Idris2 flake";
|
|
|
|
inputs.flake-utils.url = "github:numtide/flake-utils";
|
|
inputs.idris-emacs-src = {
|
|
url = "github:redfish64/idris2-mode";
|
|
flake = false;
|
|
};
|
|
inputs.nixpkgs.url = "github:NixOS/nixpkgs";
|
|
|
|
outputs = { self, nixpkgs, flake-utils, idris-emacs-src }:
|
|
let
|
|
idris2-version = "0.7.0";
|
|
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.chez-racket; # TODO: Should this always be the default?
|
|
idris2Support = pkgs.callPackage ./nix/support.nix { inherit idris2-version; };
|
|
idris2Bootstrap = pkgs.callPackage ./nix/package.nix {
|
|
inherit idris2-version chez;
|
|
idris2Bootstrap = null;
|
|
support = idris2Support;
|
|
srcRev = self.shortRev or "dirty";
|
|
};
|
|
idris2Pkg = pkgs.callPackage ./nix/package.nix {
|
|
inherit idris2-version chez idris2Bootstrap;
|
|
support = idris2Support;
|
|
srcRev = self.shortRev or "dirty";
|
|
};
|
|
buildIdris = pkgs.callPackage ./nix/buildIdris.nix {
|
|
inherit idris2-version;
|
|
idris2 = idris2Pkg;
|
|
};
|
|
idris2ApiPkg = buildIdris {
|
|
src = ./.;
|
|
projectName = "idris2api";
|
|
idrisLibraries = [ ];
|
|
preBuild = ''
|
|
export IDRIS2_PREFIX=$out/lib
|
|
make src/IdrisPaths.idr
|
|
'';
|
|
};
|
|
in {
|
|
checks = import ./nix/test.nix {
|
|
inherit (pkgs) system stdenv runCommand lib;
|
|
inherit nixpkgs flake-utils;
|
|
idris = self;
|
|
};
|
|
packages = rec {
|
|
support = idris2Support;
|
|
idris2 = idris2Pkg;
|
|
idris2-api = idris2ApiPkg.library { withSource = true; };
|
|
default = idris2;
|
|
} // (import ./nix/text-editor.nix {
|
|
inherit pkgs idris-emacs-src idris2Pkg;
|
|
});
|
|
inherit buildIdris;
|
|
};
|
|
in lib.mkOvrOptsFlake
|
|
(opts: flake-utils.lib.eachDefaultSystem (per-system opts) // sys-agnostic);
|
|
}
|