From 1ee539904d48f4fbe544a6e6ff744533bd8d4a0a Mon Sep 17 00:00:00 2001
From: Hongrui Fang <chfanghr@gmail.com>
Date: Thu, 19 Jan 2023 00:03:32 +0800
Subject: [PATCH] export scripts with trace messages

---
 agora-scripts/Main.hs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/agora-scripts/Main.hs b/agora-scripts/Main.hs
index e1aa7f5..d9d656e 100644
--- a/agora-scripts/Main.hs
+++ b/agora-scripts/Main.hs
@@ -11,6 +11,7 @@ module Main (main) where
 import Agora.Bootstrap qualified as Bootstrap
 import Agora.Linker (linker)
 import Data.Default (def)
+import Plutarch (Config (Config), TracingMode (DoTracingAndBinds))
 import ScriptExport.Export (exportMain)
 import ScriptExport.Types (
   Builders,
@@ -24,4 +25,10 @@ builders :: Builders
 builders =
   mconcat
     [ insertScriptExportWithLinker "agora" (Bootstrap.agoraScripts def) linker
+    , insertScriptExportWithLinker
+        "agoraDebug"
+        ( Bootstrap.agoraScripts
+            (Config DoTracingAndBinds)
+        )
+        linker
     ]