Just to be clear for others who might find this thread while searching for a solution to the same problem, it is normal and expected for the Arduino IDE to show the Tools > Port menu grayed out when no serial ports are available on the computer.
So the solution is to figure out why the connected Arduino board is not producing a port. That could be caused by a missing driver, bad USB cable, or damaged Arduino board (in this case it was the driver).