I don't think we'll ever have much on Mars, but lots of space stations built with lunar materials was a big part of Gerard K O'Neil's vision he summed up on High Frontier. NASA ran with it in their own study which i think his findings influence. There was a nasa published book called something like "Space based settlements" .. wish I could remember. It was a gorgeous book. Unfortunately the findings depended on rapid shuttle flights that never ended up being possible.
For All Mankind, for all its attempts at hard SF, depends on an unrealistic yield from nuclear thermal rockets and a magic plasma drive that doesn't exist
unlese both space x and blue origin sents there astronaunts to mars lol