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 [email protected] 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
