Re: [Gnu-arch-users] Re: tla-1.1 build failure solaris

[Tom Lord]

    > From: Stig Brautaset <address@hidden>

    > On Dec 18 2003, Neal wrote:
    > > > csh strikes again. Try this:

    > > > ../configure --config-shell=`which ksh` ..

    > > > Stig

    > > --config-shell doesn't seem to be an option, but I tried --with
    > > posix-shell=/usr/bin/bash.  This didn't help.  Same error.

    > Look again. It's there. --with-posix-shell decides which shell the
    > application should use (this is leftover since the larch days; it could
    > probably be removed now, as it is not used, AFAIK). On the other hand,
    > --config-shell specifies the shell used in the configure and build
    > process (i.e. the shell the makefiles invoke).

    > > Also, I'm not using csh.
    > > echo $SHELL
    > > /bin/bash

    > I bet /bin/sh is csh though. I don't think Make cares about what the
    > user's shell is.


Perhaps he wants

        `which ksh` ../configure --config-shell `which ksh`


I didn't try to pun the configure scripts so that they would work with
csh as well as sh up to the point where --config-shell is parsed.


-t