Re: [Caml-list] ocamlc compiles hello world, ocamlopt not

[Gerd Stolpmann <info@gerd-stolpmann.de>]

Am Donnerstag, den 10.01.2013, 15:48 +0100 schrieb r0ller:
> Hi Gerd,
> 
> Thanks for the quick answer! Please, find the output of nm attached -for the first try, size limit was exceeded, hopefully now it'll get through as attachment.

Interesting. I guess you use an ELF-based system (Minix-3.2)? If not it
could be a limitation of a.out.

Another theory: the symbol names coming from assembler sources seem to
always have a leading underscore, which seems to have been auto-added by
the assembler. This is a very old convention you don't find on modern OS
anymore, so it could be that this is the source of the problem. See
http://stackoverflow.com/questions/2627511/why-do-c-compilers-prepend-underscores-to-external-names,
but pay attention to the fact that at some day the underscore was
handled differently, and was used for internal symbols. So what could
have happened: The assembler still thinks that symbols from the C
compiler are prefixed with an underscore, but this is in fact not true.
This would be a problem of the installed compiler toolchain. Maybe you
do not use the right assembler matching the C compiler?

Gerd




> Thanks&regards,
> r0ller
> 
> Gerd Stolpmann <info@gerd-stolpmann.de> írta:
> >Am Donnerstag, den 10.01.2013, 14:57 +0100 schrieb r0ller@freemail.hu:
> These errors would mean that stdlib.a and libasmrun.a do not contain the
> symbols they are supposed to contain.
> What's the output of
> 
> nm /usr/local/lib/ocaml/libasmrun.a?
> You should normally find here the missing symbols the linker is
> complaining about.
> 
> Gerd
> 
> ------------------------------------------------------------>
> Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de>
> Creator of GODI and camlcity.org.>
> Contact details:        http://www.camlcity.org/contact.html>
> Company homepage:       http://www.gerd-stolpmann.de>
> *** Searching for new projects! Need consulting for system>
> *** programming in Ocaml? Gerd Stolpmann can help you.>
> ------------------------------------------------------------>
> >
> 
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
*** Searching for new projects! Need consulting for system
*** programming in Ocaml? Gerd Stolpmann can help you.
------------------------------------------------------------