GNAT Pro for Rust User’s Guide

Version 26.0w

Date: 20241107

AdaCore

Permission is granted to copy, distribute and/or modify this document under the terms of the Apache License, Version 2.0 or any later version published by The Apache Software Foundation. A copy of the license is included in the section entitled Apache License.

• 1. About This Guide
  • 1.1. What This Guide Contains
  • 1.2. What You Should Know before Reading This Guide
  • 1.3. Related Information
  • 1.4. Conventions
• 2. Getting Started with GNAT Pro for Rust
  • 2.1. Supported Platforms
  • 2.2. Product Components
    • 2.2.1. Tools
    • 2.2.2. Libraries
    • 2.2.3. Examples
    • 2.2.4. Documentation
  • 2.3. Installing the Product
    • 2.3.1. Rust Analyzer VS Code Extension
  • 2.4. Verifying the Installation
    • 2.4.1. Checking the Tool Paths and Versions
    • 2.4.2. Running a Simple Rust Program
    • 2.4.3. Running the Rust Tools
• 3. Developing Mixed Language Projects
  • 3.1. Current Limitations
  • 3.2. Ada Main with Rust Library
    • 3.2.1. Rust Library
    • 3.2.2. Ada Main

• A. Platform-Specific Information
  • Native Linux and Native Windows
    • Introduction
    • Limitations
    • Using GNAT Pro for Rust
  • AArch64 Bare Metal
    • Introduction
    • Limitations
    • Using GNAT Pro for Rust
  • AArch64 FastOS
    • Introduction
    • Limitations
    • Using GNAT Pro for Rust
  • AArch64 Linux
    • Introduction
    • Limitations
    • Using GNAT Pro for Rust
• B. Apache License