From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <steph@glondu.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id BEFC3820A1
	for <caml-list@sympa.inria.fr>; Mon,  9 Sep 2013 16:23:14 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.90,866,1371074400"; 
   d="scan'208";a="32107068"
Received: from wencory.loria.fr (HELO [152.81.3.42]) ([152.81.3.42])
  by mail2-relais-roc.national.inria.fr with ESMTP; 09 Sep 2013 16:23:14 +0200
Message-ID: <522DD9D2.1060304@glondu.net>
Date: Mon, 09 Sep 2013 16:23:14 +0200
From: =?ISO-8859-1?Q?St=E9phane_Glondu?= <steph@glondu.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130821 Icedove/17.0.8
MIME-Version: 1.0
To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>
CC: caml-list@inria.fr
References: <522D8C0B.5020204@gmail.com>
In-Reply-To: <522D8C0B.5020204@gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] ocamlfind and ocaml*.opt tools

Le 09/09/2013 10:51, Matej Kosik a écrit :
> Inspired by the recent `Accelerating compilation' discussion, I have installed the *.opt version of the compilers
> 
>   apt-get install ocaml-native-compilers
> 
> What is the right way to invoke, say ocamlc.opt via ocamlfind?
> 
>   ocamlfind c -c -g -o foo.cmi foo.mli
> 
> works but I guess ocamlfind invokes here ocamlc (not ocamlc.opt, even if it is installed).

You can do more than guessing:

$ ocamlfind ocamlc -verbose foo.ml
Effective set of compiler predicates: autolink,byte
+ ocamlc.opt -verbose foo.ml


Cheers,

-- 
Stéphane