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

[Roberto Bagnara]

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