[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add Idris, the dependently-typed language.
From: |
Paul van der Walt |
Subject: |
Re: [PATCH] gnu: Add Idris, the dependently-typed language. |
Date: |
Thu, 22 Oct 2015 16:45:38 +0200 |
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.
- Re: [PATCH] gnu: Add ghc-unix-time., (continued)
Re: [PATCH] gnu: Add ghc-xml., ericbavier, 2015/10/22
Re: [PATCH] gnu: Add ghc-uniplate., ericbavier, 2015/10/22
Re: [PATCH] gnu: Add Idris, the dependently-typed language., ericbavier, 2015/10/22
Re: [PATCH] gnu: Add ghc-regex-posix., ericbavier, 2015/10/22
Re: [PATCH] gnu: Add ghc-wai., ericbavier, 2015/10/22
Re: [PATCH] gnu: ghc-split: Update dependencies., ericbavier, 2015/10/22