Hi Eric,
On 2015-10-22 at 10:47, quoth ericbav...@openmailbox.org:
> 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.
