Commit Graph

8 Commits

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