From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@epfl.ch>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id AC207BC6B
	for <caml-list@yquem.inria.fr>; Fri,  8 Jun 2007 15:27:25 +0200 (CEST)
Received: from mail16.bluewin.ch (mail16.bluewin.ch [195.186.19.63])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l58DRPFe025225
	for <caml-list@inria.fr>; Fri, 8 Jun 2007 15:27:25 +0200
Received: from [10.0.1.2] (85.2.19.214) by mail16.bluewin.ch (Bluewin 7.3.121)
        id 46499E4C00537833 for caml-list@inria.fr; Fri, 8 Jun 2007 13:27:25 +0000
Mime-Version: 1.0 (Apple Message framework v752.2)
Content-Transfer-Encoding: 7bit
Message-Id: <B312766B-1BEE-47A5-A0E4-6C5A79724A37@epfl.ch>
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
To: OCaml List <caml-list@inria.fr>
From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= <daniel.buenzli@epfl.ch>
Subject: ocamlbuild and profiling
Date: Fri, 8 Jun 2007 15:27:49 +0200
X-Mailer: Apple Mail (2.752.2)
X-Miltered: at concorde with ID 4669593D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; bunzli:01 buenzli:01 'let:01 usr:01 ocamlopt:01 cmx:01 cmx:01 exited:01 compilation:01 bug:01 00.:98 compile:01 int:01 bin:01 epfl:02 

Hello,

When I compile for profiling ocambuild fails because some standard  
library files are missing, namely those compiled with profiling support.

> > echo 'let () = print_int 3' > test.ml
> > ocamlbuild test.p.native
> + /usr/local/bin/ocamlopt.opt -p test.p.cmx -o test.p.native
> Cannot find file std_exit.p.cmx
> Command exited with code 2.
> Compilation unsuccessful after building 4 targets (0 cached) in  
> 00:00:00.

There are at least three possibilities :

1) This is a problem in my own install.
2) This is a bug in the distribution install process.
3) ocamlbuild should not look for profiling support in standard  
library files.

Can anybody give a hint ?

Thanks for your answers,

Daniel