Am Montag, den 24.11.2008, 19:53 +0100 schrieb Michael Krauss:
> > Von: Gerd Stolpmann <[EMAIL PROTECTED]>
> > 
> > > [EMAIL PROTECTED]:~/godi-rocketboost-20080630$
> > run/ocamlrun-3.09.3/byterun/ocamlfatrun godi-tools-boot/boot_console
> > > Fatal error: unknown C primitive `unix_inet_addr_of_string'
> > 
> > What's in run/ocamlrun-3.09.3/byterun/primitives?
> 
> I contains 313 lines. But unix_* is not among them. I am insolent and append 
> the whole file.

I think we are very close to the root of the problem. What does this
output?

cd run/ocamlrun-3.09.3
sed -e '/"unix_/! d' -e  's/[^"]*"\(unix_[^ ]*\)".*/\1/' otherlibs/unix/unix.ml

Could be that this sed expression does not work under Solaris.

Gerd

> 
> Kind regards
> Michael Krauss
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
[EMAIL PROTECTED]          http://www.gerd-stolpmann.de
Phone: +49-6151-153855                  Fax: +49-6151-997714
------------------------------------------------------------


_______________________________________________
Godi-list mailing list
[email protected]
https://godirepo.camlcity.org/mailman/listinfo/godi-list

Reply via email to