Miky Zamalloa wrote:

I have succesfully installed PPL v0.9 several times in my ubuntu system with interfaces to ciao_prolog and swi_prolog. Now, I have just re-installed ubuntu (version 8.10), and want to install PPL 0.9 again but this time I am getting the following problem:

-------------------------------------------------------------------------- home-hp-root:/usr/local/src/ppl-0.9 [26]> ./configure --prefix=/usr/local --with-cflags=-I/home/mzamalloa/Systems/CiaoDE/ciao/include/LINUXi86/ --with-cxxflags=-I/home/mzamalloa/Systems/CiaoDE/ciao/include/LINUXi86/ --enable-interfaces=ciao_prolog,swi_prolog

... ... ...

home-hp-root:/usr/local/src/ppl-0.9 [27]> make make all-recursive make[1]: Entering directory `/usr/local/src/ppl-0.9' Making all in utils make[2]: Entering directory `/usr/local/src/ppl-0.9/utils' if g++ -DHAVE_CONFIG_H -I. -I. -I.. -W -Wall -g -O2 -MT timings.o -MD -MP -MF ".deps/timings.Tpo" -c -o timings.o timings.cc; \ then mv -f ".deps/timings.Tpo" ".deps/timings.Po"; else rm -f ".deps/timings.Tpo"; exit 1; fi

timings.cc: In function ‘void start_clock()’: timings.cc:53: error: ‘exit’ was not declared in this scope timings.cc: In function ‘void print_clock(std::ostream&)’: timings.cc:64: error: ‘exit’ was not declared in this scope make[2]: *** [timings.o] Error 1 make[2]: Leaving directory `/usr/local/src/ppl-0.9/utils' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/usr/local/src/ppl-0.9' make: *** [all] Error 2

home-hp-root:/usr/local/src/ppl-0.9 [28]> ------------------------------------------------------------------------

Any ideas?

Hi Miky, this is a known bug in PPL 0.9. I suggest you to upgrade to PPL 0.10: it solves all the problems of PPL 0.9 and is much better from several points of view. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it