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
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/6xr4xcy15w....@blau.inf.tu-dresden.de
