diff options
author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2024-03-12 09:08:08 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-12 09:08:08 -0600 |
commit | d7e7fc9008f15a735ce9b31709ccb407631cecfc (patch) | |
tree | 39ff6f07c76ec856c6a40fc82be68fcf809ac7c6 /pkgs/development/compilers/idris2 | |
parent | 6ec6896ff58b16aed465db3db9338c3ed85862a0 (diff) | |
parent | a0a7314433259ec007fb3b4d5cff6427e1bac8d9 (diff) |
Merge pull request #293813 from mattpolzin/propagate-idris2-libs
idris2Packages.buildIdris: propagate idris libraries
Diffstat (limited to 'pkgs/development/compilers/idris2')
-rw-r--r-- | pkgs/development/compilers/idris2/build-idris.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/development/compilers/idris2/build-idris.nix b/pkgs/development/compilers/idris2/build-idris.nix index 3ad0956e3a08..e66306c4344b 100644 --- a/pkgs/development/compilers/idris2/build-idris.nix +++ b/pkgs/development/compilers/idris2/build-idris.nix @@ -18,11 +18,13 @@ , ... }@attrs: let + propagate = libs: lib.unique (lib.concatMap (nextLib: [nextLib] ++ nextLib.propagatedIdrisLibraries) libs); ipkgFileName = ipkgName + ".ipkg"; idrName = "idris2-${idris2.version}"; libSuffix = "lib/${idrName}"; + propagatedIdrisLibraries = propagate idrisLibraries; libDirs = - (lib.makeSearchPath libSuffix idrisLibraries) + + (lib.makeSearchPath libSuffix propagatedIdrisLibraries) + ":${idris2}/${idrName}"; supportDir = "${idris2}/${idrName}/lib"; drvAttrs = builtins.removeAttrs attrs [ @@ -35,7 +37,7 @@ let inherit version; src = src; nativeBuildInputs = [ idris2 makeWrapper ] ++ attrs.nativeBuildInputs or []; - buildInputs = idrisLibraries ++ attrs.buildInputs or []; + buildInputs = propagatedIdrisLibraries ++ attrs.buildInputs or []; IDRIS2_PACKAGE_PATH = libDirs; @@ -44,6 +46,10 @@ let idris2 --build ${ipkgFileName} runHook postBuild ''; + + passthru = { + inherit propagatedIdrisLibraries; + }; }; in { |