From mboxrd@z Thu Jan 1 00:00:00 1970 From: Paul van der Walt Subject: Re: [PATCH] gnu: Add Idris, the dependently-typed language. Date: Thu, 22 Oct 2015 19:20:28 +0200 Message-ID: <878u6uq0pv.fsf@denknerd.org> References: <1445483479-19104-1-git-send-email-ericbavier@openmailbox.org> <1445503671-30014-1-git-send-email-ericbavier@openmailbox.org> <1445503671-30014-22-git-send-email-ericbavier@openmailbox.org> <87h9ljq7vx.fsf@denknerd.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59128) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZpJXZ-0001PH-5A for guix-devel@gnu.org; Thu, 22 Oct 2015 13:20:38 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZpJXV-0006t4-1i for guix-devel@gnu.org; Thu, 22 Oct 2015 13:20:37 -0400 Received: from mx01.mykolab.com ([95.128.36.1]:17611 helo=mx-out01.mykolab.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZpJXU-0006sp-Lb for guix-devel@gnu.org; Thu, 22 Oct 2015 13:20:32 -0400 In-reply-to: List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Eric Bavier Cc: guix-devel@gnu.org On 2015-10-22 at 19:02, quoth Eric Bavier: >>> Try adding "--allow-newer=3Dvector" to #:configure-flags. >>=20 >> I tried, this option does not exist. > > Interesting. Thanks for trying, I honestly haven't used the flag=20 > before, but I saw it in the Cabal documentation, so thought I make the=20 > 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-=E2=80=A6; runhaskell Setup.lhs configure --help The option isn't mentioned there.