Commit graph

11 commits

Author SHA1 Message Date
John Ericson 1ac5398589 *-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-05-12 00:44:44 -04:00
Silvan Mosberger 271403c69b
idrisPackages.idris-wrapper: Use stdenv's cc instead of always gcc
This should make it work on Darwin with clang.
2019-03-26 04:16:19 +01:00
Silvan Mosberger cfd2e6731a
idrisPackages.idris-wrapper: Fix linking to gmp library
This has been broken since 5d18129ce8,
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 04:16:14 +01:00
Silvan Mosberger 636cd3cba9
idris: Clean up wrapper 2018-07-02 02:35:46 +02:00
Silvan Mosberger b6cfa372f0
idris: Wrap with IDRIS_CC
Previously idris used the C compiler from PATH for the C backend, which
means that the results and whether it even succeeds can vary between
systems (e.g. if a Nix-built Idris was used on a super old Linux system,
the cc installed there might not even work for Idris' C).

To make this more predictable, this commit sets the IDRIS_CC env var,
which Idris will prefer over searching in PATH, to a Nix-provided gcc
executable, given that it is not already set, so it's still possible to
override.
2018-07-02 02:34:31 +02:00
Matthew Pickering 8d55538f97 Revert "idris: Move library setup to the setup hook."
This reverts commit 69d4adee1f.
2018-02-07 19:24:31 +00:00
Márton Boros 2996be511d
Undo spacing difference 2018-02-03 10:17:24 +01:00
Márton Boros e3220fe6b5
Merge branch 'master' into fix-idris-modules 2018-02-03 10:12:37 +01:00
Shea Levy 69d4adee1f
idris: Move library setup to the setup hook.
This was broken in preHook because addEnvHooks isn't defined yet.
2018-01-20 19:58:06 -05:00
Márton Boros 92538f0a54 idris: fix modules 2017-12-26 10:55:17 +01:00
Matthew Pickering 40124cd0cf 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 23:14:12 +00:00