pyrox.dev
1{
2 stdenv,
3 lib,
4 symlinkJoin,
5 makeWrapper,
6 idris-no-deps,
7 gmp,
8}:
9
10symlinkJoin {
11 inherit (idris-no-deps) name src meta;
12 paths = [ idris-no-deps ];
13 nativeBuildInputs = [ makeWrapper ];
14 postBuild = ''
15 wrapProgram $out/bin/idris \
16 --run 'export IDRIS_CC=''${IDRIS_CC:-${stdenv.cc}/bin/cc}' \
17 --set 'NIX_CC_WRAPPER_TARGET_HOST_${stdenv.cc.suffixSalt}' 1 \
18 --prefix NIX_CFLAGS_COMPILE " " "-I${lib.getDev gmp}/include" \
19 --prefix NIX_CFLAGS_LINK " " "-L${lib.getLib gmp}/lib"
20 '';
21}