From 5f2b3944719d96c65727267407b02d9bdfaf3492 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Mon, 2 Oct 2023 10:30:07 -0700
Subject: [PATCH] Add dependency for lakefile and lean-toolchain

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

diff --git a/Makefile b/Makefile
index c201842..edee774 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 LIB := build/lib/Pantograph.olean
 EXE := build/bin/pantograph
-SOURCE := $(wildcard Pantograph/*.lean) Main.lean Pantograph.lean
+SOURCE := $(wildcard Pantograph/*.lean) $(wildcard *.lean) lean-toolchain
 
 TEST_EXE := build/bin/test
 TEST_SOURCE := $(wildcard Test/*.lean)