I think it will somehow be produced locally on Mars. In fact, I wrote about this a few weeks ago. MIT is building a machine that will be able to produce oxygen on Mars.