diff options
Diffstat (limited to 'pkgs/development/idris-modules/idris-wrapper.nix')
-rw-r--r-- | pkgs/development/idris-modules/idris-wrapper.nix | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/pkgs/development/idris-modules/idris-wrapper.nix b/pkgs/development/idris-modules/idris-wrapper.nix index fcd02c4da2462..f395bcd95d7c5 100644 --- a/pkgs/development/idris-modules/idris-wrapper.nix +++ b/pkgs/development/idris-modules/idris-wrapper.nix @@ -1,14 +1,12 @@ -{ symlinkJoin, makeWrapper, stdenv }: idris: { path, lib }: +{ lib, symlinkJoin, makeWrapper, idris-no-deps, gcc, gmp }: symlinkJoin { - name = idris.name; - src = idris.src; - paths = [ idris ]; + inherit (idris-no-deps) name src meta; + paths = [ idris-no-deps ]; buildInputs = [ makeWrapper ]; - meta.platforms = idris.meta.platforms; postBuild = '' wrapProgram $out/bin/idris \ - --suffix PATH : ${ stdenv.lib.makeBinPath path } \ - --suffix LIBRARY_PATH : ${stdenv.lib.makeLibraryPath lib} - ''; - } + --run 'export IDRIS_CC=''${IDRIS_CC:-${lib.getBin gcc}/bin/gcc}' \ + --suffix LIBRARY_PATH : ${lib.makeLibraryPath [ gmp ]} + ''; +} |