Merge pull request #2420 from hermit-os/profile-profiling

feat(xtask): add profiling profile

Author: mkroening

hermit-builtins/Cargo.toml

@@ -9,4 +9,8 @@ libm = "0.2"
 crate-type = ["staticlib"]
 harness = false
 
+[profile.profiling]
+inherits = "release"
+debug = "line-tables-only"
+
 [workspace]

xtask/src/artifact.rs

@@ -42,6 +42,14 @@ impl Artifact {
 		}
 	}
 
+	pub fn builtins_profile_path_component(&self) -> &str {
+		if self.profile_path_component() == "profiling" {
+			self.profile_path_component()
+		} else {
+			"release"
+		}
+	}
+
 	pub fn target_dir(&self) -> PathBuf {
 		if let Some(target_dir) = &self.target_dir {
 			return path::absolute(target_dir).unwrap();
@@ -58,7 +66,7 @@ impl Artifact {
 		[
 			self.builtins_target_dir().as_path(),
 			self.arch.hermit_triple().as_ref(),
-			"release".as_ref(),
+			self.builtins_profile_path_component().as_ref(),
 			"libhermit_builtins.a".as_ref(),
 		]
 		.iter()

xtask/src/build.rs

@@ -74,8 +74,10 @@ impl Build {
 		eprintln!("Building hermit-builtins");
 		let mut cargo = crate::cargo();
 		cargo
-			.args(["build", "--release"])
+			.arg("build")
 			.arg("--manifest-path=hermit-builtins/Cargo.toml")
+			.arg("--profile")
+			.arg(self.cargo_build.artifact.builtins_profile_path_component())
 			.args(self.cargo_build.artifact.arch.builtins_cargo_args())
 			.args(self.cargo_build.builtins_target_dir_arg());