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 [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]

Reply via email to