From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q219b6Kx003808
	for <caml-list@sympa-roc.inria.fr>; Thu, 1 Mar 2012 10:37:06 +0100
X-IronPort-AV: E=Sophos;i="4.73,508,1325458800"; 
   d="scan'208";a="146901574"
Received: from yquem.inria.fr ([128.93.8.37])
  by mail1-relais-roc.national.inria.fr with ESMTP; 01 Mar 2012 10:37:01 +0100
Received: by yquem.inria.fr (Postfix, from userid 25991)
	id 51B41E1964; Thu,  1 Mar 2012 10:37:01 +0100 (CET)
Date: Thu, 1 Mar 2012 10:37:01 +0100
From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: caml-list@inria.fr
Message-ID: <20120301093701.GB17113@yquem.inria.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: [Caml-list] Camlp5 6.04 - configurable name

Hi,

New release of Camlp5 (6.04) where:

The *names* of all what are built (executables, library) are now
configurable, allowing to have 'strict' and 'transitional' modes
both installed in the same computer in different places.

Example:
    ./configure --strict
    make world.opt
    make install
    ./configure --transitional name=camlp5t
    make world.opt
    make install

In that case, executables in transitional mode are camlp5t, camlp5to,
camlp5tr and so on... and the library is installed in a directory
named camlp5t instead of camlp5. No conflict between the two modes.

Download at:
  http://pauillac.inria.fr/~ddr/camlp5/

Thanks.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/