I am using Ubuntu 14.04 and VIVADO 2014.4. I am trying to boot Linux on a zybo (7000)board, I tried to generate a bit stream and it is showing that the synthesis is failed. I have also attached a file. I also have a voucher from the digilent and used to generate a license file .lic. I opened the license manager many times and showed the license path and it said that the license was successfully installed.