Re: [PPL-devel] Hi, the ppl from GIT does not have the 'configure' file.

On 08/10/12 09:39, Zell wrote:

I don't find 'configure' in your PPL. (downloaded by GIT) Is that normal?

Yes: see the section on "Using the Git Sources" in README.configure. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it