The Romans called it Portus Magnus (great port), which the Ibicencos adapted to Portmany.
It has been called both Portus Magnus and Portmany.
It was named "Portus Magnus" by the Romans, but the Ibicencos never bothered to give it a name.