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/$*