A nuclear-proof bunker hidden beneath Greenland with air/water filter system will be 1000 times cheaper, and will promise a better survival chance in almost any scenario.
If humanity is wiped out on Earth, people in Mars are fucked anyway: they will be one depressurization accident from extinction.
