Gerd Stolpmann schrieb:
>> stdlib="$(shell ocamlc -where)"
>
> No, this is a shell script not a makefile.

Ah, yes, I got confused by the fact that the code in quotes ended up
verbatim in the generated Makefile.conf. Using $(shell ocamlc -where)
in the Makefile might make this shell-independent by offloading the
work to GNU make.
 
> It is very strange that these Solaris problems exist, because I
> explicitly tested GODI on (Open)Solaris only a few months ago.

Unlike Solaris, OpenSolaris uses ksh93 as the system shell:

http://hub.opensolaris.org/bin/view/Project+ksh93-integration/WebHome

- Florian

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

Reply via email to