On Mon, Nov 12, 2018 at 4:45 AM Daniel Glassey <dglas...@gmail.com> wrote: > Are you aware of any ways for the symbols file to handle different symbols on > different distros? Do you know what any other packages with a symbols file do > with this problem?
I think you could just mark all the symbols that don't appear everywhere as optional. I didn't try, but maybe those symbols changes happen anywhere that -O3 is used. Thanks, Jeremy Bicha