dynamic casts are only used in debug builds

git-svn-id: svn+ssh://svn.code.sf.net/p/supertuxkart/code/main/branches/irrlicht@3721 178a84e3-b1eb-0310-8ba1-8eac791a3b58

src/gui/widget.cpp

@@ -71,7 +71,7 @@ Widget::Widget()
 // -----------------------------------------------------------------------------
 template<typename T> T* Widget::getIrrlichtElement()
 {
-#ifdef __WIN32__
+#if defined(__WIN32__) || defined(NDEBUG)
     return static_cast<T*>(m_element);
 #else
     T* out = dynamic_cast<T*>(m_element);

src/ide/Xcode/STK_XCode.xcodeproj/project.pbxproj

@@ -2395,6 +2395,7 @@
 			buildSettings = {
 				ALWAYS_SEARCH_USER_PATHS = NO;
 				COPY_PHASE_STRIP = NO;
+				DEBUG_INFORMATION_FORMAT = "dwarf-with-dsym";
 				GCC_DEBUGGING_SYMBOLS = full;
 				GCC_DYNAMIC_NO_PIC = NO;
 				GCC_ENABLE_FIX_AND_CONTINUE = YES;