=========
Tooling
=========

---------------
AdaCore Tools
---------------

- :toolname:`GNAT Pro for Rust` is a **stabilized** version of upstream Rust

  - Yearly updates for recent changes
  - Tested and secured
  - Reproducible (stable) build process
  - Vulnerability fixes backported

- :toolname:`GNAT Pro for Rust`: AdaCore's Rust Development Toolsuite

  - :toolname:`cargo` - Rust package manager
  - :toolname:`rustc` - Rust compiler
  - :toolname:`gdb` - Rust-aware debugger
  - :toolname:`rust-analyzer` - Rust language server / IDE integration tool
  - :toolname:`clippy` - Rust linter
  - :toolname:`rustfmt` - Rust code formatter
  - :toolname:`gprbuild` - AdaCore’s multi-language build tool

- Tooling pairs seamlessly with :toolname:`VS Code`

.. note::

  The :url:`Rust Playground <https://play.rust-lang.org/>` provides an easy
  way to run short Rust programs, quickly!
