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: cullm...@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 _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
