Re: [PATCH] gnu: Add Idris, the dependently-typed language.

[Paul van der Walt]

Hi Eric,

On 2015-10-22 at 10:47, quoth address@hidden:
> With our conventions, the subject line should be just "gnu: Add Idris"

Awww, no embellishments allowed *sniff*?  :)

Fixed though.

> Try adding "--allow-newer=vector" to #:configure-flags.

I tried, this option does not exist.

> Otherwise move this to a separate phase, as it's not strictly related
> to patching cc.

Done.

>> +    (native-inputs
>> +     `(("gcc" ,gcc)))
>
> gcc is already in the implicit inputs, so this may be left out.

Indeed, done!

p.