To circumvent the error with missing kernel header files on Fedora 17:
yum install kernel-headers kernel-devel
yum groupinstall "Development Tools"
cp /usr/include/linux/version.h /lib/modules/3.7.2-204.fc18.x86_64/build/include/linux/
cd /usr/lib/vmware/modules/source
tar -xf vmci.tar
cd vmci-only
patch -p1 < 'patchfile'
cd ..
tar -cf vmci.tar vmci-only/
vmware-modconfig --console --install-all
rm -rf vmci-only/
cd /usr/lib/vmware/modules/source
tar -xvf vmnet.tar
dev = alloc_netdev(sizeof *netIf, deviceName, VNetNetIfSetup);
dev = alloc_netdev(sizeof *netIf, deviceName, NET_NAME_UNKNOWN, VNetNetIfSetup);
tar -cvf vmnet.tar vmnet-only/
rm -rf vmnet-only/
vmware-modconfig --console --install-all