Dependencies

This table groups adacovex dependencies by category. Alire-managed dependencies are listed under their Alire crate names.

Core

These are required to build or run adacovex.

Dependency	Category	Managed by	Notes
GNAT runtime	Core	GNAT toolchain	Required. No other library is needed.
GNAT compiler	Core	GNAT toolchain	Required for build.
gnatprove	Core	Alire (dev) or PATH	Required for covex prove. Resolved at run time.

Development

These are required to develop, test, or document adacovex.

Dependency	Category	Managed by	Notes
Alire (alr)	Development	System PATH	Required for build, test, and release.
gnatprove	Development	Alire (dev)	Required for just prove.
gnatdoc	Development	Alire (dev)	Required for just doc.
gnatformat	Development	Alire (dev)	Required for just fmt.
Python 3	Development	System	Build-time requirement: bundles the dashboard + offline manual into the binary (tools/gen-dashboard.py / tools/gen-docs.py). The released binary has no runtime Python.
Sphinx + MyST	Development	Python venv (pyproject.toml -> requirements.txt)	Build-time requirement for tools/gen-docs.py: builds the manual from docs/ into docs/_build. The dependency list is single-sourced in pyproject.toml ([project].dependencies); just requirements renders the committed requirements.txt and the requirements sync gate fails on drift.
Playwright	Development	npm/pnpm	Required for just e2e.

Good to have

These are optional but improve the workflow.

Dependency	Category	Managed by	Notes
hyperfine	Good to have	System	Improves just bench with stable timings.
strace	Good to have	System	Required for just perf-bench.
linux-tools-common (perf)	Good to have	System	Required for just perf-bench.
mandb	Good to have	System	Refreshes the man page after adacovex man.