From: Alessandro Baretta <alex@baretta.com>
To: Yamagata Yoriyuki <yoriyuki@mbg.sphere.ne.jp>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Question about linking and module initialization
Date: Sun, 15 Sep 2002 19:34:18 +0200 [thread overview]
Message-ID: <3D84C49A.1030507@baretta.com> (raw)
In-Reply-To: <20020914.185852.74758150.yoriyuki@mbg.sphere.ne.jp>
Yamagata Yoriyuki wrote:
>>$ ocamlc -o app app.cma
>
>
> In this case, modules only used from the main program are linked.
> Since you don't provide anything except app.cma, I guess nothing is
> linked.
Ah, this is the point. I did not realize that modules in a
library would be selected at linking time by ocamlc.
> Initialization is done by the linking order of modules in
> app.cma.
This is what I thought, but I did not realize that my
executable would be entirely empty of modules.
> Everything is explained in the ocamlc section of the manual.
I had read it already, but I happened to overlook the fact
that modules in libraries are linked only if referenced
somewhere in the cmo files.
Thank you very much.
Alex
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
prev parent reply other threads:[~2002-09-15 17:25 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-13 18:05 Alessandro Baretta
2002-09-14 9:58 ` Yamagata Yoriyuki
2002-09-15 17:34 ` Alessandro Baretta [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3D84C49A.1030507@baretta.com \
--to=alex@baretta.com \
--cc=caml-list@inria.fr \
--cc=yoriyuki@mbg.sphere.ne.jp \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).