Under Solaris: GHC 6.10.2 Release Candidate 1

[Christian Maeder]

Duncan Coutts wrote:
> On Tue, 2009-03-17 at 11:09 +0100, Christian Maeder wrote:
>> ./bootstrap.sh: !: not found
> 
>> Under Solaris sh is not bash!
> 
> Indeed.
> 
> According to the OpenGroup that syntax should be fine:
> http://www.opengroup.org/onlinepubs/009695399/utilities/xcu_chap02.html#tag_02_09_02
> 
> It works for me under Solaris 10. Perhaps Solaris 9 or older do not have
> a standard compliant /bin/sh program. What do you suggest we use instead
> as a workaround?

The Isabelle people use "#!/usr/bin/env bash" as first line.

Btw I had this problem under Solaris 10 (but I don't know how it was
installed).

Cheers Christian