From a161a265a8636010be0d8e8abd284768ef56037d Mon Sep 17 00:00:00 2001
From: "Daniel R. Grayson" <dan@math.uiuc.edu>
Date: Fri, 23 Oct 2015 12:15:05 -0400
Subject: [PATCH] update Makefile

---
 GNUmakefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/GNUmakefile b/GNUmakefile
index 9c1928f..956e6db 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -15,7 +15,7 @@ GRAMMAR_FILES := $(GRAMMAR_HS_FILES) $(GRAMMAR_X_FILES) $(GRAMMAR_Y_FILES) Exp/D
 GRAMMAR_HS_FILES += $(GRAMMAR_X_FILES:.x=.hs)
 GRAMMAR_HS_FILES += $(GRAMMAR_Y_FILES:.y=.hs)
 GRAMMAR_OBJECT_FILES = $(GRAMMAR_HS_FILES:.hs=.o)
-GHCOPTIONS = -O2 -rtsopts
+GHCOPTIONS = -O2 -rtsopts -v0
 
 all: cubical
 
@@ -28,19 +28,19 @@ all: cubical
 #   cubical: $(INPUT:.hs=.o) $(GRAMMAR_OBJECT_FILES); $(GHC) -o $@ $(GHCOPTIONS) $^
 
 cubical: $(INPUT:.hs=.o) $(GRAMMAR_OBJECT_FILES)
-	$(GHC) --make $(OPTIONS) -o cubical -rtsopts Main
+	$(GHC) --make $(GHCOPTIONS) -o cubical Main
 
 depends: Makefile
 Makefile: $(INPUT) $(GRAMMAR_HS_FILES)
 	$(GHC) -M $^
-	touch $@
+	@ touch $@
 INCLUDE=yes
 ifeq ($(INCLUDE),yes)
 include Makefile
 endif
 %.hi %.o: %.hs
 	$(GHC) $(GHCOPTIONS) $<
-	touch $*.hi $*.o
+	@ touch $*.hi $*.o
 %.hs: %.y
 	happy -gca $<
 %.hs: %.x
@@ -48,7 +48,7 @@ endif
 
 run-bnfc $(GRAMMAR_FILES): Exp.cf
 	bnfc --haskell -d Exp.cf
-	touch $(GRAMMAR_FILES)
+	@ touch $(GRAMMAR_FILES)
 
 TAGS:; hasktags --etags $(INPUT) $(GRAMMAR)
 
-- 
2.34.1