alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
nixpkgs/pkgs/development/idris-modules/idris-wrapper.nix

15 lines
503 B
Nix
Raw Normal View History

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}' \
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
--set NIX_CC_WRAPPER_${stdenv.cc.infixSalt}_TARGET_HOST 1 \
--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
'';
}
Copy permalink