Just an FYI... Even thought Linux Mint is a Linux distribution based on Ubuntu or Debian nonetheless it is not an officially supported Host/Guest OS and as such it is considered normal and expected that there be issues when installing/using unsupported OSes. In some cases applying third-party patches may be necessary to resolve some issues.
Additionally even the equivalent Ubuntu or Debian distributions at the same release level as Linux Mint 15 are not officially supported under VMware Workstation 7. So even with what I'm going to present here you may still have issues and VMware Shared Folders will not work without additional patching. Since I personally do not use the VMware Shared Folders feature nor recommend using it over Industry Standard SMB/CIFS Shares I do not have any info on patching this feature to work at the present time.
Before installing VMware Tools you need to make sure that gcc, make and the appropriate kernel headers are installed and then issue the following command in a Terminal in Linux Mint 15 to resolve the "The path "" is not a valid path"error.
sudo ln -s /usr/src/linux-headers-$(uname -r)/include/generated/uapi/linux/version.h /usr/src/linux-headers-$(uname -r)/include/linux/version.h