http://forums.xilinx.com/t5/Embedded-Linux/bin-bash-gmake-command-not-f… https://wiki.archlinux.org/index.php/Xilinx_ISE_WebPACK#GNU_make