[PPL-devel] PPL requires a recent version of m4

[Roberto Bagnara]

On 06/19/12 20:43, Jeroen Demeyer wrote:
> Dear PPL developers,
>
> The PPL library requires a recent version of GNU m4, but this isn't
> documented anywhere as far as I can tell, certainly not here:
> http://bugseng.com/products/ppl/requirements
> http://bugseng.com/products/ppl/portability

Dear Jeroen,

thanks for the report.  You are right, of course, about
the web page on PPL requirements: we will amend it.
The need for a recent version of M4 is documented in
README.configure, though.

> In particular, it fails to configure on OS X 10.4:
>
> $ ./configure
> checking build system type... powerpc-apple-darwin8.11.0
> checking host system type... powerpc-apple-darwin8.11.0
> [...]
> checking for GNU M4 that supports accurate traces... configure: error:
> no acceptable m4 could be found in $PATH.
> GNU M4 1.4.5 or later is required; 1.4.11 is recommended
>
> $ m4 --version
> GNU m4 1.4.2
>
>
> Do the m4-generated files depend on the architecture?  If not, you could
> simply ship them with PPL and not require m4.

They depend on the configure options used for building the PPL
from its sources.
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