From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id C1FAABC69 for ; Sun, 18 Mar 2007 08:54:15 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2I7sFk1031754 for ; Sun, 18 Mar 2007 08:54:15 +0100 Received: by ug-out-1314.google.com with SMTP id k3so1029994ugf for ; Sun, 18 Mar 2007 00:54:15 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer:sender; b=YlrDXNS/R01cuKXd1nm/2m/Nev5V4KCSkCrP8dBUVJ/LlaeZEIhGXF6Cs6YmP/qbNpt2IWIVTV3YMZ+XpPERs1qL8k6LVzShLu8/QKT7T7fUElkU3qXLNhxC51PuvT3hXhChjqRsoFXWCICy/MDTOV5Bb+n5c4b+WjcxPoDXISc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer:sender; b=PkU5+E6jAe39qkliEH121W0fjDgXUOnx4V2TgGeexPX1VIoXBJjuz/JpG9BaeD3iWPOQVYOEQXFhEeehzL0bnY5ckVcmU3vNcdx5QxQD6CsY0hm5s0O6Ma64bMay7Sw5zBDp5LoPXty0r3ijN7G3H7KSy36hjxGEwHmTEwG1KPw= Received: by 10.67.28.4 with SMTP id f4mr7670021ugj.1174204455061; Sun, 18 Mar 2007 00:54:15 -0700 (PDT) Received: from ?192.168.1.101? ( [81.182.208.47]) by mx.google.com with ESMTP id w7sm13688777mue.2007.03.18.00.54.13; Sun, 18 Mar 2007 00:54:14 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v752.3) Content-Transfer-Encoding: 7bit Message-Id: <9EDCA893-85B5-43A9-A441-EA56CFAA4820@halacsy.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: Caml List From: Peter Halacsy Subject: 3.10 and native profiling Date: Sun, 18 Mar 2007 08:54:14 +0100 X-Mailer: Apple Mail (2.752.3) Sender: Peter Halacsy X-Miltered: at discorde with ID 45FCF027.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 printf:01 printf:01 usr:01 ocaml:01 ocamlopt:01 cmx:01 compiler:01 usr:01 ocaml:01 ocamlopt:01 compile:01 bin:01 bin:01 native:02 hello, i've installed 3.10 beta compiler (intel mac). But I can't use the native code profiling. I can't compile my code. cat test.ml let _ = let s = "hello" in let s2 = "world" in Printf.printf "%s, %s" s s2; $ /usr/local/ocaml/10.0/bin/ocamlopt.opt -p test.ml Cannot find file std_exit.p.cmx But using the old compiler, everything works fine $ /usr/local/ocaml/9.3/bin/ocamlopt.opt -p test.ml $ ./a.out hello,world$ peter