It looks like you replied to my reply by editing my reply instead of writing a new separated reply.


Did it return wrong locations then?

Yes, ''ppl-config" returned a wrong location for "includedir":

$ ppl-config --includedir
/usr/include

Even though the files are really in "/usr/include/x86 ...

"ppl-config" is already in the PATH.

Did it return wrong locations then? As you can see, the configuration script tries to use its output when no other options are specified, and this what you must have tried first, haven't you?

If it indeed tells wrong locations, I'd recommend to file a ticket ...

Hello I am trying to compile Polymake 3.3 under Debian GNU/Linux 9.8 (stretch) x86_64 with ppl.

$./configure
checking C++ compiler ... ok (g++ is GCC 6.3.0)
checking C++ library ... ok (GNU libstdc++ 20170516, C++ 201402)
determining architecture ... ok (x86_64)
determining compiler flags ... ok ...

Thanks for the reply and the solution.
I applied the patch and everything went well.

When I try to compile Polymake 3.2r3 in my Arch Linux I get the following error

https://justpaste.it/6g9c6

(I could not attach the log file here because "File too large: build.log")