nixpkgs/pkgs/development/idris-modules/idris-wrapper.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"
  '';
}
idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc This should make it work on Darwin with clang. 2019-03-26 03:15:20 +00:00			`{ stdenv, lib, symlinkJoin, makeWrapper, idris-no-deps, gmp }:`
Add wrapper for idris exe for gcc/gmp runtime deps Fixes #10450 When compiling packages with -o the executable invokes gcc. There is no compile time flag to control this invocation so for now we create a wrapper which provides the dependency at runtime. 2017-11-02 21:51:35 +00:00
			`symlinkJoin {`
idris: Clean up wrapper 2018-07-02 01:32:47 +01:00			`inherit (idris-no-deps) name src meta;`
			`paths = [ idris-no-deps ];`
Add wrapper for idris exe for gcc/gmp runtime deps Fixes #10450 When compiling packages with -o the executable invokes gcc. There is no compile time flag to control this invocation so for now we create a wrapper which provides the dependency at runtime. 2017-11-02 21:51:35 +00:00			`buildInputs = [ makeWrapper ];`
			`postBuild = ''`
			`wrapProgram $out/bin/idris \`
idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc This should make it work on Darwin with clang. 2019-03-26 03:15:20 +00:00			`--run 'export IDRIS_CC=''${IDRIS_CC:-${stdenv.cc}/bin/cc}' \`
*-wrapper; Switch from `infixSalt` to `suffixSalt` 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. 2020-04-28 05:08:48 +01:00			`--set 'NIX_CC_WRAPPER_TARGET_HOST_${stdenv.cc.suffixSalt}' 1 \`
idrisPackages.idris-wrapper: Fix linking to gmp library This has been broken since 5d18129ce8af9a69312818ea0a5a0029a04a2255, which updated idris from 1.3.0 to 1.3.1, which included https://github.com/idris-lang/Idris-dev/pull/4472 as the cause of the error. I'm still not entirely sure why this broke it though. This now way should be rather future proof, it uses NIX_CFLAGS to pass gpm link flags to our CC wrapper directly. The `NIX_CC_WRAPPER_${stdenv.cc.infixSalt}_TARGET_HOST` part I'm pretty sure is needed for the CC wrapper to know that those CFLAGS are meant for the cc running on the HOST. 2019-03-26 02:49:57 +00:00			`--prefix NIX_CFLAGS_COMPILE " " "-I${lib.getDev gmp}/include" \`
			`--prefix NIX_CFLAGS_LINK " " "-L${lib.getLib gmp}/lib"`
idris: Clean up wrapper 2018-07-02 01:32:47 +01:00			`'';`
			`}`