# 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 `make prove`. |
| gnatdoc | Development | Alire (dev) | Required for `make doc`. |
| gnatformat | Development | Alire (dev) | Required for `make 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 (`requirements.txt`) | Build-time requirement for `tools/gen-docs.py`: builds the manual from `docs/` into `docs/_build`. |
| Playwright | Development | npm/pnpm | Required for `make e2e`. |

## Good to have

These are optional but improve the workflow.

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