diff options
| author | Don Bright <hugh.m.bright@gmail.com> | 2013-09-19 02:00:12 (GMT) |
|---|---|---|
| committer | Don Bright <hugh.m.bright@gmail.com> | 2013-09-19 02:00:12 (GMT) |
| commit | 322664cb123714b3ed9a45a2be3db72c4bbe36b8 (patch) | |
| tree | 8b48c82b11263a47318a81d54cc0245370e1c5dd /src | |
| parent | e6f3bd4777ad0c106688693945daeb76757c8988 (diff) | |
gcc 4.7 should work for demangling of CGAL kernel info name
Diffstat (limited to 'src')
| -rw-r--r-- | src/PlatformUtils.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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 |