[PPL-devel] PPL 1.2 installation problem
Simon, Hendrik
simon at embedded.rwth-aachen.de
Wed Jun 29 12:58:43 CEST 2016
Hello Roberto,
I still did not manage to build PPL this way.
Is there a way to build PPL with Microsoft visual Studio?
Kind regards,
Hendrik
-----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
More information about the PPL-devel
mailing list