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