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 https://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html for documentation of GPRbuild.

Version: 1.0
Released:
Requires Jenkins 2.7.3
ID: gprbuild
Installed on 0.00071% of controllers
View detailed version information
Links
GitHub
Open issues (Jira)
Report an issue (Jira)
Pipeline Step Reference
Javadoc
Labels
This plugin has no labels
Maintainers
FeBrex
Help us improve this page!
This content is served from the Jenkins Wiki Export which is now permanently offline and before that a read-only state. We would love your help in moving plugin documentation to GitHub, see the guidelines.