From 168d9a5f1e72dd109c53f844a9ba54795613276c Mon Sep 17 00:00:00 2001 From: Ingo Blechschmidt Date: Tue, 31 Jan 2023 22:33:20 +0100 Subject: agda: 2.6.2.2 -> 2.6.3 --- pkgs/build-support/agda/default.nix | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'pkgs/build-support/agda') diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index fed0f6cb344..7eeaf73d07c 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -81,6 +81,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 -- cgit 1.4.1