Bug#467563: camlp5 strict mode?

[Hendrik Tews <tews@os.inf.tu-dresden.de>]

I wrote:

   is that the names of executables and libraries are hardcoded in
   the makefiles and that these names are identical for strict and
   transitional mode.

I told Daniel de Rauglaudre about the problem of compiling strict
and transitional camlp5 in one go. His answer is the new release
6.04:

    * [01 Mar 12] Added option -name in configure to change command name
      useful to have transitional and strict versions installed with
      different names. Default: camlp5.
    * [01 Mar 12] The default mode at configuration time is now 'strict'.

Bye,

Hendrik