diff options
author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-02-05 14:48:07 +0100 |
---|---|---|
committer | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-08-30 09:20:35 +0200 |
commit | 58ec6ce9b587c763636ceff916bcd41de87c9748 (patch) | |
tree | a53f849fc5c2b4ffd9b78cdae95118a5d7f7f1eb | |
parent | 39067594f5d668caa701fc3e014a8b4bf73a9ac0 (diff) | |
download | nixpkgs-58ec6ce9b587c763636ceff916bcd41de87c9748.tar nixpkgs-58ec6ce9b587c763636ceff916bcd41de87c9748.tar.gz nixpkgs-58ec6ce9b587c763636ceff916bcd41de87c9748.tar.bz2 nixpkgs-58ec6ce9b587c763636ceff916bcd41de87c9748.tar.lz nixpkgs-58ec6ce9b587c763636ceff916bcd41de87c9748.tar.xz nixpkgs-58ec6ce9b587c763636ceff916bcd41de87c9748.tar.zst nixpkgs-58ec6ce9b587c763636ceff916bcd41de87c9748.zip |
build-support/agda: Make includePaths configurable
-rw-r--r-- | pkgs/build-support/agda/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index 99cc1259023..5df02fbd5c1 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -49,6 +49,7 @@ let , meta , buildInputs ? [] , everythingFile ? "./Everything.agda" + , includePaths ? [] , libraryName ? pname , libraryFile ? "${libraryName}.agda-lib" , buildPhase ? null @@ -57,6 +58,7 @@ let , ... }: let agdaWithArgs = withPackages (builtins.filter (p: p ? isAgdaDerivation) buildInputs); + includePathArgs = concatMapStrings (path: "-i" + path + " ") (includePaths ++ [(dirOf everythingFile)]); in { inherit libraryName libraryFile; @@ -67,7 +69,7 @@ let buildPhase = if buildPhase != null then buildPhase else '' runHook preBuild - agda -i ${dirOf everythingFile} ${everythingFile} + agda ${includePathArgs} ${everythingFile} runHook postBuild ''; |