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 4CF007F1DD for ; Fri, 11 Jan 2013 17:13:59 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=pra; client-ip=209.85.214.187; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of r0ller@freemail.hu) identity=mailfrom; client-ip=209.85.214.187; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="r0ller@freemail.hu"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f187.google.com) identity=helo; client-ip=209.85.214.187; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="r0ller@freemail.hu"; x-sender="postmaster@mail-ob0-f187.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocCACk58FDRVda7k2dsb2JhbABEg0enTpJhCBYOAQEBAQkJCwkUBCOCHgEBAQQBAQFrCxALGA0hNAEFAQoSK4d0AQMPDJlYlAcBSgOHOpEmA4hhjkaNTD+EOA X-IronPort-AV: E=Sophos;i="4.84,452,1355094000"; d="scan'208";a="189521699" Received: from mail-ob0-f187.google.com ([209.85.214.187]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Jan 2013 17:13:57 +0100 Received: by mail-ob0-f187.google.com with SMTP id za17so958081obc.24 for ; Fri, 11 Jan 2013 08:13:56 -0800 (PST) Received: by 10.49.116.135 with SMTP id jw7mr14158424qeb.10.1357920836582; Fri, 11 Jan 2013 08:13:56 -0800 (PST) Path: glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: fa.caml Date: Fri, 11 Jan 2013 08:13:56 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=84.3.92.117; posting-account=1tym9AoAAABKxcWqTDQq8MFzsJ5_fvrj NNTP-Posting-Host: 84.3.92.117 References: User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-IP: 84.3.92.117 MIME-Version: 1.0 Message-ID: <7040befa-a99d-4fc7-86ff-9b70ea2174ef@googlegroups.com> From: r0ller@freemail.hu To: fa.caml@googlegroups.com Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not Hi Xavier, Thanks for the hint! I gave it a try and also with SYSTEM=3Dbsd_elf. Please= , find below the result of the latter (it's the same for linux_elf anyway).= I also tried another suggestion from Olivier Andrieu by introducing SYS_mi= nix in asmrun/i386.S but ended up in the same result:( Do you happen to kno= w how to proceed now? gmake runtimeopt gmake[1]: Entering directory `/home/r0ller/ocaml-4.00.1' cd asmrun; gmake all gmake[2]: Entering directory `/home/r0ller/ocaml-4.00.1/asmrun' DSYS_bsd_elf -o i386.o i386.S || \ { echo "If your assembler produced syntax errors, it is probably unhappy wi= th the"; echo "preprocessor. Check your assembler, or try producing i386.o = by hand."; exit 2; } DSYS_bsd_elf: not found If your assembler produced syntax errors, it is probably unhappy with the preprocessor. Check your assembler, or try producing i386.o by hand. gmake[2]: [i386.o] Error 2 (ignored) rm -f libasmrun.a ar rc libasmrun.a startup.o main.o fail.o roots.o globroots.o signals.o sig= nals_asm.o misc.o freelist.o major_gc.o minor_gc.o memory.o alloc.o compare= .o ints.o floats.o str.o array.o io.o extern.o intern.o hash.o sys.o parsin= g.o gc_ctrl.o terminfo.o md5.o obj.o lexing.o printexc.o callback.o weak.o = compact.o finalise.o custom.o unix.o backtrace.o natdynlink.o debugger.o me= ta.o dynlink.o i386.o ar: i386.o: no such file or directory gmake[2]: *** [libasmrun.a] Error 1 gmake[2]: Leaving directory `/home/r0ller/ocaml-4.00.1/asmrun' gmake[1]: *** [makeruntimeopt] Error 2 gmake[1]: Leaving directory `/home/r0ller/ocaml-4.00.1' gmake: *** [opt] Error 2 Thanks & regards, r0ller On Friday, January 11, 2013 10:56:51 AM UTC+1, Xavier Leroy wrote: > On 01/11/2013 10:28 AM, r0ller wrote: >=20 >=20 >=20 > > Minix3 is an ELF based system indeed. I asked the guys on the minix3 fo= rum and one of the developers said that neither the default minix toolchain= (clang) nor the minix port of gcc prepends leading underscores. However, h= e had a hint about checking if the ocaml package itself is trying to guess = during its build whether leading underscore prepending is done on the host = system or not. >=20 >=20 >=20 > Indeed, the "configure" script tries to guess this, among other >=20 > platform dependencies. >=20 >=20 >=20 > > If that's true, I'd need to recompile the ocaml package whilst trying t= o indicate somehow that the minix3 system does not need leading underscore = prepending, right? >=20 >=20 >=20 > Yes. For your first try, just manually edit the generated file >=20 > config/Makefile so that it has >=20 >=20 >=20 > ARCH=3Di386 >=20 > MODEL=3Ddefault >=20 > SYSTEM=3Dlinux_elf >=20 >=20 >=20 > then do "make opt" and "make opt.opt" and see if it now works. >=20 >=20 >=20 > If it does, you may want to investigate why the ./configure script >=20 > guessed wrong on your Minix system. Running "sh -x ./configure" >=20 > generates a useful trace. >=20 >=20 >=20 > - Xavier Leroy >=20 >=20 >=20 > --=20 >=20 > Caml-list mailing list. Subscription management and archives: >=20 > https://sympa.inria.fr/sympa/arc/caml-list >=20 > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >=20 > Bug reports: http://caml.inria.fr/bin/caml-bugs