diff options
Diffstat (limited to 'pkgs/build-support/agda/default.nix')
-rw-r--r-- | pkgs/build-support/agda/default.nix | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index b5d72d9ccf192..ec0dfe7cc1443 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -19,14 +19,17 @@ let optionalString ; + mkLibraryFile = pkgs: let + pkgs' = if isList pkgs then pkgs else pkgs self; + in writeText "libraries" '' + ${(concatMapStringsSep "\n" (p: "${p}/${p.libraryFile}") pkgs')} + ''; + withPackages' = { pkgs, ghc ? ghcWithPackages (p: with p; [ ieee754 ]) }: let - pkgs' = if isList pkgs then pkgs else pkgs self; - library-file = writeText "libraries" '' - ${(concatMapStringsSep "\n" (p: "${p}/${p.libraryFile}") pkgs')} - ''; + library-file = mkLibraryFile pkgs; pname = "agdaWithPackages"; version = Agda.version; in runCommand "${pname}-${version}" { @@ -118,5 +121,5 @@ in { mkDerivation = args: stdenv.mkDerivation (args // defaults args); - inherit withPackages withPackages'; + inherit mkLibraryFile withPackages withPackages'; } |