From 8cafe9f27181352f764ad73012a69129d56e5e3a Mon Sep 17 00:00:00 2001
From: Lucas Klemmer <lucas.klemmer@jku.at>
Date: Fri, 5 Jul 2024 23:13:50 +0200
Subject: [PATCH] Update spade integration

---
 wal/spade.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wal/spade.py b/wal/spade.py
index 993e5ae..85af6c7 100644
--- a/wal/spade.py
+++ b/wal/spade.py
@@ -17,11 +17,11 @@ def __init__(self, pass_dirs, wavefile):
         for pass_dir in pass_dirs:
             wal.append_walpath(pass_dir)
 
-        wal.eval_str('(require spade-definitions)')
+        wal.eval_str('(eval-file spade-definitions)')
         wal.eval_str(f'(define TEST "{self.testname}")')
         self.wal = wal
         self.config_file = wavefile.with_suffix('')
-        wal.eval_str(f'(require "{self.config_file}")')
+        wal.eval_str(f'(eval-file "{self.config_file}")')
         wal.load(str(wavefile))
         self.top = wal.eval_str('top_name')
         self.spade = Spade(self.top, 'build/state.ron')