--- bundled/ppl/apps/polytope/include/ppl_interface_impl.h.orig 2016-12-08 17:48:18.801229611 -0700
+++ bundled/ppl/apps/polytope/include/ppl_interface_impl.h 2016-12-08 20:02:08.979505777 -0700
@@ -25,6 +25,7 @@
#include "polymake/hash_set"
#include "polymake/polytope/compress_incidence.h"
// the following requires an entry in Makefile.inc
+#define typeof(x) decltype(x)
#include <ppl.hh>
#include <fenv.h>
--- bundled/ppl/configure.pl.orig 2016-12-08 17:48:00.114445495 -0700
+++ bundled/ppl/configure.pl 2016-12-08 20:02:45.612143460 -0700
@@ -41,6 +41,7 @@ sub proceed {
}
my $error=Polymake::Configure::build_test_program(<<"---", Libs => "-lppl -lgmp", CXXflags => "$CXXflags", LDflags => "$LDflags");
#include <cstddef>
+#define typeof(x) decltype(x)
#include "ppl.hh"
#include <iostream>
int main() {