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