diff -r 38c432e01489 -r 5958cc5c0a98 lemon/core.h
--- a/lemon/core.h	Tue Aug 06 06:52:36 2013 +0200
+++ b/lemon/core.h	Tue Aug 06 12:28:37 2013 +0200
@@ -38,6 +38,12 @@
 #endif
 
 #ifdef __GNUC__
+#define GCC_VERSION (__GNUC__ * 10000                   \
+                     + __GNUC_MINOR__ * 100             \
+                     + __GNUC_PATCHLEVEL__)
+#endif
+
+#if GCC_VERSION >= 40800
 // Needed by the [DI]GRAPH_TYPEDEFS marcos for gcc 4.8
 #pragma GCC diagnostic ignored "-Wunused-local-typedefs"
 #endif