You are right. I installed VMWplayer (4.0.4) from official websiet.
After some experimented I can run VMplayer. When I used kernel-headers-3.4.6-2.fc17.x86_64 instead of kernel-headers-3.5.0-2.fc17.x86_64 then I could compile all VMware modules. Even when i use kernel-3.5.0-2.fc17.x86_64. Of course i had to use
patch. It's strange for me but it work now.
and you want to patch again then you have to remove file "
Thank you for your response.
PS: You have to change a variable from plreqver=4.0.2 to plreqver=4.0.4. And one more hint: If you used the patch already and you want to patch again then you have to remove file ".patched" in a path "/usr/lib/vmware/modules/source."