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.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id D8D8EBC69 for ; Sun, 18 Mar 2007 11:02:00 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.172]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2IA20Ie012485 for ; Sun, 18 Mar 2007 11:02:00 +0100 Received: by ug-out-1314.google.com with SMTP id k3so1042645ugf for ; Sun, 18 Mar 2007 03:02:00 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=XvSSJfOccoSy8OmaQsZ9TskSqa5DiqgbqJlLALHhcYSMXTQMDziSnZQLZTdWPhivZP7pGmPmjoIWQus0CZAtrjZJStGG+lPVsf5cUu4XgvFh2MJN1CPWQ9Pv/KcOWw8HaZ9OA3fpB7l2YNULpdc+f5HHksL8N2XHrRq2t56FOYg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=T0TG4MOzSDRe69gHPNycZ84tvTvcDq3LHGTzPiepGSNch0zvCEJohx1YpKAjbn7O9FFive5cRUOb5W0pAi5M2FrkfgswwaSnrW6RX1E+XvdBs9Mw/We1BmD2NatxZpZK/2gzt6cG2Hrgr/OeT8Ps1sebHApIjVFSPgtdOhz8NUQ= Received: by 10.65.251.2 with SMTP id d2mr5040257qbs.1174212119768; Sun, 18 Mar 2007 03:01:59 -0700 (PDT) Received: by 10.114.183.4 with HTTP; Sun, 18 Mar 2007 03:01:59 -0700 (PDT) Message-ID: Date: Sun, 18 Mar 2007 11:01:59 +0100 From: "Nicolas Pouillard" To: "Peter Halacsy" Subject: Re: [Caml-list] 3.10 and native profiling Cc: "Caml List" In-Reply-To: <9EDCA893-85B5-43A9-A441-EA56CFAA4820@halacsy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <9EDCA893-85B5-43A9-A441-EA56CFAA4820@halacsy.com> X-j-chkmail-Score: MSGID : 45FD0E18.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 45FD0E18.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 usr:01 ocaml:01 ocamlopt:01 cmx:01 bug:01 cvs:01 wrote:01 compile:01 experimental:01 caml-list:01 bin:01 native:02 native:02 std:03 On 3/18/07, Peter Halacsy wrote: > 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. [...] > $ /usr/local/ocaml/10.0/bin/ocamlopt.opt -p test.ml > Cannot find file std_exit.p.cmx You certainly used the experimental build (./build/fastworld.sh && ./build/install.sh), since I've fixed that bug some days ago (the CVS version should works fine). -- Nicolas Pouillard