From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH 7/9] gnu: idris: Update to 0.12.3. Date: Sat, 3 Dec 2016 16:06:14 -0500 Message-ID: <20161203210614.GB22684@jasmine> References: <20161203104213.8135-1-david@craven.ch> <20161203104213.8135-7-david@craven.ch> <20161203200327.GH21416@jasmine> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59975) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cDHVk-0007I9-NN for guix-devel@gnu.org; Sat, 03 Dec 2016 16:06:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cDHVf-0006eh-Pj for guix-devel@gnu.org; Sat, 03 Dec 2016 16:06:20 -0500 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:44269) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cDHVf-0006eN-MR for guix-devel@gnu.org; Sat, 03 Dec 2016 16:06:15 -0500 Content-Disposition: inline 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" To: David Craven Cc: guix-devel On Sat, Dec 03, 2016 at 09:26:02PM +0100, David Craven wrote: > > Why do we need to skip the tests? > > First idris is not found, then after adding dist/build/idris to PATH, > the idris libraries aren't found. So I set IDRIS_LIBRARY_PATH to libs. > Then the idris runtime system isn't found, so I added rts to > C_INCLUDE_PATH and LIBRARY_PATH. Half of the tests still fail with > blah not found. I think that runhaskell Setup.hs test doesn't set the > working directory correctly. I spent some time trying to track down > the issue further, but couldn't figure out how to build a Haskell > project locally: > > guix environment idris > ghc-pkg --package-db=package.conf.d recache > GHC_PACKAGE_PATH= runhaskell Setup.hs configure --package-db=package.conf.d > > That's the point when I gave up. If someone knows how I can build a > Haskell project without too much hassle. IDRIS_LIBRARY_PATH currently > only takes one path. To package idris libraries it would be nice to > extend IDRIS_LIBRARY_PATH to a colon separated list, but without a > simple way to build the project (incrementally) it looks like too much > of a hassle... Okay, I think you should summarize this in a code comment :)