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