On Tue, Jul 10, 2007 at 05:04:12PM +0200, Daniel de Rauglaudre wrote:
> Ok, I made a new release : 4.03.
> 
> You can change the name of all commands and libraries by using the
> parameter "-name" of "configure" (default = camlp4).

Thanks, this is really helpful.

> For example:
>      ./configure -name camlp5
> 
> would name the commands, files and manual pages: camlp5, camlp5o, camlp5r,
> camlp5r.cma, camlp5.1 and so on, and the library would be installed in
> a subdirectory camlp5 of the ocaml library directory.
> 
> Up to you to choose the name you prefer.

... but this puzzles me a bit :) Can you please suggest an official name
so that we avoid drifting too much from distribution to distribution?
"camlp5"? "camlp4s"? Name one ...

Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time