> Von: Gerd Stolpmann <[EMAIL PROTECTED]>
> 
> 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

It lists 126 different names staring with unix_, even the 
unix_string_of_inet_addr is there:

[EMAIL PROTECTED]:~/godi-rocketboost-20080630/run/ocamlrun-3.09.3$ sed -e 
'/"unix_/! d' -e  's/[^"]*"\(unix_[^ ]*\)".*/\1/' otherlibs/unix/unix.ml
unix_error_message
unix_environment
unix_putenv
unix_execv
unix_execve
unix_execvp
unix_execvpe
unix_fork
[.....]
unix_string_of_inet_addr
[....]
unix_getaddrinfo
unix_getnameinfo
unix_tcgetattr
unix_tcsetattr
unix_tcsendbreak
unix_tcdrain
unix_tcflush
unix_tcflow
unix_setsid

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

The GNU sed is used:

[EMAIL PROTECTED]:~/godi-rocketboost-20080630/run/ocamlrun-3.09.3$ sed --version
GNU sed Version 4.1.5
Copyright (C) 2003 Free Software Foundation, Inc.
(Der folgende Text ist eine nicht überprüfte Übersetzung, die zur
 Information dient;  in rechtlichen Fragen ist immer das englische
 Original ausschlaggebend)

Dieses Program ist freie Software; In den Quelldateien können Sie die
Bedingungen für die Weitergabe nachlesen.
Es gibt KEINE GARANTIE; nicht einmal die implizite Garantie der
MARKTFÄHIGKEIT oder der ERFÜLLUNG EINES BESTIMMTEN ZWECKES.


I am very thankful for your help. But I can't read your answer sooner than 
tomorrow afternoon. Have to go to bed, get some sleep.


Kind regards
Michael Krauss
-- 
Psssst! Schon vom neuen GMX MultiMessenger gehört? Der kann`s mit allen: 
http://www.gmx.net/de/go/multimessenger

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

Reply via email to