Re: [PATCH 7/9] gnu: idris: Update to 0.12.3.

[Leo Famulari <leo@famulari.name>]

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 :)