On a stock install of Fedora 19 it uses the 3.9.5-301.fc19 kernel and when you issue the command...
yum -y install gcc kernel-headers kernel-devel
It will, currently, install the kernel headers for the 3.10.5-201.fc19 kernel not the stock 3.9.5-301.fc19 kernel.
So unless you've upgrade the kernel, which if you do then patching of VMware Workstation will be required, you currently need to use the following command on a stock kernel install of Fedora 19...
yum install gcc make binutils kernel-headers-$(uname -r) kernel-devel-$(uname -r)
BTW Do not replace "$(uname -r)" in any of the commands as it will automatically expand it to the proper value! Image may be NSFW.
Clik here to view.
