3 Nov
2008
3 Nov
'08
8:53 a.m.
In utils/timings.cc the exit() function is used. There should be a #include <stdlib.h> at the beginning. (Compilation fails on Ubuntu 8.10)
--
CNRS / VERIMAG équipe synchrone http://www-veri.imag.fr/~monniaux/
4 Nov
4 Nov
9 a.m.
David Monniaux wrote:
In utils/timings.cc the exit() function is used. There should be a #include <stdlib.h> at the beginning. (Compilation fails on Ubuntu 8.10)
Hi David,
yes, this was fixed long ago. By the way, in a few hours you should be able to download PPL 0.10. 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
6193
Age (days ago)
6194
Last active (days ago)
1 comments
2 participants
participants (2)
-
David Monniaux -
Roberto Bagnara