[PPL-devel] Installation for MingW

[Roberto Bagnara]

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