From: Daniel R. Grayson <dan@math.uiuc.edu>
Date: Thu, 15 Oct 2015 14:21:43 +0000 (-0400)
Subject: improve Makefile
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=424674a0a241c0eb3947d3b14de31a7dace7ab85;p=cubicaltt.git

improve Makefile
---

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