I am new to Xilinx tools. What kind of standard does SDK support? 98? C++11? boost?
I think the current support is consider in the C++11 range, however, to use that I think you must specifiy the flag as -std=c++0x (not as c++11)
Hope that helps
If so, please mark as solution accepted. Kudos also welcomed. :-)