
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