blob: 427a690234caaa4e2283c9264039f9b37890c856 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
{ gmp, makeWrapper, gcc, runCommand, idris_plain}:
runCommand "idris-wrapper" {} ''
source ${makeWrapper}/nix-support/setup-hook
mkdir -p $out/bin
ln -s ${idris_plain}/bin/idris $out/bin
wrapProgram $out/bin/idris \
--suffix NIX_CFLAGS_COMPILE : '"-I${gmp}/include -L${gmp}/lib"' \
--suffix PATH : ${gcc}/bin
''
|