This Jenkins plugin allows building GNAT projects with GPRbuild. # Main features - Manage multiple GNAT installations within Jenkins - Build (Ada) projects using GNAT project files (\*.gpr) with the help of GPRbuild - configurable as build step in your pipeline. ## Configuring GPRbuild in your pipeline Beside the GUI pipeline builder you can use the following in your Jenkinsfile: gprbuild installationName: , proj: <*.gpr file>, names: , switches: Only *installationName* is required. Refer to for documentation of GPRbuild.