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

[Roberto Bagnara]

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