improve Makefile

diff --git a/.gitignore b/.gitignore
index fa5962bd347cf68d05a7e15ef0b30489fe7a2e76..fe6f2d80d778f9f1830cf3aacfedf131ad5b0fda 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ Exp/
 cubical
 Makefile.bak
 Main
+.depends-made

diff --git a/Makefile b/Makefile
index de58777032651893b73ad056c600dfda39a9bc21..aad69371ddf9c7cea7f0a7c9fdde4a498fd0daa7 100644 (file)
--- 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 $<