Hello Jean,
There is no 64-bit native OCaml compiler for Mac OS X intel. I have a
patch that works in Leopard, but did not compile opt.opt in Tiger,
meaning that something is not OK, so I did not offer it to the
community. The bootstrap went fine, findlib and godi compiled OK too.
I can post the patches somewhere if you want to give it a shot.
My memory intensive application runs fine in Leopard with this
compiler. But the binaries do not execute in Tiger (I found that other
people had the same trouble copying a 64 bit apps from Leopard to
Tiger and the other way around, but didn't look into it).
If you want it ... I can post it, maybe someone can cleanup my job?
All that would be needed after patching is:
./configure -host x86_64-apple-darwin -prefix /opt/ocaml/experimental
(The prefix I always add for my ocaml-modified comilers).
best,
Andres
On Jul 15, 2008, at 1:06 PM, Jean Krivine wrote:
Dear all
I downloaded the last version of ocaml (3.10.2) but I must confess I
don't know what option I should pass to the compiler to make a binary
that uses 64 bits.
I tried naively ocamlopt -ccopt -arch -ccopt x86_64 but that doesn't
work. Any idea?
On Fri, Jul 11, 2008 at 6:01 PM, Richard Jones <[EMAIL PROTECTED]>
wrote:
On Fri, Jul 11, 2008 at 03:49:26PM -0400, Jean Krivine wrote:
I am trying to run a stochastic simulator (written in ocaml) on a
huge
data set and I have the following error message:
I can confirm that OCaml works fine with huge datasets, on 64 bit
platforms anyway.
sim(9595) malloc: *** mmap(size=1048576) failed (error code=12)
*** error: can't allocate region
*** set a breakpoint in malloc_error_break to debug
Fatal error: out of memory.
My system:
Mac Pro running OS X 10.5.4
Processor: 2 x 2.8 GHz Quad-Core Intel Xeon
Memory: 10 GB 800 MHz DDR2 FB-DIMM
Does someone know what happened? Do you have any idea of any
parameter
I could tune in order to avoid that?
Is the compiler 32 bits or 64 bits on this machine? Try doing:
$ ocaml
# Sys.word_size ;;
It should print out either '32' or '64'.
Also run your program under whatever the OS X equivalent of 'strace'
is (ktrace?) to find out exactly why the mmap call fails.
OCaml <= 3.10.2 on Linux suffers a nasty problem with its use of mmap
and randomized address spaces
(https://bugzilla.redhat.com/show_bug.cgi?id=445545#c9) but it
doesn't
seem like this is the same issue.
Rich.
--
Richard Jones
Red Hat
_______________________________________________
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
_______________________________________________
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
_______________________________________________
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