From b0fda4ce1557a316e4d4ed1152025d9def753831 Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Thu, 30 Jan 2025 13:09:26 +0200
Subject: feat: Pass guest entrypoint type to host

---
 guests_macro/src/lib.rs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'guests_macro')

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 {{
             () => {{
-- 
cgit v1.2.3