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

[Sardan Alexandru Cezar-B41700]

Hi Roberto,

Thank you very much for your reply.

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?

Kind regards,
Alex

--
Alexandru-Cezar Sărdan
Freescale Semiconductor Romania SRL
45, Tudor Vladimirescu Street
Tati Business Center
Bucharest 050881, Romania
Phone:    +40 21 3052051
E-mail: alexandru.sardan at freescale.com 



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