idris: Clean up wrapper

This commit is contained in:
Silvan Mosberger 2018-07-02 02:32:47 +02:00
parent b6cfa372f0
commit 636cd3cba9
No known key found for this signature in database
GPG key ID: 9424360B4B85C9E7
2 changed files with 10 additions and 14 deletions

View file

@ -31,10 +31,9 @@
# Idris wrapper with specified compiler and library paths, used to build packages
idris =
(pkgs.callPackage ./idris-wrapper.nix {})
idris-no-deps
{ path = [ pkgs.gcc ]; lib = [pkgs.gmp]; };
idris = pkgs.callPackage ./idris-wrapper.nix {
inherit idris-no-deps;
};
# Utilities for building packages

View file

@ -1,15 +1,12 @@
{ symlinkJoin, makeWrapper, stdenv, gcc }: 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 \
--run 'export IDRIS_CC=''${IDRIS_CC:-${stdenv.lib.getBin gcc}/bin/gcc}' \
--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 ]}
'';
}