14 Dec
2010
14 Dec
'10
5:59 p.m.
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