tjh.dev
1{ callPackage
2, idris2Packages
3}:
4
5let
6in {
7 idris2 = callPackage ./idris2.nix { };
8 idris2Lsp = callPackage ./idris2-lsp.nix { };
9
10 buildIdris = callPackage ./build-idris.nix { };
11
12 idris2Api = (idris2Packages.buildIdris {
13 inherit (idris2Packages.idris2) src version;
14 ipkgName = "idris2api";
15 idrisLibraries = [ ];
16 preBuild = ''
17 export IDRIS2_PREFIX=$out/lib
18 make src/IdrisPaths.idr
19 '';
20 }).library;
21}