Use lake env lean.

leanprover-community · Dec 2, 2021 · c4ea40a · c4ea40a
1 parent e46540e
commit c4ea40a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GNUmakefile b/GNUmakefile
@@ -10,4 +10,4 @@ build:
 examples: $(addsuffix .run, $(EXAMPLES))
 
 examples/%.run: build
-	LEAN_PATH=build/lib lean examples/$*
+	lake env lean examples/$*