From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id BC7B1BBAF for ; Sat, 31 Jul 2010 10:30:50 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvkIAKp7U0zNm0EP/2dsb2JhbACTTAKJUYMHcb8JhTkEhBaEaYI+Eg X-IronPort-AV: E=Sophos;i="4.55,291,1278280800"; d="scan'208";a="56592523" Received: from unknown (HELO virginia.nps.edu) ([205.155.65.15]) by mail2-smtp-roc.national.inria.fr with ESMTP; 31 Jul 2010 10:30:49 +0200 Received: from Adric.ern.nps.edu ([172.20.216.170]) by virginia.nps.edu with Microsoft SMTPSVC(6.0.3790.4675); Sat, 31 Jul 2010 01:30:43 -0700 Received: by Adric.ern.nps.edu (Postfix, from userid 760) id ECF44173BB; Sat, 31 Jul 2010 01:25:09 -0700 (PDT) From: oleg@okmij.org To: examachine@gmail.com Cc: caml-list@inria.fr Subject: Re: AGI research using ocaml Message-Id: <20100731082509.ECF44173BB@Adric.ern.nps.edu> Date: Sat, 31 Jul 2010 01:25:09 -0700 (PDT) X-OriginalArrivalTime: 31 Jul 2010 08:30:44.0064 (UTC) FILETIME=[AAE05600:01CB308A] X-Spam: no; 0.00; oleg:01 ocaml:01 eray:01 ozkural:01 afaict:01 metaocaml:01 byte-code:01 metaocaml:01 ocaml:01 native-code:01 ber:98 ber:98 wrote:01 supported:02 linking:02 Eray Ozkural wrote: > AFAICT, there is no [BER MetaOCaml] native code support for x64. > Are there any plans to upgrade to 3.12 and x64? Well, 3.12 hasn't been officially released yet. There is strong intention to upgrade to 3.12 once the release dust settles. The byte-code BER MetaOCaml should work on all architectures supported by OCaml. Native-code BER MetaOCaml will come after the port to 3.12. It would be at first for i386, since that is the system I have access to. Generally once native BER MetaOCaml is done, it should work on all architectures that support dynamic linking; that claim has to be experimentally confirmed though.