GNATdashboard Documentation
GNATdashboard Quick CookBook
GNATdashboard Administrator and User’s Manual
- 1. Introduction
- 2. How to execute the GNAThub driver
- 2.1. Getting started
- 2.2. Outputs
- 2.3. Project file attributes
- 2.4. GNAThub’s core plug-ins
- 2.5. GNAThub’s additional plug-ins
- 2.6. GNAThub’s command line
- 2.6.1. --plugins
- 2.6.2. --exec
- 2.6.3. --incremental (short option -i)
- 2.6.4. --dry-run (short option -n)
- 2.6.5. --gnatcheck-hide-exempted
- 2.6.6. --target
- 2.6.7. --subdirs
- 2.6.8. --sonar-work-dir
- 2.6.9. --RTS
- 2.6.10. --jobs (short option -j)
- 2.6.11. --targs:
- 2.6.12. --runners-only
- 2.6.13. --reporters-only
- 2.6.14. -d
- 3. Writing a GNAThub plug-in
- 4. Integrating GNATdashboard into your workflow