Ferrocene 编译器
Ferrocene 是一款用于安全和任务关键系统的合格 Rust 工具链。 RustRover 支持 Ferrocene 工具链,可使用其替代标准工具链。
开始之前
请确保已安装 Rustup。 可通过运行
rustup --version进行检查。安装 CriticalUp,Ferrocene 工具链管理器。 详细安装说明请参阅 安装 CriticalUp。
通过运行以下命令添加 Ferrocene 工具链:
criticalup link create要检查结果,请运行:
rustup toolchain list显示的列表中应包含 Ferrocene 工具链。
在 RustRover 中启用 Ferrocene 工具链
请检查项目是否包含
criticalup.toml,这是项目配置所需的清单文件。 如果没有:通过运行以下命令将
criticalup.toml文件添加到项目中:criticalup init --release stable-26.02.0下载所需 Ferrocene 版本的全部库:
criticalup install
要将默认工具链切换为 Ferrocene,请运行:
rustup default ferrocene请确保
criticalup.toml在软件包列表中包含rust-src。 如果没有,您可以通过点击构建工具窗口中的Add rust-src to criticalup.toml链接将其添加到列表中。
2026年 8月 6日