Re: Idris packaging

[Eric Bavier]

----- On Aug 21, 2019, at 3:54 PM, P address@hidden wrote:

> On Wednesday, August 21, 2019 3:54 PM, Eric Bavier <address@hidden>
> wrote:
> 
>> 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.
> 
> Yeah, I figured that part out and got it to compile to an object file with 
> both
> clang and gcc, but it doesn't always link correctly. I managed to compile a
> basic hello world though.
> The issue is always with crti.o and crt1.o, things like GMP and pthreads and
> anything else passed in `-l` arguments seems to work. I can see that ld is
> called with these crtX.o files as regular arguments, not as -l arguments, 
> which
> I guess means that it's trying to link them statically? But I don't know 
> enough
> about ld to know for sure.

Could you detail a simple reproducer?  E.g. attach the idris code, detail your 
environment, and a simple walkthrough of the commands to reach the linker error 
you're seeing?  That would help others help track down the issue.

-- 
`~Eric