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

Roberto Bagnara bagnara at cs.unipr.it
Thu May 23 12:07:11 CEST 2013 

Hello Alex.

On 05/22/13 14:11, Sardan Alexandru Cezar-B41700 wrote:
> 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 unable to reproduce your observations.  Of course, in order to
`autoreconf' such an old version of the PPL I had to downgrade the
autotools, but I only get innocuous warnings.
Here is what I did:

$ cd /tmp/test
$ wget ...
...
$ tar zxf automake-1.11.1.tar.gz
$ tar zxf autoconf-2.68.tar.gz
$ tar zxf libtool-2.4.tar.gz
$ export PATH=/tmp/test/bin:$PATH
$ cd autoconf-2.68/
$ ./configure --prefix=/tmp/test
$ make
$ make install
$ cd ..
$ cd automake-1.11.1/
$ ./configure --prefix=/tmp/test
$ make
$ make install
$ cd ..
$ cd libtool-2.4/
$ ./configure --prefix=/tmp/test
$ make
$ make install
$ cd ..
$ which autoconf
/tmp/test/bin/autoconf
$ which automake
/tmp/test/bin/automake
$ which libtool
/tmp/test/bin/libtool
$ tar zxf ppl-0.11.2.tar.gz
$ cd ppl-0.11.2
$ autoreconf

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

They are wrong: my advice is to pick the very latest version, unless
they have hardcoded version checks that prevent you from doing that.
Kind regards,

   Roberto

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

More information about the PPL-devel mailing list