[PPL-devel] Problem installing ppl-0.9 in ubuntu 8.10 with ciao and swi prolog interfaces

Roberto Bagnara bagnara at cs.unipr.it
Wed Jan 21 19:35:01 CET 2009


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 at cs.unipr.it



More information about the PPL-devel mailing list