Dear Sirs, I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local Output says I haven't GMP version 4.1.3 or later. I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version. tried setting CXX to c++ and CC to cc . Of sourse, I used the --enable-cxx option to configure gmp. GMP check is ok. Is there any way I could overcome this trouble? Thank you very much in advance for your attention. Kind regards, Antonio -- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C. Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63
On 04/04/13 14:13, Antonio Díaz Quintana wrote:
Dear Sirs, I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local Output says I haven't GMP version 4.1.3 or later. I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version. tried setting CXX to c++ and CC to cc . Of sourse, I used the --enable-cxx option to configure gmp. GMP check is ok. Is there any way I could overcome this trouble? Thank you very much in advance for your attention. Kind regards, Antonio
Dear Antonio, quite likely the problem is caused by an incompatibility introduced by GMP 5.1. This issue is already dealt with in the Git version of the PPL. The snapshot of PPL 1.1 available at http://bugseng.com/products/ppl/download/ftp/snapshots/ also contains the correction. Please let us know if this solves the problem for you. 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
On 04/04/13 18:07, Antonio Díaz Quintana wrote:
Hello again, Thank you for your prompt answer. Still, using the ppl-1.1pre8.tar leads to the same message: /checking for the GMP library version 4.1.3 or higher. // // configure: error: Cannot find GMP version 4.1.3 or higher.// /It also happens when I use the option --with-gmp-build=/opt/gmp-5.1.0 Antonio
Hi Antonio, we would need to see the `config.log' file that is generated by `configure'. Please send it (compressed) to ppl-devel@cs.unipr.it Kind regards, Roberto
El 04/04/2013 16:02, Roberto Bagnara escribió:
On 04/04/13 14:13, Antonio Díaz Quintana wrote:
Dear Sirs, I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local Output says I haven't GMP version 4.1.3 or later. I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version. tried setting CXX to c++ and CC to cc . Of sourse, I used the --enable-cxx option to configure gmp. GMP check is ok. Is there any way I could overcome this trouble? Thank you very much in advance for your attention. Kind regards, Antonio Dear Antonio,
quite likely the problem is caused by an incompatibility introduced by GMP 5.1. This issue is already dealt with in the Git version of the PPL. The snapshot of PPL 1.1 available at
http://bugseng.com/products/ppl/download/ftp/snapshots/
also contains the correction. Please let us know if this solves the problem for you. Kind regards,
Roberto
-- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C.
Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63
_______________________________________________ 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
Thank you again.. I changed the search order in $PATH... as it seemed I had two versions of g++, it was taking that of gnat. It worked... now I have to update M4... I will let you know if I find any other trouble and.. once I have everything I send to you the whole log. El 04/04/2013 18:48, Roberto Bagnara escribió:
On 04/04/13 18:07, Antonio Díaz Quintana wrote:
Hello again, Thank you for your prompt answer. Still, using the ppl-1.1pre8.tar leads to the same message: /checking for the GMP library version 4.1.3 or higher. // // configure: error: Cannot find GMP version 4.1.3 or higher.// /It also happens when I use the option --with-gmp-build=/opt/gmp-5.1.0 Antonio Hi Antonio,
we would need to see the `config.log' file that is generated by `configure'. Please send it (compressed) to ppl-devel@cs.unipr.it Kind regards,
Roberto
El 04/04/2013 16:02, Roberto Bagnara escribió:
On 04/04/13 14:13, Antonio Díaz Quintana wrote:
Dear Sirs, I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local Output says I haven't GMP version 4.1.3 or later. I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version. tried setting CXX to c++ and CC to cc . Of sourse, I used the --enable-cxx option to configure gmp. GMP check is ok. Is there any way I could overcome this trouble? Thank you very much in advance for your attention. Kind regards, Antonio Dear Antonio,
quite likely the problem is caused by an incompatibility introduced by GMP 5.1. This issue is already dealt with in the Git version of the PPL. The snapshot of PPL 1.1 available at
http://bugseng.com/products/ppl/download/ftp/snapshots/
also contains the correction. Please let us know if this solves the problem for you. Kind regards,
Roberto
-- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C.
Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63
_______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
-- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C. Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63
Dear Roberto, Please, find herein attached a bug found while compiling PPL. As regards the GMP stuff, it seems it's fixed, though I had to recompile once more with the flag -fexceptions and, following your instructions in ./configure output, updating m4. Any suggestion will be really appreciated. Antonio El 04/04/2013 18:48, Roberto Bagnara escribió:
On 04/04/13 18:07, Antonio Díaz Quintana wrote:
Hello again, Thank you for your prompt answer. Still, using the ppl-1.1pre8.tar leads to the same message: /checking for the GMP library version 4.1.3 or higher. // // configure: error: Cannot find GMP version 4.1.3 or higher.// /It also happens when I use the option --with-gmp-build=/opt/gmp-5.1.0 Antonio Hi Antonio,
we would need to see the `config.log' file that is generated by `configure'. Please send it (compressed) to ppl-devel@cs.unipr.it Kind regards,
Roberto
El 04/04/2013 16:02, Roberto Bagnara escribió:
On 04/04/13 14:13, Antonio Díaz Quintana wrote:
Dear Sirs, I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local Output says I haven't GMP version 4.1.3 or later. I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version. tried setting CXX to c++ and CC to cc . Of sourse, I used the --enable-cxx option to configure gmp. GMP check is ok. Is there any way I could overcome this trouble? Thank you very much in advance for your attention. Kind regards, Antonio Dear Antonio,
quite likely the problem is caused by an incompatibility introduced by GMP 5.1. This issue is already dealt with in the Git version of the PPL. The snapshot of PPL 1.1 available at
http://bugseng.com/products/ppl/download/ftp/snapshots/
also contains the correction. Please let us know if this solves the problem for you. Kind regards,
Roberto
-- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C.
Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63
_______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
-- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C. Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63
Hi Antonio. On 04/05/13 10:15, Antonio Díaz Quintana wrote:
Please, find herein attached a bug found while compiling PPL.
What do you mean by "bug"? I see you attached a 3 MB preprocessed source file (uncompressed, unfortunately).
As regards the GMP stuff, it seems it's fixed, though I had to recompile once more with the flag -fexceptions and, following your instructions in ./configure output, updating m4. Any suggestion will be really appreciated.
Did you familiarize with http://bugseng.com/products/ppl/requirements in particular as far as the C/C++ compiler is concerned? Kind regards, Roberto
El 04/04/2013 18:48, Roberto Bagnara escribió:
On 04/04/13 18:07, Antonio Díaz Quintana wrote:
Hello again, Thank you for your prompt answer. Still, using the ppl-1.1pre8.tar leads to the same message: /checking for the GMP library version 4.1.3 or higher. // // configure: error: Cannot find GMP version 4.1.3 or higher.// /It also happens when I use the option --with-gmp-build=/opt/gmp-5.1.0 Antonio Hi Antonio,
we would need to see the `config.log' file that is generated by `configure'. Please send it (compressed) to ppl-devel@cs.unipr.it Kind regards,
Roberto
El 04/04/2013 16:02, Roberto Bagnara escribió:
On 04/04/13 14:13, Antonio Díaz Quintana wrote:
Dear Sirs, I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local Output says I haven't GMP version 4.1.3 or later. I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version. tried setting CXX to c++ and CC to cc . Of sourse, I used the --enable-cxx option to configure gmp. GMP check is ok. Is there any way I could overcome this trouble? Thank you very much in advance for your attention. Kind regards, Antonio Dear Antonio,
quite likely the problem is caused by an incompatibility introduced by GMP 5.1. This issue is already dealt with in the Git version of the PPL. The snapshot of PPL 1.1 available at
http://bugseng.com/products/ppl/download/ftp/snapshots/
also contains the correction. Please let us know if this solves the problem for you. Kind regards,
Roberto
-- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C.
Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63
_______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
_______________________________________________ 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)
-
Antonio Díaz Quintana -
Roberto Bagnara