From 1475843ec5e5da3378d8fa28c0f40e7ee54dd002 Mon Sep 17 00:00:00 2001
From: Shupei Fan <dymarkfan@outlook.com>
Date: Wed, 11 Sep 2024 07:43:44 +0000
Subject: [PATCH] [nix] fix verilator build

---
 nix/t1/conversion/sv-to-verilator-emulator.nix | 5 ++++-
 nix/t1/t1rocket.nix                            | 2 ++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/nix/t1/conversion/sv-to-verilator-emulator.nix b/nix/t1/conversion/sv-to-verilator-emulator.nix
index 550090c1d..10a915317 100644
--- a/nix/t1/conversion/sv-to-verilator-emulator.nix
+++ b/nix/t1/conversion/sv-to-verilator-emulator.nix
@@ -40,7 +40,10 @@ rec {
     verilatorTop
   ]
   ++ extraVerilatorArgs
-  ++ lib.optionals (enableTrace) [ "--trace-fst" ];
+  ++ lib.optionals (enableTrace) [
+    "+define+T1_ENABLE_TRACE"
+    "--trace-fst"
+  ];
 
   buildPhase = ''
     runHook preBuild
diff --git a/nix/t1/t1rocket.nix b/nix/t1/t1rocket.nix
index 6abf8788f..447171288 100644
--- a/nix/t1/t1rocket.nix
+++ b/nix/t1/t1rocket.nix
@@ -45,10 +45,12 @@
     verilator-dpi-lib = scope.makeDifftest {
       outputName = "t1rocket-verilator-dpi-lib";
       moduleType = "dpi_t1rocket";
+      emuType = "verilator";
     };
     verilator-dpi-lib-trace = scope.makeDifftest {
       outputName = "t1rocket-verilator-trace-dpi-lib";
       moduleType = "dpi_t1rocket";
+      emuType = "verilator";
       enableTrace = true;
     };