[PPL-devel] Installation for MingW

[Oliveira, Italo (GE Global Research)]

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 at 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

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com