* [Caml-list] Camlp5 6.04 - configurable name
@ 2012-03-01 9:37 Daniel de Rauglaudre
0 siblings, 0 replies; only message in thread
From: Daniel de Rauglaudre @ 2012-03-01 9:37 UTC (permalink / raw)
To: caml-list
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/
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-03-01 9:37 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-03-01 9:37 [Caml-list] Camlp5 6.04 - configurable name Daniel de Rauglaudre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).