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

[Paul van der Walt]

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.