From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 760537F1DD for ; Thu, 10 Jan 2013 17:08:08 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.8 as permitted sender) identity=helo; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak8BACfm7lDU4xEIk2dsb2JhbABEgy6DC6RQkmIWDgEBAQEJCQsJFAMkgh4BAQQBIwRHCwULCxoCCR0CAkUSBhMJCYd1AwkKCKRdiQoDhhqBIopQdgqDGoETA41niUGET41UgWY X-IronPort-AV: E=Sophos;i="4.84,444,1355094000"; d="scan'208";a="189317366" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Jan 2013 17:08:07 +0100 Received: from office1.lan.sumadev.de (dslb-094-219-213-010.pools.arcor-ip.net [94.219.213.10]) by mrelayeu.kundenserver.de (node=mrbap2) with ESMTP (Nemesis) id 0ME41n-1TlLFi3im7-00H9fY; Thu, 10 Jan 2013 17:08:06 +0100 Received: from [192.168.5.106] (dslb-094-219-213-010.pools.arcor-ip.net [94.219.213.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 7F795C00CF; Thu, 10 Jan 2013 17:08:05 +0100 (CET) From: Gerd Stolpmann To: r0ller Cc: caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Date: Thu, 10 Jan 2013 17:08:28 +0100 Message-ID: <1357834108.3150.198.camel@thinkpad> Mime-Version: 1.0 X-Mailer: Evolution 2.28.3 Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:vb6iAAp0Dco8YSPDCRgMH3e6U8pMgaxucP/9/yuhkHk /pEPSBKyT3zkghhSCMFZyN/1d7bqLeGmxXkIEHFnDrzmKWkMpo 34xxtGmLPSCimul28e+WHeEbnlga9Ri/pXsTrdQfkAiJlTO261 rMz/NWo+uMe5HIu2T/TutTY+MdrxKnFfjsfitSc/WGCbJqmbEd 4aPQlqFVlg/GC4d68Ng709gMPWP6TlJy/PxYyesXHbC3sMrm3V ucaXtykbVMigUudIASmJOApcg3oSI/hakZnH26fBq0x8GmgOwM 0bQDkG3bNjGKhoWpa08BfGO7jhbF4I7FggoaTCCCZskirZXwUM mi5eD8GW2Oa+EmGcBBMZDwCGyCqPsuddcAyRKGDRn Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not Am Donnerstag, den 10.01.2013, 15:48 +0100 schrieb r0ller: > Hi Gerd, >=20 > 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-under= scores-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®ards, > r0ller >=20 > Gerd Stolpmann =C3=ADrta: > >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 >=20 > nm /usr/local/lib/ocaml/libasmrun.a? > You should normally find here the missing symbols the linker is > complaining about. >=20 > Gerd >=20 > ------------------------------------------------------------> > 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.> > ------------------------------------------------------------> > > >=20 >=20 > --=20 > 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 --=20 ------------------------------------------------------------ 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. ------------------------------------------------------------