Commit graph

10 commits

Author SHA1 Message Date
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