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

From: Attila Lendvai <[email-masked]>
Date: Wed, 18 May 2022 17:22:29 +0000

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