diff --git a/pkgs/development/compilers/idris2/default.nix b/pkgs/development/compilers/idris2/default.nix index ca82788fdec3..8f628246c649 100644 --- a/pkgs/development/compilers/idris2/default.nix +++ b/pkgs/development/compilers/idris2/default.nix @@ -1,21 +1,8 @@ -{ callPackage, idris2Packages }: - -let -in +{ callPackage }: { idris2 = callPackage ./idris2.nix { }; + idris2Api = callPackage ./idris2-api.nix { }; idris2Lsp = callPackage ./idris2-lsp.nix { }; buildIdris = callPackage ./build-idris.nix { }; - - idris2Api = - (idris2Packages.buildIdris { - inherit (idris2Packages.idris2) src version; - ipkgName = "idris2api"; - idrisLibraries = [ ]; - preBuild = '' - export IDRIS2_PREFIX=$out/lib - make src/IdrisPaths.idr - ''; - }).library; } diff --git a/pkgs/development/compilers/idris2/idris2-api.nix b/pkgs/development/compilers/idris2/idris2-api.nix new file mode 100644 index 000000000000..bd408a64dee1 --- /dev/null +++ b/pkgs/development/compilers/idris2/idris2-api.nix @@ -0,0 +1,22 @@ +{ lib, idris2Packages }: +let + inherit (idris2Packages) idris2 buildIdris; + apiPkg = buildIdris { + inherit (idris2) src version; + ipkgName = "idris2api"; + idrisLibraries = [ ]; + preBuild = '' + export IDRIS2_PREFIX=$out/lib + make src/IdrisPaths.idr + ''; + + meta = { + description = "Idris2 Compiler API Library"; + homepage = "https://github.com/idris-lang/Idris2"; + license = lib.licenses.bsd3; + maintainers = with lib.maintainers; [ mattpolzin ]; + inherit (idris2.meta) platforms; + }; + }; +in +apiPkg.library { }