After sourcing settings64.sh to run Vivado, the awk executable fails with the following error:
The strace output from awk indicates that Vivado/201x.y/lib/lnx64.o/libgmp.so.Z is the source of this runtime linker breakage.
The issue occurs because the LD_LIBRARY_PATH is being set in the settings64.sh file and points to the Vivado/201x.y/lib/lnx64.o directory.
Because LD_LIBRARY_PATH is a global setting, it affects all binaries run within the shell where it is set. In this case a library file is conflicting with a version required by awk.
The LD_LIBRARY_PATH is specifically added to the script to support the AXI BFM IP which needs to use Vivado libraries.
If you are not using the AXI BFM IP, you can remove the LD_LIBRARY_PATH setting from settings64.sh.
Neither Vivado IDE nor Vivado Tcl shell require the LD_LIBRARY_PATH variable to be set.
This issue has only been reported on unsupported versions of the Ubuntu operating system. However, to avoid this issue on any OS, the Vivado 2016.3 install will no longer set the LD_LIBRARY_PATH variable.