[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 19:20:28 +0200 |
On 2015-10-22 at 19:02, quoth Eric Bavier:
>>> Try adding "--allow-newer=vector" to #:configure-flags.
>>
>> I tried, this option does not exist.
>
> Interesting. Thanks for trying, I honestly haven't used the flag
> before, but I saw it in the Cabal documentation, so thought I make the
> suggestion.
Maybe i'm trying wrong. I tried to add it to #:configure-flags, which
doesn't work. I also tried:
1) `cabal get something`
2) cd something-…; runhaskell Setup.lhs configure --help
The option isn't mentioned there.
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
Re: [PATCH] gnu: Add ghc-gluraw., Paul van der Walt, 2015/10/22