chore: switch to lakefile.toml

leanprover · Jun 7, 2024 · 5fa7a50 · 5fa7a50
1 parent c1da28a
commit 5fa7a50
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/lakefile.toml b/lakefile.toml
@@ -0,0 +1,15 @@
+name = "lean4checker"
+defaultTargets = ["Lean4Checker", "lean4checker", "Lean4CheckerTests"]
+
+[[lean_lib]]
+name = "Lean4Checker"
+globs = ["Lean4Checker.*"]
+
+[[lean_lib]]
+name = "Lean4CheckerTests"
+globs = ["Lean4CheckerTests.*"]
+
+[[lean_exe]]
+name = "lean4checker"
+root = "Main"
+supportInterpreter = true