[PPL-devel] Re: Source Code

[Roberto Bagnara]

Sriram Sankaranarayanan wrote:
> Attached file lsting-src.tgz contains the source code for the library.
> Pls. direct any questions to me. It is not a sophisticated distribution.
> The makefile should work if you just edit the INCLUDE and GLBLIBS variables to
> point them to the right location for the PPL and GMP libraries. 

Dear Sriram,

sorry for the delay in answering your message (I was attending a conference
in France).  I have followed your instructions, but compilation immediately
fails as follows:

$ make
bison -d ltrtest.y
ltrtest.y:245.1: syntax error, unexpected "|"
ltrtest.y:250.1: syntax error, unexpected "|"
make: *** [ltrtest.tab.c] Error 1

The version of bison I am using is

$ bison --version
bison (GNU Bison) 1.875
Written by Robert Corbett and Richard Stallman.

Copyright (C) 2002 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

> The examples are already available from my previous distribution. I have
> generated the timings and apart from that one case, the >= 3600s stand.
> It did make a difference in many low-dimensional examples. But the +s and
> -s stay unchanged (as expected). Will ping you when I update my page.
> 
> Please let me know if everything works.

OK.  I downloaded the examples from
http://www.stanford.edu/~srirams/Software/Sting/lsting-examples.tgz
and I look forward to be able to try them.

> I will also send you a petri net analyzer that I built over PPL 
> once I am done with a submission that is due next week.

Great!
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