doc: Add lakefile.toml example

lenianiva · Feb 2, 2025 · 0aa50a8 · 0aa50a8
1 parent 3062ac6
commit 0aa50a8
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"