copy static picolibc.h file into the sysroot

jprendes · jprendes · commit 0c59ad1c6529 · 2026-04-23T20:18:11.000+01:00
Signed-off-by: Jorge Prendes &lt;jorge.prendes@gmail.com&gt;
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cargo-hyperlight"
-version = "0.1.8"
+version = "0.1.9"
 edition = "2024"
 license = "Apache-2.0"
 homepage = "https://github.com/hyperlight-dev/cargo-hyperlight"
diff --git a/src/toolchain.rs b/src/toolchain.rs
@@ -69,6 +69,7 @@ pub fn prepare(args: &Args) -> Result<()> {
         &[
             "third_party/picolibc/libc/include",
             "third_party/picolibc/libc/stdio",
+            "include",
         ]
     };
 

Original file line number	Diff line number	Diff line change
`@@ -69,6 +69,7 @@ pub fn prepare(args: &Args) -> Result<()> {`
`69`	`69`	`&[`
`70`	`70`	`"third_party/picolibc/libc/include",`
`71`	`71`	`"third_party/picolibc/libc/stdio",`
	`72`	`+ "include",`
`72`	`73`	`]`
`73`	`74`	`};`
`74`	`75`