refactor: switch to lakefile.toml

leanprover · Jul 18, 2024 · be0330c · be0330c
1 parent 8ecdb6d
commit be0330c
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 22 deletions.
diff --git a/lakefile.lean b/lakefile.lean
diff --git a/lakefile.toml b/lakefile.toml
@@ -0,0 +1,17 @@
+name = "LeanSAT"
+defaultTargets = ["LeanSAT", "defaultExe"]
+testRunner = "Test"
+
+[[lean_lib]]
+name = "Test"
+
+[[lean_lib]]
+name = "Eval"
+
+[[lean_lib]]
+name = "LeanSAT"
+precompileModules = true
+
+[[lean_exe]]
+name = "defaultExe"
+root = "Main"