GPRbuild1.0Minimum Jenkins requirement: 2.7.3ID: gprbuild
Last released: 2 years ago
This Jenkins plugin allows building GNAT projects with GPRbuild.
- 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.