diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2019-03-26 04:15:20 +0100 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2019-03-26 04:16:19 +0100 |
| commit | 271403c69bc734fde02e8e013be098ca8a926249 (patch) | |
| tree | 442b0abe3dbe174ac60c53a6f48d704e87b56d30 /pkgs/development/idris-modules | |
| parent | cfd2e6731abf7adb361cb01141e77681e498c253 (diff) | |
idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc
This should make it work on Darwin with clang.
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/idris-wrapper.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix index 67f5a61eb134..4e1d2f9c82eb 100644 --- a/pkgs/development/idris-modules/idris-wrapper.nix +++ b/pkgs/development/idris-modules/idris-wrapper.nix @@ -1,4 +1,4 @@ -{ stdenv, lib, symlinkJoin, makeWrapper, idris-no-deps, gcc, gmp }: +{ stdenv, lib, symlinkJoin, makeWrapper, idris-no-deps, gmp }: symlinkJoin { inherit (idris-no-deps) name src meta; @@ -6,7 +6,7 @@ symlinkJoin { buildInputs = [ makeWrapper ]; postBuild = '' wrapProgram $out/bin/idris \ - --run 'export IDRIS_CC=''${IDRIS_CC:-${lib.getBin gcc}/bin/gcc}' \ + --run 'export IDRIS_CC=''${IDRIS_CC:-${stdenv.cc}/bin/cc}' \ --set NIX_CC_WRAPPER_${stdenv.cc.infixSalt}_TARGET_HOST 1 \ --prefix NIX_CFLAGS_COMPILE " " "-I${lib.getDev gmp}/include" \ --prefix NIX_CFLAGS_LINK " " "-L${lib.getLib gmp}/lib" |