From 28c2cef34e5484506f243f62908cbb241bfa45c0 Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolff@lri.fr>
Date: Tue, 24 Sep 2024 11:19:04 +0200
Subject: [PATCH] commenting in generator, updating reasme_dev for start config
---
C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy | 2 +-
README_dev | 3 +++
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy b/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy
index f6f70b866..267b5e441 100644
--- a/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy
+++ b/C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy
@@ -156,7 +156,7 @@ fun handle_declarations_wrapper ast v2 ctxt =
end
\<close>
-(*setup \<open>Context.theory_map (C_Module.Data_Accept.put (handle_declarations_wrapper))\<close> *)
+setup \<open>Context.theory_map (C_Module.Data_Accept.put (handle_declarations_wrapper))\<close>
(* Note: The hook "C_Module.C_Term.map_translation_unit" is not adequate, as it is
meant for the term antiquotation (its callback returns a term, not a theory/context *)
diff --git a/README_dev b/README_dev
index ac2d9407b..f8dd26eec 100644
--- a/README_dev
+++ b/README_dev
@@ -9,3 +9,6 @@ START FOR EXAMPLE:
cd Isabelle_C
isabelle jedit -d . C11-BackEnds/Clean_wrapper/examples/Coder_Test_ExprStmt.thy
+Branch LorenzWinkler:
+cd Isabelle_C
+isabelle jedit -d C11-FrontEnd -d C11-BackEnds/Clean C11-BackEnds/Clean_wrapper/examples/Coder_Test_TUnits.thy
--
GitLab