If I launch SDK, the following error occurs:
$ Xilinx Software Development Kit
Xilinx EDK 14.2 Build EDK_P.28xd
Copyright (c) 1995-2012 Xilinx, Inc. All rights reserved.
XPCOMGlueLoad error for file /usr/lib64/xulrunner-2/libxpcom.so:
/opt/Xilinx/14.2/ISE_DS/common/lib/lin64/libstdc++.so.6: version `GLIBCXX_3.4.9' not found (required by /usr/lib64/xulrunner-2/libxul.so)
Couldn't load XPCOM.
The problem is that the user's system libraries have become incompatible with the version of the libstdc++.so library that the ISE code is shipped with it, but the ISE version is older than what the system libraries require.
To work around this issue, move the xilinx version of the libstdc++ libraries and copy the newer system versions into xilinx lib dir.