From: Andre Nathan <andre@digirati.com.br>
To: "Jérémie Dimino" <jeremie@dimino.org>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Building a camlp4 toplevel with oasis/ocamlbuild
Date: Tue, 20 Mar 2012 11:11:46 -0300 [thread overview]
Message-ID: <1332252706.31500.5.camel@andre> (raw)
In-Reply-To: <20120319214534.33a8a89c@aurora>
Thanks a lot.
On Mon, 2012-03-19 at 21:45 +0100, Jérémie Dimino wrote:
> Le Mon, 19 Mar 2012 15:40:40 -0300,
> Andre Nathan <andre@digirati.com.br> a écrit :
>
> > $ ./ospec.byte
> > Fatal error: exception Symtable.Error("Printexc")
> >
> > Can anyone give me a hand here?
>
> It is because ospec has not be linked with the Printexc module. Since
> you define a library "ospec" and you use it for the executable "ospec",
> it will be linked against "ospec.cma", and not all the .cmo as you did
> before. OCaml remove unused units from ".cma" files passed on the
> command line when linking, it only keeps units reachable from
> ".cmo" files. Printexc has been removed because it was not used. To
> prevent this behavior you must pass the "-linkall" switch (note that
> you should always use it when you use dynlink).
>
> Cheers,
>
prev parent reply other threads:[~2012-03-20 14:11 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-03-19 18:40 Andre Nathan
2012-03-19 20:45 ` Jérémie Dimino
2012-03-20 14:11 ` Andre Nathan [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=1332252706.31500.5.camel@andre \
--to=andre@digirati.com.br \
--cc=caml-list@yquem.inria.fr \
--cc=jeremie@dimino.org \
/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