Use waf for compile xilinx verilog sources.