Am Donnerstag, den 29.10.2009, 17:50 +0100 schrieb Florian Hars:
> 1.
> If I try to compile GODI on Solaris, it first fails when
> godi-ocaml/work/ocaml/build/partial-install.sh tries to touch
> not_installed=$PWD/_build/not_installed because the directory does not
> exist. Manually performing
> mkdir -p ${HOME}/godi/build/godi/godi-ocaml/_build
> after it started to compile godi-ocaml fixes this.
Looks like $PWD is not set by /bin/sh. It is the old value from the last
non-/bin/sh shell.
This is a problem in ocaml itself. Please report on the ocaml bug
tracker.
> 2.
> Then it fails building
> build/godi/godi-tools/work/godi-tools-2.0.11/console-src/godi-digest:
>
> if [ -n "/caml" ]; then \
> cp "/caml/config.h" "caml_config.h"; \
> else \
> cp `ocamlc -where`/caml/config.h caml_config.h; \
> fi
> cp: cannot access /caml/config.h
> gmake[9]: *** [caml_config.h] Error 2
>
> The culprit is line 184 in
> build/godi/godi-tools/work/godi-tools-2.0.11/console-src/configure
> which says
>
> stdlib="$(ocamlc -where)"
>
> when it should probably say
>
> stdlib="$(shell ocamlc -where)"
No, this is a shell script not a makefile.
I guess it is again because Sun still ships a /bin/sh that is not
POSIX-compliant (which is really embarrassing for a company with such a
good tech reputation). That means $(...) just does not work (as $PWD).
So I think
stdlib=`ocamlc -where`
would be the right workaround for Solaris (don't want to call this a
"fix").
> ocamlc is not a make function, and don't ask me why this works with the
> same version 3.81 of GNU make on linux... (actually, I found the reason:
> if I explicitly set SHELL in the Makefile to point to an instance of bash,
> it compiles with stdlib="$(ocamlc -where)" on solaris, too).
>
> But of course I still can not install GODI, since the build process will
> clean out my fixed configure and Makefile.conf and recompile from the oiginal
> buggy source:
>
> ### Building godi-tools
> ===> Cleaning for godi-tools-2.0.11
> => Checksum OK for godi-tools-2.0.11.tar.gz.
> ===> Extracting for godi-tools-2.0.11
>
>
> - Florian.
Yes, this is difficult to do. I have always a lot of fun when I upgrade
parts of the bootstrap process...
I try to release fixes for two problems soon, maybe by Monday.
It is very strange that these Solaris problems exist, because I
explicitly tested GODI on (Open)Solaris only a few months ago. But
maybe /bin/sh was already a bit more capable than the
traditional /bin/sh - there is an OpenSolaris project to
upgrade /bin/sh.
Gerd
--
------------------------------------------------------------
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 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
