Board Raspberry Pi Pico always compiling with debug symbols

[pituresco]

Hi,

I would like to use Arduino IDE to generate the elf file for the Raspberry Pi Pico. It works great. My problem: it always compiles with the debug symbols on it. For size reasons, I would like to remove/build without them. Is it possible?

I am using Arduino IDE 1.8.19 and the Pico board is the one from earl.

I know that it builds with the debug symbols because when I do:
arm-none-eabi-size -A "sketchfile.ino.elf"
The debug symbols have a size larger than zero.

Thank you,

[b707]

You can see (and edit) all build settings in the platform.txt file associated with the board you compiled. To determine exact path to the platform.txt file use instructions from this thread:

How do determine which platform.txt file is in effect during compile?

Hi @garlydog. You can find the location by examining the output from compiling a sketch for that board when you have verbose output enabled. Select File > Preferences from the Arduino IDE menus. Check the box next to "Show verbose output during: ☐ compilation". Click the OK button. Select the board you want to find the platform.txt of from the Tools > Board menu. Select Sketch > Verify/Compile from the Arduino IDE menus. Wait for the compilation to finish. Scroll the black "Output" panel at th…

[pituresco]

Thank you @b707 ,

I managed to do that. Now, if I do
$arm-none-eabi-size -A "sketchfile.ino.elf"
still shows the size of the ".debug_*" being larger than zero, however their address is zero. Does this mean that the debug symbols are NOT in the elf file?

[westfw]

Regardless of whether the debug symbols are in the .elf file, they are NOT copied into the .hex, .bin, or .uf2 files that are eventually loaded into the rp2040 itself…