tjh.dev
1{ lib, idris2Packages }:
2let
3 inherit (idris2Packages) idris2 buildIdris;
4 apiPkg = buildIdris {
5 inherit (idris2) src version;
6 ipkgName = "idris2api";
7 idrisLibraries = [ ];
8 preBuild = ''
9 export IDRIS2_PREFIX=$out/lib
10 make src/IdrisPaths.idr
11 '';
12
13 meta = {
14 description = "Idris2 Compiler API Library";
15 homepage = "https://github.com/idris-lang/Idris2";
16 license = lib.licenses.bsd3;
17 maintainers = with lib.maintainers; [ mattpolzin ];
18 inherit (idris2.meta) platforms;
19 };
20 };
21in
22apiPkg.library { }