[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#467563: camlp5 strict mode?



Hi,
I'm sorry but I do not see an answer to that question in the thread: Why do we keep a camlp5 in transitionnal mode ?

For packages, Coq and ledit support strict mode. The only remaining question is about ulex.

Pierre

Le 28 févr. 12 à 23:16, Hendrik Tews a écrit :

Hi,

I looked at how camlp5 is compiled and I believe to build
transitional _and_ strict camlp5 executables and libraries from
one source package will require quite a bit of work. The reason
is that the names of executables and libraries are hardcoded in
the makefiles and that these names are identical for strict and
transitional mode.

One way to work around this would be that the build target in
rules does:

 configure -strict
 make world.opt
 rename all executables and libraries

 make clean
 configure -transitional
 make world.opt


Everything would of course be much simpler, if one could build
the strict camlp5 binary package from a different source package,
say camlp5-strict, which of course shares the upstream sources
with the source package for transitional camlp5.

Bye,

Hendrik



--
To UNSUBSCRIBE, email to debian-ocaml-maint-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: [🔎] 20301.21069.854276.618387@blau.inf.tu-dresden.de">http://lists.debian.org/[🔎] 20301.21069.854276.618387@blau.inf.tu-dresden.de





Reply to: