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
------------------------------------------------------------