-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.rs
30 lines (26 loc) · 1.06 KB
/
build.rs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
/*
use std::fs::File;
use std::io::Read;
use std::io::Write;
use std::path::Path;
*/
fn main() {
/* // Uncomment this to generate the elf_data.rs file
let input_file = Path::new("/workspaces/RL4/user_space/hello_world/target/target/debug/hello_world");
let output_file = Path::new("/workspaces/RL4/elf_data.rs");
let mut file = File::open(input_file).expect("Failed to open input file");
let mut contents = Vec::new();
file.read_to_end(&mut contents).expect("Failed to read input file");
let mut output_file = File::create(output_file).expect("Failed to create output file");
output_file.write_all(b"pub const ELF_DATA: &[u8] = &[")
.expect("Failed to write output file");
for (i, byte) in contents.iter().enumerate() {
if i > 0 {
output_file.write_all(b", ").expect("Failed to write output file");
}
output_file.write_all(format!("0x{:02X}", byte).as_bytes())
.expect("Failed to write output file");
}
output_file.write_all(b"];").expect("Failed to write output file");
*/
}