Got ARTY-Z7 and trying to load first working project in Vivado. Actually there is no other choice but XADCdemo. Took latest bundle from GIT and followed instructions here:
All was as expected till "3. Generate Bitstream" section. The synthesis failed with error "
[Designutils 20-414] HRTInvokeSpec : No Verilog or VHDL sources specified
Anybody experienced could point what was wrong and how to fix it?