On 03/06/2022 14:02, Albretch Mueller wrote:
Basically, I am trying to compile WebKit2 (on WSL! ;-)) with debugging symbols included in order to teach my students how to debug,
Debian has debug symbols for most (if not all) packages, but they're in a different repository. See https://wiki.debian.org/HowToGetABacktrace#Installing_the_debugging_symbols .
-- By all means marry: If you get a good wife, you'll become happy; if you get a bad one, you'll become a philosopher. -- Socrates Eduardo M KALINOWSKI eduardo@kalinowski.com.br