Re: Idris packaging

[P]

There is a different issue as well, which is that Idris can't seem to compile 
anything. I've been trying to get gcc or clang to work with the C code Idris 
generates but somehow even a simple hello world runs into a linker error where 
ld can't find crt1.o and crti.o even though they are on its path.

I don't know enough about ld to know why this is, so I'd appreciate some help.

I'll also look closer at the Nix packages for Idris and its libraries, since 
they seem to support it much better.