Merge pull request #36 from lenianiva/doc

doc: Add `lakefile.toml` for minimal example
lenianiva · Feb 2, 2025 · 833f03a · 833f03a
2 parents 90f496b + 0aa50a8
commit 833f03a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/templates/minimal/lake-manifest.json b/templates/minimal/lake-manifest.json
@@ -1,5 +1,5 @@
 {"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages": [],
- "name": "template",
+ "name": "Minimal",
  "lakeDir": ".lake"}
diff --git a/templates/minimal/lakefile.toml b/templates/minimal/lakefile.toml
@@ -0,0 +1,7 @@
+name = "Minimal"
+version = "0.1.0"
+defaultTargets = ["minimal"]
+
+[[lean_exe]]
+name = "minimal"
+root = "Main"