[PPL-devel] running aclocal fails on ppl 0.11.2 - ppl_interface_instantiations.m4 does not exist

[Sardan Alexandru Cezar-B41700]

Hi Roberto,

You are right aclocal works fine. I was mislead by the fact that I
was running aclocal and autoreconf at the same time. But the problem
still persists.

The way I'm doing it is:

	$ cd ppl-0.11.2/
	$ aclocal autoreconf --verbose  --install --force --exclude=autopoint -I $(pwd)/interfaces/ -I $(pwd)/m4/

This is when I get the error:
	aclocal: /home/alex/src/ppl-0.11.2/interfaces/ppl_interface_generator_common_dat.m4:33: file `ppl_interface_instantiations.m4' does not exist

If I exclude the interfaces folder from the update list, everything is 
well. But shouldn't the *.m4 files in that folder be updated as well?

I am actually trying to build GCC 4.7.2 with Graphite loop optimization
support, and ppl 0.11.2 is the FSF recommended version in the GCC 4.7.2
prerequisites.

Kind regards,
Alex

> -----Original Message-----
> From: Roberto Bagnara [mailto:bagnara at cs.unipr.it]
> Sent: Wednesday, May 22, 2013 2:26 PM
> To: The Parma Polyhedra Library developers' list
> Cc: Sardan Alexandru Cezar-B41700; Udma Catalin-Dan-B32721
> Subject: Re: [PPL-devel] running aclocal fails on ppl 0.11.2 -
> ppl_interface_instantiations.m4 does not exist
> 
> 
> Hi Alex.
> 
> On 05/22/13 11:11, Sardan Alexandru Cezar-B41700 wrote:
> > The thing is that configure is not being run because aclocal fails
> while
> > trying to generate configure.
> >
> > In my case the command sequence is: aclocal; autoreconf; configure.
> >
> > Yocto needs to reconfigure to add some parameters to the configure
> script
> > (eg: "--with-libtool-sysroot" that tells libtool to prefix library
> > references with the path to the sysroot).
> >
> > Is there any way I can generate ppl_interface_instantiations.m4 before
> > running aclocal?
> 
> I am in a hurry now, but I am not able to reproduce the problem.
> I mean:
> 
> $ cd /tmp
> $ wget http://bugseng.com/products/ppl/download/ftp/releases/0.11.2/ppl-
> 0.11.2.tar.gz
> ...
> $ tar zxf ppl-0.11.2.tar.gz
> $ cd ppl-0.11.2/
> $ aclocal
> $
> 
> By the way, do you have a strong reason to use such an old version of
> PPL?
> Kind regards,
> 
>    Roberto
> 
> >> -----Original Message-----
> >> From: Roberto Bagnara [mailto:bagnara at cs.unipr.it]
> >> Sent: Wednesday, May 22, 2013 11:34 AM
> >> To: The Parma Polyhedra Library developers' list
> >> Cc: Sardan Alexandru Cezar-B41700; Udma Catalin-Dan-B32721
> >> Subject: Re: [PPL-devel] running aclocal fails on ppl 0.11.2 -
> >> ppl_interface_instantiations.m4 does not exist
> >>
> >> On 05/22/13 09:34, Sardan Alexandru Cezar-B41700 wrote:
> >>> Hello,
> >>
> >> Hi Alex, thanks for the report.
> >>
> >>> I'm trying to integrate ppl 0.11.2 into the Yocto build environment,
> >> for use as a backend for CLooG.
> >>> While running aclocal I get the following error:
> >>>
> >>> 	NOTE: Executing ACLOCAL="aclocal --system-acdir=/home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-
> >> r0/ppl-0.11.2/aclocal-copy/ --	automake-acdir=/home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/sysroots/x86_64-
> linux/usr/share/aclocal-
> >> 1.12" autoreconf --verbose --install --force --exclude=autopoint -I
> >> /home/alex/sdk/sdk-devel/build_p1021rdb_release/tmp/work/x86_64-
> >> linux/ppl-native/0.11.2-r0/ppl-0.11.2/interfaces/ -I
> /home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-
> >> r0/ppl-0.11.2/m4/
> >>> 	autoreconf: Entering directory `.'
> >>> 	autoreconf: configure.ac: not using Gettext
> >>> 	autoreconf: running: aclocal --system-acdir=/home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-
> >> r0/ppl-0.11.2/aclocal-copy/ --automake-acdir=/home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/sysroots/x86_64-
> linux/usr/share/aclocal-
> >> 1.12 -I /home/alex/sdk/sdk-
> devel/build_p1021rdb_release/tmp/work/x86_64-
> >> linux/ppl-native/0.11.2-r0/ppl-0.11.2/interfaces/ -I
> /home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-
> >> r0/ppl-0.11.2/m4/ -I /home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-
> >> r0/ppl-0.11.2/interfaces/ -I /home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-
> >> r0/ppl-0.11.2/m4/ --force -I m4
> >>> 	aclocal: error: /home/alex/sdk/sdk-
> >> devel/build_p1021rdb_release/tmp/work/x86_64-linux/ppl-native/0.11.2-
> >> r0/ppl-0.11.2/interfaces/ppl_interface_generator_common_dat.m4:33:
> file
> >> 'ppl_interface_instantiations.m4' does not exist
> >>> 	autoreconf: aclocal failed with exit status: 1
> >>> 	ERROR: autoreconf execution failed.
> >>>
> >>> I'm using the release tarball from
> >>> http://bugseng.com/products/ppl/download/ftp/releases/0.11.2/ppl-
> 0.11.
> >>> 2.tar.gz
> >>>
> >>> Shouldn't ppl_interface_instantiations.m4 be automatically generated?
> I
> >> also tried excluding the interfaces folder but with no success.
> >>
> >> It should indeed.  Can you please let us have the config.log file
> >> generated by the configure process?
> >> Kind regards,
> >>
> >>    Roberto
> >>
> >> --
> >>      Prof. Roberto Bagnara
> >>
> >> Applied Formal Methods Laboratory - University of Parma, Italy
> >> mailto:bagnara at cs.unipr.it
> >>                               BUGSENG srl - http://bugseng.com
> >>                               mailto:roberto.bagnara at bugseng.com
> >
> >
> > _______________________________________________
> > PPL-devel mailing list
> > PPL-devel at cs.unipr.it
> > http://www.cs.unipr.it/mailman/listinfo/ppl-devel
> >
> 
> 
> --
>      Prof. Roberto Bagnara
> 
> Applied Formal Methods Laboratory - University of Parma, Italy
> mailto:bagnara at cs.unipr.it
>                               BUGSENG srl - http://bugseng.com
>                               mailto:roberto.bagnara at bugseng.com