[bug#49607] [PATCH v3 1/3] gnu: idris: Use wrap-program to define IDRIS_CC

[Attila Lendvai]

> > * gnu/packages/idris.scm (idris) [inputs]: Add bash-minimal (for
> > wrap-program).
> > [phases]: Add wrap-program phase to define IDRIS_CC, use (cc-for-
> > target).
> > ---
>
>
> I believe this would prevent someone from effectively setting
> `IDRIS_CC` to a different compiler from within their environment,
> correct? I would like to leave that option available to users. Also,


good point! and i think you're correct, because wrapper scripts set the value 
unconditionally.

would it work if we set CC instead? idris first tries IDRIS_CC, and then CC 
(and then falls back to "cc").

or would you prefer to use substitute* in the build to replace cc = "cc" with a 
full path to gcc in the source code of idris?


> can this be a simple compiler reference, or does it need to be a
> "toolchain compiler"?


i'm unable to answer that, i don't know the difference.

i just noticed that i can't use idris as-is when trying the examples, because 
it couldn't invoke the c compiler to produce executables. this is my attempt at 
fixing this issue.

--
• attila lendvai
• PGP: 963F 5D5F 45C7 DFCD 0A39
--
If ethics are pure subjective preference, then rape is just competing 
preferences.