Am Montag, den 24.11.2008, 22:28 +0100 schrieb Michael Krauss: > > 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:
This means _this_ command works. I think there is some problem because of the Solaris heritage. bootstrap puts /usr/xpg4/bin into PATH. Can you try the sed command again with /usr/xpg4/bin/sed? If this fails, you may want to use the -prepend-path argument of bootstrap, like ./bootstrap -prepend-path /usr/local/bin ...more args... if GNU sed were in /usr/local/bin. I hope this fixes your problem then. Gerd > > [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 -- ------------------------------------------------------------ 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
