Good news, I just tested the patch and it works great with my application! I just had to modify the module random since a call to (Random.int max_int) may raise and exception (it is made for 32 bits integers). So I guess that modification should be included in the patch.
Thanks a lot Andres. Jean On Wed, Jul 16, 2008 at 12:27 PM, Jean Krivine <[EMAIL PROTECTED]> wrote: > Great thanks! > > J > > On Wed, Jul 16, 2008 at 10:16 AM, Andres Varon <[EMAIL PROTECTED]> wrote: >> >> On Jul 15, 2008, at 3:38 PM, Jean Krivine wrote: >> >>> I'd be glad to try the patch if you could post it somewhere! >> >> I have posted it in: >> >> http://research.amnh.org/~avaron/ocaml/ >> >> best, >> >> Andres >>> >>> J >>> >>> On Tue, Jul 15, 2008 at 3:31 PM, Andres Varon <[EMAIL PROTECTED]> wrote: >>>> >>>> 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