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

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

Am 16.01.2013 09:56:55 schrieb(en) Francois Berenger:
> On 01/16/2013 05:02 PM, r0ller@freemail.hu wrote:
>> Hi All,
>> 
>> By the way, is there any doc available about porting ocaml (google  
>> didn't find any) or any hint on how to move forward? I'd really like  
>> to have the native compiler on minix too.
> 
> I think in the past it was possible to generate C code from OCaml  
> code.

There is no real C backend (and has never been). The only thing you can  
do is to embed bytecode in a C-friendly way (what -output-obj does).  
But it is still bytecode.

Gerd

> As I guess Minix have a C compiler, that would be a way out for you.
> 
> I can't find back, but I remember Richard W.M. Jones from Red Hat  
> posted about it on caml-list and keeps it somewhere.
> 
>> Thanks&regards,
>> r0ller
>> 
>> On Friday, January 11, 2013 5:23:54 PM UTC+1, r0l...@freemail.hu  
>> wrote:
>>> Hi again,
>>> 
>>> 
>>> 
>>> I forgot to mention that this result I got after gmake opt.
>>> 
>>> 
>>> 
>>> Regards,
>>> 
>>> r0ller
>>> 
>>> 
>>> 
>>> On Friday, January 11, 2013 5:13:56 PM UTC+1, r0l...@freemail.hu  
>>> wrote:
>>> 
>>>> 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
>> 
>> 
> 
> 
>-- 
> 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
------------------------------------------------------------