running aclocal fails on ppl 0.11.2 - ppl_interface_instantiations.m4 does not exist
Hello,
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....
Shouldn't ppl_interface_instantiations.m4 be automatically generated? I also tried excluding the interfaces folder but with no success.
Thanks, 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@freescale.com
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....
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
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@freescale.com
-----Original Message----- From: Roberto Bagnara [mailto:bagnara@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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.... ... $ 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@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
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@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@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
PPL-devel mailing list PPL-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
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@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@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
PPL-devel mailing list PPL-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
Hello Roberto,
I ran autoreconf like you did and it works indeed.
The mistake I made was including the interfaces folder in the search directory for autoreconf (the "-I interfaces" parameter). That's because Yocto by default scans the current working dir (2 levels depth) for *.m4 files, and ads a "-I <directory with *.m4 file>" parameter to autoreconf command line.
Now I'm running autoreconf like this and everything works great. $aclocal autoreconf --verbose --install --force --exclude=autopoint -I m4
Thanks a lot for your help!
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@freescale.com
-----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Thursday, May 23, 2013 1:07 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
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@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@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
PPL-devel mailing list PPL-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
PPL-devel mailing list PPL-devel@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@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (2)
-
Roberto Bagnara -
Sardan Alexandru Cezar-B41700