I thus consider this bug closed. I will close the corresponding entry in the BTS in a few days.
Cheers. ----- Forwarded message from Gerd Stolpmann <[EMAIL PROTECTED]> ----- Date: Fri, 27 May 2005 11:38:31 +0200 From: Gerd Stolpmann <[EMAIL PROTECTED]> To: Stefano Zacchiroli <[EMAIL PROTECTED]> Subject: Re: camlp4's META and modules Token, Pcaml Am Freitag, den 27.05.2005, 11:22 +0200 schrieb Stefano Zacchiroli: > On Fri, May 27, 2005 at 11:14:42AM +0200, Gerd Stolpmann wrote: > > I don't understand this bug report (and the suggested patch). > > gramlib.cma has only references to the stdlib and includes Token and > > Pcaml. Sorry, Pcaml is not contained. But it also not needed by gramlib. Token is included. > > So how do you explain the following behaviour: > > $ cat a.ml > ignore Pcaml.syntax_name > $ ocamlfind ocamlc -package camlp4.gramlib -linkpkg a.ml > Error while linking a.cmo: Reference to undefined global `Pcaml' > $ ocamlfind ocamlc -package camlp4.gramlib -linkpkg camlp4.cma a.ml > $ > > ? > > Note that I'm not sure that this is a bug either, I just want to know > how is ocamlfind supposed to be invoked when using Pcaml and/or Token. And what does this prove? AFAIK, Pcaml is the anchor module for syntax extensions. It is a preloaded part of the camlp4 binary. One never does -linkpkg for a syntax extension, because the extensions are dynamically loaded into camlp4. The only point I see is that one cannot emulate mkcamlp4. But that would be a new feature, and not a bug. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany [EMAIL PROTECTED] http://www.gerd-stolpmann.de ------------------------------------------------------------ ----- End forwarded message ----- -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!-
signature.asc
Description: Digital signature