Pressure cook the mangoes for 1-2 whistles or for 5-8 minutes.
Peel the skin and remove the flesh/pulp from the mango.
Combine rock salt, sugar, roasted cumin, chili pepper and mint leaves in a processor till they are powdery and smooth. Add the mango pulp to this and blend/process/puree it till smooth.