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
6277
Age (days ago)
6278
Last active (days ago)
1 comments
2 participants
participants (2)
-
David Monniaux -
Roberto Bagnara