RustRover 2026.2 Help

Ferrocene 编译器

Ferrocene 是一款用于安全和任务关键系统的合格 Rust 工具链。 RustRover 支持 Ferrocene 工具链,可使用其替代标准工具链。

开始之前

  1. 请确保已安装 Rustup。 可通过运行 rustup --version 进行检查。

  2. 安装 CriticalUp,Ferrocene 工具链管理器。 详细安装说明请参阅 安装 CriticalUp

  3. 通过运行以下命令添加 Ferrocene 工具链:

    criticalup link create

    要检查结果,请运行:

    rustup toolchain list

    显示的列表中应包含 Ferrocene 工具链。

在 RustRover 中启用 Ferrocene 工具链

  1. 请检查项目是否包含 criticalup.toml ,这是项目配置所需的清单文件。 如果没有:

    1. 通过运行以下命令将 criticalup.toml 文件添加到项目中:

      criticalup init --release stable-26.02.0
    2. 下载所需 Ferrocene 版本的全部库:

      criticalup install
  2. 要将默认工具链切换为 Ferrocene,请运行:

    rustup default ferrocene
  3. 请确保 criticalup.toml 在软件包列表中包含 rust-src。 如果没有,您可以通过点击构建工具窗口中的 Add rust-src to criticalup.toml 链接将其添加到列表中。

2026年 8月 6日