Re: [Caml-list] Manually linking generated native code

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

[-- Attachment #1.1: Type: text/plain, Size: 1685 bytes --]

Am Donnerstag, den 19.01.2017, 10:44 +0100 schrieb Christoph Höger:
> Dear all,
> 
> consider a simple test program:
> 
>   let _ = Printf.printf "Hello world!\n"
> 
> I can generate the relevant assembly just fine, e.g.:
> 
> ocamlopt -dstartup -S test.ml
> gcc -c a.out.startup.s -c
> 
> But I cannot link it:
> 
> gcc a.out.startup.o -L$(ocamlc -where) -lasmrun_shared
> ....
> a.out.startup.o(.data+0x6e8): error: undefined reference to
> 'camlStd_exit__frametable'
> collect2: Fehler: ld gab 1 als Ende-Status zurück
> distcc[9960] ERROR: compile (null) on localhost failed
> 
> It seems that the whole Pervasives is missing (which is kind of
> expected). 
> 
> How do I link it, manually? Where are the relevant object files?
There's stdlib.a in the OCaml library directory.
This is not the only problem with your approach. The OCaml linker
generates a number of functions that are global to the whole OCaml
program (in particular currying helpers). These are first known at link
time and thus generated that late. AFAIK you cannot generate these
functions outside the linker step. 
The only official way how to turn OCaml code into a linkable object is
described here: http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#s
%3Aembedded-code
Gerd
> > thanks,> 
> Christoph> 
> 

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------



[-- Attachment #1.2: Type: text/html, Size: 2246 bytes --]

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 473 bytes --]