From 322664cb123714b3ed9a45a2be3db72c4bbe36b8 Mon Sep 17 00:00:00 2001
From: Don Bright <hugh.m.bright@gmail.com>
Date: Wed, 18 Sep 2013 21:00:12 -0500
Subject: gcc 4.7 should work for demangling of CGAL kernel info name


diff --git a/src/PlatformUtils.cc b/src/PlatformUtils.cc
index 28bd51c..a64162c 100644
--- a/src/PlatformUtils.cc
+++ b/src/PlatformUtils.cc
@@ -47,7 +47,7 @@ std::string PlatformUtils::libraryPath()
 
 #if defined(__GNUG__)
 #define GCC_INT_VERSION (__GNUC__ * 10000 + __GNUC_MINOR__ * 100 )
-#if GCC_INT_VERSION > 40700 || defined(__clang__)
+#if GCC_INT_VERSION > 40600 || defined(__clang__)
 #include <cxxabi.h>
 #define __openscad_info_demangle__ 1
 #endif // GCC_INT_VERSION
-- 
cgit v0.10.1