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