English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Building a custom compiler environment
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-15 (04:10)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Building a custom compiler environment
On Tue, 2005-11-15 at 11:36 +1300, Jonathan Roewen wrote:
> I also need to ask: why are the primitives built INTO the compiler? Is
> there any sound explanation for this?
> One reason I could think of is to force the linker to keep those
> symbols in the final output file (when using -output-obj). But if
> they're not used, then why do they need to be present? For Dynlink to
> work correctly?
> This seems to be the -one- thing to make building my custom compiler
> environment not work without requiring a customised ocamlc (with less
> primitives builtin).

Perhaps: as a workaround make a dummy object file with the required
symbols in it and link it in .. since you're not using them,
it doesn't matter how you define them .. :)

John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net