[PPL-devel] Checking the distribution

[Roberto Bagnara]

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