On Monday 22 of June 2015 19:23:01 Markus Koßmann wrote:
after installing 4.0.5-4.g56152db-desktop from kernel-stable I wanted to rebuild the vmware kernel-modules. The vmware installer now complains about not finding gcc5. First idea was to install gcc5 from gcc:devel repo with one-click install. But this fails due to a missing dependency on libisl.so.13(64 bit).
It sounds quite surprising that VMware would require gcc5. Can you show what exactly you did and what did the response look like? I built (host) modules for Workstation 10.0.6 (on 13.1) without problems like that but vmnet needed a patch (attached) to build with kernel 4.0. With it, usual "vmware-modconfig --console --install-all" worked fine. Michal Kubeček