diff options
Diffstat (limited to 'guests_macro/src/lib.rs')
| -rw-r--r-- | guests_macro/src/lib.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/guests_macro/src/lib.rs b/guests_macro/src/lib.rs index ba6a9ec..f87e8a5 100644 --- a/guests_macro/src/lib.rs +++ b/guests_macro/src/lib.rs @@ -1,9 +1,15 @@ +use std::{ fs::File, io::Write }; use proc_macro::TokenStream; mod parse_fn; #[proc_macro_attribute] pub fn proving_entrypoint(_: TokenStream, mut item: TokenStream) -> TokenStream { let (name, args, ret) = parse_fn::split_fn(&item); + + // Put the file in zkVMs-benchmarks/guests/ + let mut output = File::create("../type.txt").unwrap(); + write!(output, "{}", args); + item.extend(format!("#[macro_export] macro_rules! entrypoint_expr {{ () => {{ |