From 94d899ad95a5c012aefc3677cfc793ef08de6dcf Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Tue, 9 Nov 2021 23:43:55 -0500
Subject: [PATCH] refactor: use `supportInterpreter` in lakefile

---
 lakefile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index 1ae9dc5002..fde57915c7 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -3,4 +3,4 @@ open System Lake DSL
 
 package lake where
   binRoot := `Lake.Main
-  moreLinkArgs := if Platform.isWindows then #[] else #["-rdynamic"]
+  supportInterpreter := true