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 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