[PPL-devel] PPL 1.2 installation problem

[Roberto Bagnara]

Hi Hendrik.

On 06/06/2016 09:21 AM, Simon, Hendrik wrote:
> Thanks for the quick answer. My makefile does not have that many lines ( think this might be an issue? ).

You are probably looking at the wrong makefile: please send to
the list

    C:/Users/simon/Libraries/ppl-1.2/src/Makefile

> I just notice that there is some error listed in the config.log.

At first sight, there are no fatal errors there.
Kind regards,

   Roberto

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