2024-01-02 16:38:06 +00:00
|
|
|
{ callPackage
|
|
|
|
, idris2Packages
|
2020-05-23 01:45:46 +00:00
|
|
|
}:
|
|
|
|
|
2022-01-08 21:12:04 +00:00
|
|
|
let
|
2024-01-02 16:38:06 +00:00
|
|
|
in {
|
|
|
|
idris2 = callPackage ./idris2.nix { };
|
2024-01-24 05:18:34 +00:00
|
|
|
idris2Lsp = callPackage ./idris2-lsp.nix { };
|
2024-01-02 16:38:06 +00:00
|
|
|
|
|
|
|
buildIdris = callPackage ./build-idris.nix { };
|
|
|
|
|
|
|
|
idris2Api = (idris2Packages.buildIdris {
|
2024-01-24 05:18:34 +00:00
|
|
|
inherit (idris2Packages.idris2) src version;
|
|
|
|
ipkgName = "idris2api";
|
2024-01-02 16:38:06 +00:00
|
|
|
idrisLibraries = [ ];
|
|
|
|
preBuild = ''
|
|
|
|
export IDRIS2_PREFIX=$out/lib
|
|
|
|
make src/IdrisPaths.idr
|
|
|
|
'';
|
|
|
|
}).library;
|
2020-05-23 01:45:46 +00:00
|
|
|
}
|