ビルドプロファイル(Alire)

Alireがクレートごとに選ぶコンパイラスイッチの組で、Development・Release・Validationの3つがある。既定ではルートのクレートがDevelopment、依存クレートがReleaseになる。

概念URI

https://comcomponent.com/knowledge/alire-build-profile/

別名・表記

build profile / Development / Release / Validation

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• ビルドプロファイル(Alire)はAlireのマニフェスト(alire.toml)で構成できます。クレートごとのビルドプロファイルはマニフェストの[build-profiles]表で指定でき、ルートのクレートはalr buildの--release・--validation・--developmentでも変えられる / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• 契約による設計(Pre/Post)はビルドプロファイル(Alire)で構成できます。Alireが生成するスイッチのうち、事前条件・事後条件を有効にする-gnataを含むのはValidationだけで、既定のDevelopmentとReleaseでは契約が実行時に検査されない(alr 2.1で確認) / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典 出典

この概念を扱う記事

• Alire で Ada のプロジェクトを始める ── プロジェクト作成、依存の追加、ビルドプロファイル、GNATproveまで(言及)

一次資料

• https://alire.ada.dev/docs/

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。