max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

refactor: use supportInterpreter in lakefile

Browse source
This commit is contained in:
tydeu 2021-11-09 23:43:55 -05:00
parent 4c9c0cae30
commit 94d899ad95
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lakefile.lean
View file

@ -3,4 +3,4 @@ open System Lake DSL
package lake where
binRoot := `Lake.Main
moreLinkArgs := if Platform.isWindows then #[] else #["-rdynamic"]
supportInterpreter := true