2014-12-17 18:11:30 +00:00
|
|
|
{ stdenv, gmp, makeWrapper, runCommand, idris_plain, boehmgc}:
|
2013-06-05 20:29:10 +00:00
|
|
|
|
|
|
|
|
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 \
|
2014-06-11 08:38:01 +00:00
|
|
|
--suffix NIX_CFLAGS_COMPILE : '"-I${gmp}/include -L${gmp}/lib -L${boehmgc}/lib"' \
|
2014-12-17 18:11:30 +00:00
|
|
|
--suffix PATH : ${stdenv.cc}/bin \
|
2014-09-28 22:51:21 +00:00
|
|
|
--suffix PATH : ${idris_plain}/bin
|
2013-06-05 20:29:10 +00:00
|
|
|
''
|
