----- On Aug 21, 2019, at 3:54 PM, P [email protected] wrote:
> On Wednesday, August 21, 2019 3:54 PM, Eric Bavier
> <[email protected]>
> 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
