From a4e5b19540040b2029be257b5e5eb703938a26e0 Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Sun, 9 Feb 2025 22:31:12 -0800
Subject: [PATCH] Use manifest file

---
 fcov/coverage/RISCV_coverage_csr.svh | 1 -
 fcov/cvw-arch-verif.f                | 7 +++++++
 setup.sh                             | 5 +++++
 3 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 fcov/cvw-arch-verif.f
 create mode 100644 setup.sh

diff --git a/fcov/coverage/RISCV_coverage_csr.svh b/fcov/coverage/RISCV_coverage_csr.svh
index 192867aa..94876195 100644
--- a/fcov/coverage/RISCV_coverage_csr.svh
+++ b/fcov/coverage/RISCV_coverage_csr.svh
@@ -81,7 +81,6 @@ typedef enum {
 
 function int get_csr_val(int hart, int issue, int prev, string name, string field);
   int addr = get_csr_addr(hart, name);
-  $display("Attempting get_csr_val: %s--%s", name, field);
   return get_csr_val_addr(hart, issue, prev, addr, name, field);
 endfunction
 
diff --git a/fcov/cvw-arch-verif.f b/fcov/cvw-arch-verif.f
new file mode 100644
index 00000000..f6f383b7
--- /dev/null
+++ b/fcov/cvw-arch-verif.f
@@ -0,0 +1,7 @@
++incdir+${CVW_ARCH_VERIF}/fcov/unpriv
++incdir+${CVW_ARCH_VERIF}/fcov/priv
++incdir+${CVW_ARCH_VERIF}/fcov/rv64_priv
++incdir+${CVW_ARCH_VERIF}/fcov/rv32_priv
++incdir+${CVW_ARCH_VERIF}/fcov
+${CVW_ARCH_VERIF}/fcov/rvviTrace.sv
+${CVW_ARCH_VERIF}/fcov/trace2riscvISACOV.sv
diff --git a/setup.sh b/setup.sh
new file mode 100644
index 00000000..eaece672
--- /dev/null
+++ b/setup.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+CVW_ARCH_VERIF=$(cd "$(dirname "${BASH_SOURCE[0]:-$0}")" && pwd)
+export CVW_ARCH_VERIF
+
+echo "\$CVW_ARCH_VERIF set to $CVW_ARCH_VERIF"