[PPL-devel] PPL 1.2 installation problem

[Roberto Bagnara]

On 06/29/2016 12:58 PM, Simon, Hendrik wrote:
> I still did not manage to build PPL this way.
> Is there a way to build PPL with Microsoft visual Studio?

Hello Hendrik.

We never build the PPL with Visual Studio, but build it
multiple time per day with MinGW.  If you can provide
more details about what is going wrong, I am sure we can help.
Kind regards,

   Roberto

> -----Ursprüngliche Nachricht-----
> Von: Simon, Hendrik 
> Gesendet: Montag, 6. Juni 2016 09:21
> An: 'Roberto Bagnara' <bagnara at cs.unipr.it>
> Betreff: AW: [PPL-devel] PPL 1.2 installation problem
> 
> Hello Roberto,
> 
> Thanks for the quick answer. My makefile does not have that many lines ( think this might be an issue? ). I just notice that there is some error listed in the config.log.
> 
> Kind regards,
> Hendrik
> 
> -----Ursprüngliche Nachricht-----
> Von: Roberto Bagnara [mailto:bagnara at cs.unipr.it] 
> Gesendet: Samstag, 4. Juni 2016 08:33
> An: Simon, Hendrik <simon at embedded.rwth-aachen.de>
> Cc: The Parma Polyhedra Library developers' list <ppl-devel at cs.unipr.it>
> Betreff: Re: [PPL-devel] PPL 1.2 installation problem
> 
> On 06/03/2016 03:53 PM, Simon, Hendrik wrote:
>> My name is Hendrik Simon and I am working at the RWTH Aachen in Germany.
>> I wanted to build the PPL 1.2 for my system (win7, 64 bit) using mingw.
>>
>> I used the mingw Pacman to install automake 1.14 and autoconf as required, however when running make, the following happens:
>>
>> /usr/bin/sh: -c: Line 1: Syntax Error: Unexpected file ending.
>> makefile:1705: recipe for target 'ppl_include_files.hh' failed
>> make[2]: *** [ppl_include_files.hh] Error 1
>> make[2]: Leaving directory 'C:/Users/simon/Libraries/ppl-1.2/src'
>> makefile:553: recipe for target 'all-recursive' failed
>> make[1]: *** [all-recursive] Error 1
>> make[1]: Leaving directory 'C:/Users/simon/Libraries/ppl-1.2'
>> makefile:482: recipe for target 'all' failed
>> make: *** [all] Error 2
>>
>> Since I was not sure if maybe there are problems with win7 64 bit or anything related in general, I wanted to ask for that first.
>> I would be glad for any help on building PPL on windows.
> 
> Hello Hendrik.
> 
> We regularly use PPL 1.2 on all version of Windows.  Please send to the list the config.log file generated at configure time.  Please also post the contents of lines around 1705 in the first makefile mentioned in your message.
> 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