2022-05-04 11:09:49 -04:00
|
|
|
{ description = "quox: quantitative extensional type theory";
|
|
|
|
|
|
|
|
inputs = {
|
|
|
|
flake-utils.url = "github:numtide/flake-utils";
|
|
|
|
idris2-pkgs.url = "github:claymager/idris2-pkgs";
|
|
|
|
nixpkgs.follows = "idris2-pkgs/nixpkgs";
|
|
|
|
};
|
|
|
|
|
|
|
|
outputs = { self, nixpkgs, idris2-pkgs, flake-utils }:
|
|
|
|
let systems = [ "x86_64-darwin" "x86_64-linux" "i686-linux" ]; in
|
|
|
|
flake-utils.lib.eachSystem systems (system:
|
|
|
|
let
|
|
|
|
pkgs = import nixpkgs {
|
|
|
|
inherit system;
|
|
|
|
overlays = [ idris2-pkgs.overlay ];
|
|
|
|
};
|
2022-05-04 12:35:43 -04:00
|
|
|
|
|
|
|
inherit (pkgs.idris2-pkgs._builders) idrisPackage;
|
|
|
|
|
2022-05-04 11:44:38 -04:00
|
|
|
quox = idrisPackage ./lib { };
|
2022-05-04 11:09:49 -04:00
|
|
|
quox-exe = idrisPackage ./exe { extraPkgs.quox = quox; };
|
|
|
|
quox-tests = idrisPackage ./tests { extraPkgs.quox = quox; };
|
|
|
|
in
|
|
|
|
{
|
|
|
|
packages = { inherit quox quox-exe quox-tests; };
|
2022-05-04 12:35:43 -04:00
|
|
|
defaultPackage = quox;
|
2022-05-04 11:09:49 -04:00
|
|
|
}
|
|
|
|
);
|
|
|
|
}
|