According to lothar’s answer at How to generate gcc debug symbol outside the build target, I can create a two part executable – the stripped executable and the debug information file. After creating the stripped executable and the debug information file, I install the executable as normal (with make install). But I’m not sure what to do with the debug