The installation of the Player claimed to be successful.
When I try to start the Player the message is:
“Before you can run VMware, several modules must be compiled and loaded into the running kernel. Kernel Headers 4.12.14-lp150.12.16-default
were not found. Refer to your distribution’s documentation for installation instructions.”
uname -r answers 4.12.14-lp150.12.16-default
Therefore the requested kernel seems to be installed. People at VMware say that
Kernel Headers are missing.
I don’t know where to find them and how to install them. And Tools for kernel development I did not install.
On the other hand: Since the requested kernel seems to be installed why should corresponding headers be missing?