From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Romain.Bardou@lri.fr>
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
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 4ACAFBBAF
	for <caml-list@yquem.inria.fr>; Thu, 16 Oct 2008 10:53:22 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ag8DAFOd9kiBrw8EiGdsb2JhbACTZAEBARUirVqBbA
X-IronPort-AV: E=Sophos;i="4.33,422,1220220000"; 
   d="scan'208";a="30399332"
Received: from ext.lri.fr ([129.175.15.4])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 16 Oct 2008 10:53:21 +0200
Received: from localhost (localhost [127.0.0.1])
	by ext.lri.fr (Postfix) with ESMTP id 78573A4949;
	Thu, 16 Oct 2008 10:53:21 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at lri.fr
Received: from ext.lri.fr ([127.0.0.1])
	by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id WVU-GKNd7e0E; Thu, 16 Oct 2008 10:53:21 +0200 (CEST)
Received: from smtp.lri.fr (vhost3-23 [129.175.3.23])
	by ext.lri.fr (Postfix) with ESMTP id 5FEC7A4946;
	Thu, 16 Oct 2008 10:53:21 +0200 (CEST)
Received: from [129.175.4.107] (lri4-107 [129.175.4.107])
	by smtp.lri.fr (Postfix) with ESMTP id 6900BE0559;
	Thu, 16 Oct 2008 10:53:21 +0200 (CEST)
Message-ID: <48F70122.5090306@lri.fr>
Date: Thu, 16 Oct 2008 10:53:54 +0200
From: Romain Bardou <Romain.Bardou@lri.fr>
User-Agent: Thunderbird 2.0.0.17 (X11/20080925)
MIME-Version: 1.0
To: Nicolas Pouillard <nicolas.pouillard@gmail.com>
Cc: Caml_mailing list <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] ocamlbuild: ml -> cmx & cmi & o ?
References: <857DD0FDAC042B4485F9F5F4EA6751041E4CEEEDBC@EA-EXMSG-C332.europe.corp.microsoft.com>	<48F6FBB9.7030107@lri.fr> <1224146385-sup-4057@ausone.inria.fr>
In-Reply-To: <1224146385-sup-4057@ausone.inria.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; lri:01 cmx:01 cmi:01 mli:01 cmi:01 ocamlc:01 caml-list:01 short:01 conflicting:04 conflicting:04 problem:05 indeed:07 generates:07 rules:11 rules:11 

> There is a deep reason for this, the short answer is:
> 
>   "if you want native-compilation only, then all your .ml files must have a
>   .mli"
> 
> Indeed ocamlbuild only generates .cmi from .ml using ocamlc, this is to avoid
> conflicting defaulting rules in the engine.

Are conflicting rules a problem?

-- 
Romain Bardou