[MLton] Linker errors when building ADATE with amd64

Lars Magnusson lavima at gmail.com
Fri Oct 22 05:03:42 PDT 2010


I figured it out.. sort of..

We allocate a huge array of words (uint64_t[400000000]). Why this
makes the linker fail I'm not sure, but I thought it was best to let
you guys know.

-Lars Magnusson

On Fri, Oct 22, 2010 at 12:19 PM, Lars Magnusson <lavima at gmail.com> wrote:
> Thanks for the reply.
>
> I've tried losing the static (among other flags) but the same linker
> errors remain.
>
> The problem is introduced when I include the execute.c file. But this
> file compiles and links just fine when compiled separately with the
> same flags used by mlton.
>
> -Lars Magnusson
>
> On Fri, Oct 22, 2010 at 12:05 PM, Wesley W. Terpstra <wesley at terpstra.ca> wrote:
>> On Tue, Oct 19, 2010 at 9:51 AM, Lars Magnusson <lavima at gmail.com> wrote:
>>> mlton @MLton fixed-heap 800m -- -link-opt '-mmodel=medium -fPIC
>>> -static' -verbose 1 -codegen amd64 -const 'Exn.keepHistory true'
>>> -runtime 'ram-slop 1.0' -default-ann 'allowFFI true' makespec.sml
>>> ./execute.c ./ampi_interface_mlton.c ./svd_lin_solve.c
>>
>> Lose the '-static'.
>>
>



More information about the MLton mailing list