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
