From 424674a0a241c0eb3947d3b14de31a7dace7ab85 Mon Sep 17 00:00:00 2001
From: "Daniel R. Grayson" <dan@math.uiuc.edu>
Date: Thu, 15 Oct 2015 10:21:43 -0400
Subject: [PATCH] improve Makefile

---
 .gitignore | 1 +
 Makefile   | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index fa5962b..fe6f2d8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ Exp/
 cubical
 Makefile.bak
 Main
+.depends-made
diff --git a/Makefile b/Makefile
index de58777..aad6937 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,8 @@ all: depends cubical
 # so we do it the old way at the very end
 cubical: $(INPUT:.hs=.o) $(GRAMMAR_OBJECT_FILES)
 	$(GHC) --make $(OPTIONS) -o cubical -rtsopts Main
-depends: $(INPUT) $(GRAMMAR_HS_FILES); $(GHC) -M $^
+Makefile depends: .depends-made
+.depends-made: $(INPUT) $(GRAMMAR_HS_FILES); $(GHC) -M $^; touch $@
 %.hi %.o: %.hs; $(GHC) $(GHCOPTIONS) $<
 %.hs: %.y; happy -gca $<
 %.hs: %.x; alex -g $<
-- 
2.34.1