diff options
| author | Ingo Blechschmidt <iblech@speicherleck.de> | 2023-01-31 22:33:20 +0100 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2023-02-14 14:45:39 +0100 |
| commit | 168d9a5f1e72dd109c53f844a9ba54795613276c (patch) | |
| tree | c84255c940a3e2894f339bf0bbe34d4a3e403219 /pkgs/build-support/agda | |
| parent | f29aaa7010e6ebd85f897a422fa6fec5f53c4a76 (diff) | |
| download | nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.gz nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.bz2 nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.lz nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.xz nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.tar.zst nixpkgs-168d9a5f1e72dd109c53f844a9ba54795613276c.zip | |
agda: 2.6.2.2 -> 2.6.3
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 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 |