[PPL-devel] ppl-0.11.1pre2 fails configure instantly on Solaris
bagnara at cs.unipr.it
Tue Dec 14 18:59:04 CET 2010
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
> 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
mailto:bagnara at cs.unipr.it
More information about the PPL-devel