diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 01:51:03 +0200 |
---|---|---|
committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 02:34:31 +0200 |
commit | b6cfa372f09b908866878df006e2a65c5a865280 (patch) | |
tree | 007a575da6b7eb20b8acfe82c4bbc760becadc2e /pkgs/development/web/xmlindent | |
parent | d74419ee3ef7bbc077028f89ac1aff727a37553f (diff) | |
download | nixpkgs-b6cfa372f09b908866878df006e2a65c5a865280.tar nixpkgs-b6cfa372f09b908866878df006e2a65c5a865280.tar.gz nixpkgs-b6cfa372f09b908866878df006e2a65c5a865280.tar.bz2 nixpkgs-b6cfa372f09b908866878df006e2a65c5a865280.tar.lz nixpkgs-b6cfa372f09b908866878df006e2a65c5a865280.tar.xz nixpkgs-b6cfa372f09b908866878df006e2a65c5a865280.tar.zst nixpkgs-b6cfa372f09b908866878df006e2a65c5a865280.zip |
idris: Wrap with IDRIS_CC
Previously idris used the C compiler from PATH for the C backend, which means that the results and whether it even succeeds can vary between systems (e.g. if a Nix-built Idris was used on a super old Linux system, the cc installed there might not even work for Idris' C). To make this more predictable, this commit sets the IDRIS_CC env var, which Idris will prefer over searching in PATH, to a Nix-provided gcc executable, given that it is not already set, so it's still possible to override.
Diffstat (limited to 'pkgs/development/web/xmlindent')
0 files changed, 0 insertions, 0 deletions