Then follow the instructions in
in the downloaded tarball.
I usually use the instructions labeled:
0. Quick guide for impatient
I should note that this works for Fedora 30 with latest kernel (5.4.7-100).
I assume (perhaps incorrectly) that it'll work with F31.
It worked like a charm.
One note that the INSTALL doc "Quick guide for impatient" includes a wget for an older (14.1.1) version that of course needs to be ignored. (At first I was thinking I needed to downgrade.)
Simply grabbing that tarball then
sudo make install
did the trick--- even for Fedora 31!
Thank you very much for the answer.
Follow up. This seems to be a common problem with Fedora. I have run into it before.
Is that github endpoint a common place I should look for these sorts of problems?
I don't believe that this is a Fedora-centric problem.
People using other distributions complain that
VMware could not compile some of its modules.
The problem modules are (almost) always vmnet and vmmon.
Michal Kubeček is the hero of the story. He is the one who
kindly supplies the patched code.