Hi,
I am just installed the STLink and Yagarto on my Mac OS 10.9.5 and it 
took me 3 days:( .
I am experiencing the following GDB problem after stlink connects to my 
STM32VL Discovery board.

I started the instance of STLINK by using command :
./st-util --stlinkv1

and after that I opened another terminal to run the GDB:
tcms-MacBook-Pro:yagarto-4.7.2 Ruslan$ arm-none-eabi-gdb 
/Users/Ruslans/STM32-Template/BlinkingLight.elf
but when I try to load the .elf by by using command

(gdb) target extended-remote :4242
I get this error:

Remote debugging using :4242

0x08000b4c in GPIO_Write (GPIOx=0xa, PortVal=<optimized out>)

    at 
/l/arm/STM32F10x_StdPeriph_Lib_V3.5.0/Libraries/STM32F10x_StdPeriph_Driv 
er/src/stm32f10x_gpio.c:423

423 
/l/arm/STM32F10x_StdPeriph_Lib_V3.5.0/Libraries/STM32F10x_StdPeriph_Driv 
er/src/stm32f10x_gpio.c:  No such file or directory.
I am very new to unix based systems or to GDB and GCC so I have problem 
with fixing this issue. Could someone advice on how to address this 
problem? I started by loading the STM32VL library into my project folder 
STM32 Template but the error persists. I don't understand why gdb is 
looking for thestm32f10x_gpio.c since the .elf file is already a 
compiled and ready to be loaded object.  Please help.