Article View: fa.caml
Article #103Re: [Caml-list] ocamlc compiles hello world, ocamlopt not
From: r0ller
Date: Fri, 11 Jan 2013 16:13
Date: Fri, 11 Jan 2013 16:13
102 lines
4631 bytes
4631 bytes
Hi Xavier,
Thanks for the hint! I gave it a try and also with SYSTEM=bsd_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_minix in asmrun/i386.S but ended up in the same result:( Do you happen to know 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 with 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 signals_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 parsing.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 meta.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:
>
>
>
> > Minix3 is an ELF based system indeed. I asked the guys on the minix3 forum and one of the developers said that neither the default minix toolchain (clang) nor the minix port of gcc prepends leading underscores. However, he 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.
>
>
>
> Indeed, the "configure" script tries to guess this, among other
>
> platform dependencies.
>
>
>
> > If that's true, I'd need to recompile the ocaml package whilst trying to indicate somehow that the minix3 system does not need leading underscore prepending, right?
>
>
>
> Yes. For your first try, just manually edit the generated file
>
> config/Makefile so that it has
>
>
>
> ARCH=i386
>
> MODEL=default
>
> SYSTEM=linux_elf
>
>
>
> then do "make opt" and "make opt.opt" and see if it now works.
>
>
>
> If it does, you may want to investigate why the ./configure script
>
> guessed wrong on your Minix system. Running "sh -x ./configure"
>
> generates a useful trace.
>
>
>
> - Xavier Leroy
>
>
>
> --
>
> 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
Technical Details
Message-ID:
<7040befa-a99d-4fc7-86ff-9b70ea2174ef@googlegroups.com>Path:
arc1-ca.pugleaf.net!k2ni173qap.0!nntp.google.com!p13no1018749qai.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<fa.J86NbZyp4NcoVDLx3IIZPjh6Xsw@ifi.uio.no> <fa.cI6IwITMmpEcG/xX8jnbm1tXnWU@ifi.uio.no>Show Full Headers
Complete Article Headers
X-Google-Thread: c0fe4b917e,80f90091d91f8424
X-Google-Attributes: gidc0fe4b917e,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.224.207.66 with SMTP id fx2mr47415153qab.7.1357920836690;
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: arc1-ca.pugleaf.net!k2ni173qap.0!nntp.google.com!p13no1018749qai.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: fa.caml
Date: Fri, 11 Jan 2013 08:13:56 -0800 (PST)
In-Reply-To: <fa.cI6IwITMmpEcG/xX8jnbm1tXnWU@ifi.uio.no>
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: <fa.J86NbZyp4NcoVDLx3IIZPjh6Xsw@ifi.uio.no> <fa.cI6IwITMmpEcG/xX8jnbm1tXnWU@ifi.uio.no>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7040befa-a99d-4fc7-86ff-9b70ea2174ef@googlegroups.com>
Subject: Re: [Caml-list] ocamlc compiles hello world, ocamlopt not
From: r0ller@freemail.hu
Cc: caml-list@inria.fr
Injection-Date: Fri, 11 Jan 2013 16:13:56 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable