[MLton] Possible bug in MLton-7230.msi for MinGW and 64 bit questions

[David Hansel]

Hi again,

Sorry for the trivial questions so far.  Is there any 64 bit specific
documentation that I am missing?

Regarding the 64 bit FFI support,  I am currently getting a linker error
whenever I attempt to use FFI functions.  The error is:

c:/program files (x86)/mlton/bin/../lib/gcc/x86_64-w64-mingw32/4.4.1/../../../..
/x86_64-w64-mingw32/bin/ld.exe: cannot find -ldl
(this is of course caused by the "-link-opt -ldl" parameter to MLton
but if I leave that out then I get missing symbols).

I did install the full 64 bit support.  Is there anything else
(more or less obvious) that I should have done?

Thanks,

David


On 11/1/2009 10:35 PM, Wesley W. Terpstra wrote:
> On Mon, Nov 2, 2009 at 2:44 AM, David Hansel
> <hansel at reactive-systems.com> wrote:
>>>> Also,  from the web site it sounds like the MLton-7230.msi version supports
>>>> generating Windows 64 bit executables,  is that true?  If so,  how do we tell
>>>> MLton to generate a 64 bit executable?
>>> mlton -target x86_64-w64-mingw32 your-mlb-file-here.mlb
>> Calling mlton -target x86_64-w64-mingw32 -verbose 2 test.sml
>> for a "Hello World" style test.sml gives me the following error:
>>
>> openIn c:\program files (x86)\mlton\lib\mlton\x86_64-w64-mingw32\sizes:
>> The system cannot find the file specified.
> 
> You need to install the 64-bit pieces from the msi. When it asks you
> complete/typical/custom, select complete. It sounds like you selected
> typical which does not install the 64-bit toolchain.
> 
>> One other question:  Are FFI calls supported in the Win64 executables
>> produced by MLton?
> 
> Yes
> 
>>  Are there any special considerations regarding 64 bit FFI?
> 
> No.


-- 
  ----------------------------------------------------------
  David Hansel
  Chief Technology Officer -- Reactive Systems, Inc.
  http://www.reactive-systems.com/
  (919) 324-3507 ext. 102 -- hansel at reactive-systems.com
  OpenPGP (GnuPG) public key file:
  http://www.reactive-systems.com/~hansel/pgp_public_key.txt
  ----------------------------------------------------------