update lean

ammkrn · Nov 30, 2023 · 3e38d03 · 3e38d03
1 parent 8b1d269
commit 3e38d03
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 15 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1 @@
-build/
-*.olean
+.lake/
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -0,0 +1,5 @@
+{"version": 7,
+ "packagesDir": ".lake/packages",
+ "packages": [],
+ "name": "lean4export",
+ "lakeDir": ".lake"}
diff --git a/lakefile.lean b/lakefile.lean
@@ -1,20 +1,12 @@
 import Lake
 open Lake DSL
 
-package «lean4export» {
-  -- add package configuration options here
-}
+package lean4export
 
-lean_lib Export {
-  -- add library configuration options here
-}
-
-lean_lib Test {
-  -- add library configuration options here
-}
+lean_lib Export
+lean_lib Test
 
 @[default_target]
-lean_exe «lean4export» {
+lean_exe lean4export where
   root := `Main
   supportInterpreter := true
-}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.2.0-rc4
+leanprover/lean4:v4.3.0
-Original file line number
+Diff line change
@@ -1,2 +1 @@
-    build/
-    *.olean
+    .lake/
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:v4.2.0-rc4
		leanprover/lean4:v4.3.0