Update VMWare Player after kernel update - Fedora

update_vmware_fedora.sh

#!/bin/bash
set -euxo pipefail

VMWARE_VERSION=$(vmplayer -v  2>/dev/null | grep VMware | awk '{ print $3}')

TMP_DIR="/tmp/vmware_update"
mkdir -p $TMP_DIR
cd $TMP_DIR

wget "https://github.com/mkubecek/vmware-host-modules/archive/workstation-$VMWARE_VERSION.tar.gz" \
  -O "$TMP_DIR/workstation.tar.gz"
mkdir -p workstation
tar -xzf workstation.tar.gz -C workstation --strip-components 1

cd workstation
make
sudo make install

# install kernel module
# https://ask.fedoraproject.org/t/installing-vmware-stdarg-h-and-stddef-h-not-found/20577/15
CPATH=$(find /usr/lib/gcc -type d -wholename '*/include')
sudo CPATH="$CPATH" vmware-modconfig --console --install-all

Reboot the machine after running this script

Even better: update automatically after each kernel update
https://docs.fedoraproject.org/en-US/quick-docs/how-to-use-vmware/#_deal_with_kernel_updates