Revert "refactor: switch to lakefile.toml"

This reverts commit 771f304.
leanprover · Jul 15, 2024 · b902133 · b902133
1 parent 3ef73fc
commit b902133
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 17 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -0,0 +1,22 @@
+import Lake
+open Lake DSL
+
+package LeanSAT {
+  -- This is 32 MB stack size for threads, we need this for bitblasting very large formulas
+  moreGlobalServerArgs := #["--tstack=32000"]
+}
+
+@[test_driver]
+lean_lib Test
+
+lean_lib Eval
+
+@[default_target]
+lean_lib LeanSAT {
+  precompileModules := true
+}
+
+@[default_target]
+lean_exe defaultExe {
+  root := `Main
+}
diff --git a/lakefile.toml b/lakefile.toml