GNU bug report logs - #49607
[PATCH] gnu: Add Idris 2.

Previous Next

Full log

Message #46 received at 49607 <at> debbugs.gnu.org (full text, mbox):

From: Attila Lendvai <attila <at> lendvai.name>
To: Eric Bavier <bavier <at> posteo.net>
Cc: 49607 <at> debbugs.gnu.org
Subject: Re: [bug#49607] [PATCH v3 1/3] gnu: idris: Use wrap-program to define
 IDRIS_CC
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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.