Installation for MingW
Hello, I'm trying to install ppl in MingW64 from the sources, but an error is happening:
version.cc:76:1: error: unable to find string literal operator 'operator"" __VERSION__' "Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; ^ make[3]: *** [version.lo] Error 1 make[3]: Leaving directory `/home/Italo/ppl-1.1/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/Italo/ppl-1.1/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/Italo/ppl-1.1' make: *** [all] Error 2
If this is not a known problem, would there be a way just to use the static libraries and includes?
Thanks, Ítalo Romani de Oliveira Lead Scientist - Air & Ground Transportation Systems Brazil Technology Center GE Global Research
T +55 21 3733 8297tel:%2B55%2021%203733%204163 M +55 21 96957 2555 iroliveira@ge.commailto:iroliveira@ge.com www.ge.com/brasilresearchhttp://www.ge.com/brasilresearch
Rua Paulo Emídio Barbosa, 485 - Qd 1 A Parque Tecnológico - Ilha do Fundão 21941-615 - Rio de Janeiro - RJ - Brazil
On 17/06/2014 14:02, Oliveira, Italo (GE Global Research) wrote:
I’m trying to install ppl in MingW64 from the sources, but an error is happening:
version.cc:76:1: error: unable to find string literal operator 'operator"" __VERSION__'
"Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues.";
^
make[3]: *** [version.lo] Error 1
make[3]: Leaving directory `/home/Italo/ppl-1.1/src'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/Italo/ppl-1.1/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/Italo/ppl-1.1'
make: *** [all] Error 2
If this is not a known problem, would there be a way just to use the static libraries and includes?
Hello Ítalo,
from your message I gather you are using PPL 1.1. Can you please let us have the config.log file that has been created at configuration time? Kind regards,
Roberto
Dear Roberto,
Thanks for your response! I did some further trials and this problem was solved. I don't know what was the root cause of this problem, but apparently it is related to the correct installation of the GMP (Gnu Multi-Precision) library.
It only worked after I used the following options for GMP configuration:
configure --prefix=<GMP target directory> --build=<result of config.guess> --enable-cxx --with-gnu-ld --disable-static --enable-shared
And, when installing PPL, used as following
configure --with-gmp=<GMP target directory>
I will try to reproduce this in another computer an see if it works.
By the way, I saw that the Java documentation is not as rich as for the C++ core. I would like to check with you if, besides the concealment of low-level functionality, there is any other relevant functionality that is not accessible in Java.
Many thanks, Ítalo
-----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Wednesday, June 18, 2014 4:22 AM To: Oliveira, Italo (GE Global Research) Cc: The Parma Polyhedra Library developers' list Subject: Re: [PPL-devel] Installation for MingW
On 17/06/2014 14:02, Oliveira, Italo (GE Global Research) wrote:
I'm trying to install ppl in MingW64 from the sources, but an error is happening:
version.cc:76:1: error: unable to find string literal operator 'operator"" __VERSION__'
"Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues.";
^
make[3]: *** [version.lo] Error 1
make[3]: Leaving directory `/home/Italo/ppl-1.1/src'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/Italo/ppl-1.1/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/Italo/ppl-1.1'
make: *** [all] Error 2
If this is not a known problem, would there be a way just to use the static libraries and includes?
Hello Ítalo,
from your message I gather you are using PPL 1.1. Can you please let us have the config.log file that has been created at configuration time? Kind regards,
Roberto
On 18/06/2014 13:19, Oliveira, Italo (GE Global Research) wrote:
Thanks for your response! I did some further trials and this problem was solved. I don't know what was the root cause of this problem, but apparently it is related to the correct installation of the GMP (Gnu Multi-Precision) library.
It only worked after I used the following options for GMP configuration:
configure --prefix=<GMP target directory> --build=<result of config.guess> --enable-cxx --with-gnu-ld --disable-static --enable-shared
And, when installing PPL, used as following
configure --with-gmp=<GMP target directory>
I will try to reproduce this in another computer an see if it works.
Dear Ítalo,
I am glad the problem seems to be solved. Please do not hesitate to get in touch if you need help.
We routinely cross-build the PPL and GMP on our projects: our build script for GMP uses a configure command line similar to yours, but:
- we do not use `--with-gnu-ld' (not sure which linker is picked up in your environment without this option); - we do use `--host=x86_64-w64-mingw32' or `--host=i686-w64-mingw32' instead of `--build=...'.
By the way, I saw that the Java documentation is not as rich as for the C++ core. I would like to check with you if, besides the concealment of low-level functionality, there is any other relevant functionality that is not accessible in Java.
The Java interface user's manual just describes those aspects that are specific to the Java interface of the PPL. A general introduction to the numerical abstractions, their representation in the PPL and the operations provided by the PPL is given in the main PPL user manual. If you think some documentation is missing, please come back to us. Kind regards,
Roberto
-----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Wednesday, June 18, 2014 4:22 AM To: Oliveira, Italo (GE Global Research) Cc: The Parma Polyhedra Library developers' list Subject: Re: [PPL-devel] Installation for MingW
On 17/06/2014 14:02, Oliveira, Italo (GE Global Research) wrote:
I'm trying to install ppl in MingW64 from the sources, but an error is happening:
version.cc:76:1: error: unable to find string literal operator 'operator"" __VERSION__'
"Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues.";
^
make[3]: *** [version.lo] Error 1
make[3]: Leaving directory `/home/Italo/ppl-1.1/src'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/Italo/ppl-1.1/src'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/Italo/ppl-1.1'
make: *** [all] Error 2
If this is not a known problem, would there be a way just to use the static libraries and includes?
Hello Ítalo,
from your message I gather you are using PPL 1.1. Can you please let us have the config.log file that has been created at configuration time? Kind regards,
Roberto
participants (2)
-
Oliveira, Italo (GE Global Research) -
Roberto Bagnara