Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCaml + mingw-w64
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christoph Cullmann <cullmann@a...>
Subject: OCaml + mingw-w64
Hi,

atm we compile out large ocaml application (Astree, http://www.astree.ens.fr/) 
with ocaml + MSVC64.

I would like to go away from MSVC to mingw, to e.g. have gdb available and 
more unix like environment.

Atm it seems only the normal mingw (32bit) is supported.
I found some problem with using the 64bit version with flexlinker, which I 
reported to Alain Frisch to get that sorted out.

Aside from that, I think a problem might be, that there is no matching 
assembler for amd64 + mingw (windows calling convention).

Is that correct and could somebody help me out with this?
I think, given that gcc on unices with 64bit work fine here, it shouldn't be 
too much effort to get mingw-w64 working too, enabling to have a nice (and fast 
for the bytecode interpreter) variant of ocaml for win64 using mostly open 
source components ;)

Other feedback (which is valid for MSVC64, too):

In ocaml 3.12, in byterun/major_gc.h, there is:

intnat caml_major_collection_slice (long howmuch)

whereas in the .c file that is:

intnat caml_major_collection_slice (intnat howmuch)

As intnat is with mingw-w64 long long, this doesn't match.
Should not the header use intnat, too?

Greetings
Christoph

-- 
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH      Email: cullmann@AbsInt.com
Science Park 1                         Tel:   +49-681-38360-22
66123 Saarbrücken                      Fax:   +49-681-38360-20
GERMANY                                WWW:   http://www.AbsInt.com
--------------------------------------------------------------------
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234