This Jenkins plugin allows building GNAT projects with GPRbuild - View it on GitHub