From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <maxence.guesdon@inria.fr>
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 35D56820A1
	for <caml-list@sympa.inria.fr>; Mon,  9 Sep 2013 11:15:33 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  maxence.guesdon@inria.fr) identity=pra;
  client-ip=193.52.245.254;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="maxence.guesdon@inria.fr";
  x-sender="maxence.guesdon@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  maxence.guesdon@inria.fr) identity=mailfrom;
  client-ip=193.52.245.254;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="maxence.guesdon@inria.fr";
  x-sender="maxence.guesdon@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@zproxy02.u-bourgogne.fr) identity=helo;
  client-ip=193.52.245.254;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="maxence.guesdon@inria.fr";
  x-sender="postmaster@zproxy02.u-bourgogne.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgkFAOyQLVLBNPX+dGdsb2JhbABbhAS8aoU3gR0WDgEMFQg8giUBAQQBOkQLCyElDxIbGxmHcAMJCrt+DYh7Fox8gnUWhAcDlgyBaIw4iFE
X-IPAS-Result: AgkFAOyQLVLBNPX+dGdsb2JhbABbhAS8aoU3gR0WDgEMFQg8giUBAQQBOkQLCyElDxIbGxmHcAMJCrt+DYh7Fox8gnUWhAcDlgyBaIw4iFE
X-IronPort-AV: E=Sophos;i="4.90,866,1371074400"; 
   d="scan'208";a="32054772"
Received: from zproxy02.u-bourgogne.fr ([193.52.245.254])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Sep 2013 11:15:32 +0200
Received: from localhost (localhost.localdomain [127.0.0.1])
	by zproxy02.u-bourgogne.fr (Postfix) with ESMTP id E3065E8044;
	Mon,  9 Sep 2013 11:15:32 +0200 (CEST)
Received: from zproxy02.u-bourgogne.fr ([127.0.0.1])
	by localhost (zproxy02.u-bourgogne.fr [127.0.0.1]) (amavisd-new, port 10032)
	with ESMTP id tpHMS8wOeHtu; Mon,  9 Sep 2013 11:15:32 +0200 (CEST)
Received: from localhost (localhost.localdomain [127.0.0.1])
	by zproxy02.u-bourgogne.fr (Postfix) with ESMTP id 9CDC9E8051;
	Mon,  9 Sep 2013 11:15:32 +0200 (CEST)
X-Virus-Scanned: amavisd-new at zproxy02.u-bourgogne.fr
Received: from zproxy02.u-bourgogne.fr ([127.0.0.1])
	by localhost (zproxy02.u-bourgogne.fr [127.0.0.1]) (amavisd-new, port 10026)
	with ESMTP id 59mnlTx6n6Am; Mon,  9 Sep 2013 11:15:32 +0200 (CEST)
Received: from alcazar (sunset.u-bourgogne.fr [193.52.245.3])
	by zproxy02.u-bourgogne.fr (Postfix) with ESMTP id 7C1EFE8044;
	Mon,  9 Sep 2013 11:15:32 +0200 (CEST)
Date: Mon, 9 Sep 2013 11:15:12 +0200
From: Maxence Guesdon <maxence.guesdon@inria.fr>
To: caml-list@inria.fr
Message-ID: <20130909111512.5a69a4e6@alcazar>
In-Reply-To: <522D8C0B.5020204@gmail.com>
References: <522D8C0B.5020204@gmail.com>
X-Mailer: Claws Mail 3.9.2 (GTK+ 2.24.20; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] ocamlfind and ocaml*.opt tools

On Mon, 09 Sep 2013 09:51:23 +0100
Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote:

> Hello,
> 
> 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).
> 
> Attempts like these:
> 
>   ocamlfind c.opt -c -g -o foo.cmi foo.mli
>   ocamlfind ocamlc.opt -c -g -o foo.cmi foo.mli
> 
> fail because "c.opt" and "ocamlc.opt" are not recognized as ocamlfind commands.

You can set the OCAMLFIND_COMMANDS environment variable, for example
to use ocamloptp instead of ocamlopt and ocamldoc.opt instead of
ocamldoc:

export OCAMLFIND_COMMANDS="ocamlopt=ocamloptp,ocamldoc=ocamldoc.opt"

See "man ocamlfind".

- Maxence