VMware workstation 12.5 with ubuntu 18.04, kernel 4.18

VMware workstation is good, when I moved to ubuntu 18.04 and change kernel to 4.18.0, still work fine. but some trouble after installed software. please reference here:https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1715552

When installed VMware workstation or player, do this:

# git clone https://github.com/mkubecek/vmware-host-modules.git
# cd vmware-host-modules
# git checkout workstation-12.5.9
# make;make install
# cd /usr/lib/vmware/lib/libz.so.1
# mv libz.so.1 libz.so.1.old
# ln -s /lib/x86_64-linux-gnu/libz.so.1 
# systemctl restart vmware

x

"Failed to get gcc information"

re-build vmware workstation / player kernel module by
# vmware-modconfig --console --install-all

but, when you got this message, you should re-make kernel module:
"Failed to get gcc information"

# git clone https://github.com/mkubecek/vmware-host-modules.git # cd vmware-host-modules # git checkout workstation # make;make install # systemctl restart vmware

user is root.