This is an old revision of the document! STM32 Discovery Board http://cu.rious.org/make/stm32-toolchain-on-mac-os-x/