ldflags-only-for-shared.diff
rename-so-lib.diff
handle_build_flags.diff
xmlada-split.diff
verbose_makefile.diff
avoid-gprbuild-subdir-option.diff
# disable-gnatmem-test.diff, when the tests can be enabled
