diff options
Diffstat (limited to 'pkgs/build-support/agda')
-rw-r--r-- | pkgs/build-support/agda/default.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index c785e6196db..63adf2a2765 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -85,6 +85,13 @@ let runHook postInstall ''; + # As documented at https://github.com/NixOS/nixpkgs/issues/172752, + # we need to set LC_ALL to an UTF-8-supporting locale. However, on + # darwin, it seems that there is no standard such locale; luckily, + # the referenced issue doesn't seem to surface on darwin. Hence let's + # set this only on non-darwin. + LC_ALL = lib.optionalString (!stdenv.isDarwin) "C.UTF-8"; + meta = if meta.broken or false then meta // { hydraPlatforms = lib.platforms.none; } else meta; # Retrieve all packages from the finished package set that have the current package as a dependency and build them |