ppl-0.11.1pre2 fails configure instantly on Solaris
[titan] ./configure --prefix=/usr/local --with-libgmpxx-prefix=/usr/local \
--with-cc=/opt/csw/gcc4/bin/gcc --with-cxx=/opt/csw/gcc4/bin/g++ \ --enable-interfaces=cxx\ c --enable-arch=pentiumpro ./configure: syntax error at line 13710: `sicstus_prolog_base=$' unexpected [titan]
This, again, is due to the use of /bin/sh as the preferred shell in the configure script when in fact you really want /bin/bash. Same with the scripts in the utils dir. -- Dennis Clarke dclarke@opensolaris.ca <- Email related to the open source Solaris dclarke@blastwave.org <- Email related to open source for Solaris
On 12/12/10 22:08, Dennis Clarke wrote:
[titan] ./configure --prefix=/usr/local --with-libgmpxx-prefix=/usr/local \
--with-cc=/opt/csw/gcc4/bin/gcc --with-cxx=/opt/csw/gcc4/bin/g++ \ --enable-interfaces=cxx\ c --enable-arch=pentiumpro ./configure: syntax error at line 13710: `sicstus_prolog_base=$' unexpected [titan]
This, again, is due to the use of /bin/sh as the preferred shell in the configure script when in fact you really want /bin/bash.
No, actually the configure script is meant to be portable. We will work on it during the weekend.
Same with the scripts in the utils dir.
We will also look at that ones. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
participants (2)
-
Dennis Clarke -
Roberto Bagnara