[PPL-devel] PPL 1.2 installation problem

[Roberto Bagnara]

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