I should mention that it is also obvious from the console output that the debugger is successfully communicating with the discovery board STLink, and is also successfully ‘contacting’ the target MCU, so I think it’s fairly safe to say that this is not a matter of mac (in)compatibility.