From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA23234 for caml-red; Wed, 27 Dec 2000 19:06:49 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA19881 for <caml-list@pauillac.inria.fr>; Wed, 27 Dec 2000 19:04:18 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eBRI4EL06583;
	Wed, 27 Dec 2000 19:04:15 +0100 (MET)
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA22563; Wed, 27 Dec 2000 19:04:14 +0100 (MET)
From: Pierre Weis <Pierre.Weis@inria.fr>
Message-Id: <200012271804.TAA22563@pauillac.inria.fr>
Subject: Re: wish
In-Reply-To: <20001227113529Y.wakita@is.titech.ac.jp> from Ken Wakita at "Dec 27, 100 11:35:29 am"
To: wakita@is.titech.ac.jp (Ken Wakita)
Date: Wed, 27 Dec 2000 19:04:14 +0100 (MET)
Cc: caml-list@inria.fr
X-Mailer: ELM [version 2.4ME+ PL28 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

[...]
> standard distribution.  My proposal is simple and easy to use.  For
> instance, building a multithreaded GTk-based GUI application can be
> done by:
> 
> 	ocamlopt -o <executable> -i lablgtk -i threads <source>
> 
> which is more pleasant than
> 
> 	ocamlopt -o <executable> \
> 		-I /usr/local/lib/ocaml-3.00/lablgtk \
> 		-I /usr/local/lib/ocaml-3.00/threads <source>
[...]
> 
> Ken Wakita

Are you aware of the new + option to -I recently added to the
compiler working sources? It allows to write:

       ocamlopt -o <executable> -I +lablgtk -I +threads <source>

isn't it what you wanted ?

Hope this helps,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/