VMware 10.0.2, kernel 3.14.2: recompiling vmware modules modules

[Mihamina Rakotomandimby <mihamina.rakotomandimby@xxxxxxxxx>]

Hi all,

As reported by the forum thread 
https://bbs.archlinux.org/viewtopic.php?pid=1410987 I encounter the same 
problem.

Unfortunately, the topic has been closed because of trolling, but would 
you know a quick workaround (staying with this kernel)?

I need VMware workstation for work too :-)