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