zynq HDMI 部分库文件安装有问题

http://www.itdadao.com/articles/c15a537201p0.html
我按照这个网址来配置相应的库文件，结果还是报错，不知道问题出哪儿了？
希望能够告诉我一下库文件添加的具体路径，还是HDMI部分的代码是否需要做改动？