The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.
It has been called both Portus Magnus and Portmany.