nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-16 17:14:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

idris2Packages: make idris2Api a more formal package

Browse Source
This commit is contained in:
Mathew Polzin 2024-09-12 00:05:43 -05:00
parent 90d67c3e4f
commit fffc206f46
2 changed files with 24 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/development/compilers/idris2/default.nix
View File

@ -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;
}

22
pkgs/development/compilers/idris2/idris2-api.nix Normal file
View File

@ -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 { }