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

[David Craven]

> 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...