To make a tunnel boring machine on mars you must first invent replicating nano mining/manufacture bots.