tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ stdenv, lib, symlinkJoin, makeWrapper, idris-no-deps, gmp }:
2
3symlinkJoin {
4 inherit (idris-no-deps) name src meta;
5 paths = [ idris-no-deps ];
6 buildInputs = [ makeWrapper ];
7 postBuild = ''
8 wrapProgram $out/bin/idris \
9 --run 'export IDRIS_CC=''${IDRIS_CC:-${stdenv.cc}/bin/cc}' \
10 --set 'NIX_CC_WRAPPER_TARGET_HOST_${stdenv.cc.suffixSalt}' 1 \
11 --prefix NIX_CFLAGS_COMPILE " " "-I${lib.getDev gmp}/include" \
12 --prefix NIX_CFLAGS_LINK " " "-L${lib.getLib gmp}/lib"
13 '';
14}