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