ID: gprbuild

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: <name of GNAT installation as configured in Jenkins>, proj: <*.gpr file>, names: <Source files containing an entry point>, switches: <GPRbuild switches>

Only installationName is required. Refer to for documentation of GPRbuild.

ArchivesGet past versions
Version: 1.0
Requires Jenkins 2.7.3
Installs: 6
This plugin has no labels
Help us improve this page!
This content is served from the Jenkins Wiki the read-only state. We recommend moving the plugin documentation to GitHub, see the guidelines.