deprecate profile option

Signed-off-by: onur-ozkan <[email protected]>

Author: onur-ozkan

src/bootstrap/src/core/config/config.rs

@@ -698,6 +698,7 @@ pub(crate) struct TomlConfig {
     rust: Option<Rust>,
     target: Option<HashMap<String, TomlTarget>>,
     dist: Option<Dist>,
+    // FIXME: Remove this field at Q3 2025, it has been replaced by `include`.
     profile: Option<String>,
     include: Option<Vec<PathBuf>>,
 }
@@ -1609,6 +1610,7 @@ impl Config {
         }
 
         if let Some(include) = &toml.profile {
+            eprintln!("Warning: `profile` is deprecated. Prefer `include` instead.");
             // Allows creating alias for profile names, allowing
             // profiles to be renamed while maintaining back compatibility
             // Keep in sync with `profile_aliases` in bootstrap.py

src/bootstrap/src/utils/change_tracker.rs

@@ -394,6 +394,6 @@ pub const CONFIG_CHANGE_HISTORY: &[ChangeInfo] = &[
     ChangeInfo {
         change_id: 138934,
         severity: ChangeSeverity::Info,
-        summary: "Added new option `include` to create config extensions.",
+        summary: "Added a new option `include` to create config extensions; `profile` is now deprecated.",
     },
 ];