Re: Idris packaging

[Eric Bavier]

I've been able to compile Idris' generated C code by setting the, rather 
undocumented, IDRIS_CC environment variable, while having the 'gcc-toolchain' 
package installed.

I have not worked much with Idris modules, so I've not encountered the 
deficiencies you mention.  If we need to patch anything, I would prefer 
patching Idris to handle a list of directories in IDRIS_LIBRARY_PATH.  That 
seems like a more flexible solution.

`~Eric

----- On Aug 19, 2019, at 7:29 AM, P address@hidden wrote:

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

-- 
`~Eric