Bombard both Mars and the moon with asteroids to begin building up planetary mass. And especially comets because they carry volatiles, compounds with some hydrogen content. Oxygen is not in short supply anywhere, even on the moon.
Why waste perfectly good asteroids? The belt is where the action is likely to be in the coming generations. Mineral wealth, low gravity, less fuel required in landing and takeoffs.