From c4ea40a165d61143c731653bc505ab1a1303591b Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 2 Dec 2021 16:29:07 +0100
Subject: [PATCH] Use lake env lean.

---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index 68a5762..a46ecb6 100644
--- 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/$*