Checking the distribution

14 Oct
2001
14 Oct
'01
10:02 p.m.
Dear all,
in the directory
/opt/ppl-distrib
on spartacus you will find the experimental tarballs for PPL version 0.1. Please get one, unpack it, and install it following the instructions in the INSTALL file. To test the library you could copy one of the files in the `tests` directory to, say, /tmp and then try compiling it and executing it. Things should be more exciting if you define NOISY to 1. Let me know if you have problems. Ciao,
Roberto
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
8771
Age (days ago)
8771
Last active (days ago)
0 comments
1 participants
participants (1)
-
Roberto Bagnara