説明

The "settings.sh" and "settings.csh" files have set up the $PATH as follows: 

if ($?PATH) then 

setenv PATH /proj/xbuilds/jhunt/L.33.1.1_linux/SDK/bin/lin64:${PATH}:${PATH} 

else 

setenv PATH /proj/xbuilds/jhunt/L.33.1.1_linux/SDK/bin/lin64:${PATH} 

endif 

If the $PATH variable is not defined, the settings script will not run. If the $PATH is defined, the $PATH variable will be twice as long.

ソリューション

The $PATH should be setup in the following manner in the settings scripts: 

if ($?PATH) then 

setenv PATH /proj/xbuilds/jhunt/L.33.1.1_linux/SDK/bin/lin64:${PATH} 

else 

setenv PATH /proj/xbuilds/jhunt/L.33.1.1_linux/SDK/bin/lin64 

endif 

This problem has been fixed in EDK 11.2, available at: 

http://www.xilinx.com/support/download/index.htm