1ac5398589
I hate the thing too even though I made it, and rather just get rid of it. But we can't do that yet. In the meantime, this brings us more inline with autoconf and will make it slightly easier for me to write a pkg-config wrapper, which we need.
14 lines
506 B
Nix
14 lines
506 B
Nix
{ stdenv, lib, symlinkJoin, makeWrapper, idris-no-deps, gmp }:
|
|
|
|
symlinkJoin {
|
|
inherit (idris-no-deps) name src meta;
|
|
paths = [ idris-no-deps ];
|
|
buildInputs = [ makeWrapper ];
|
|
postBuild = ''
|
|
wrapProgram $out/bin/idris \
|
|
--run 'export IDRIS_CC=''${IDRIS_CC:-${stdenv.cc}/bin/cc}' \
|
|
--set 'NIX_CC_WRAPPER_TARGET_HOST_${stdenv.cc.suffixSalt}' 1 \
|
|
--prefix NIX_CFLAGS_COMPILE " " "-I${lib.getDev gmp}/include" \
|
|
--prefix NIX_CFLAGS_LINK " " "-L${lib.getLib gmp}/lib"
|
|
'';
|
|
}
|