From d7d2fc3a160f4b243785049788b1ab3a8e6e60e4 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai@users.noreply.github.com>
Date: Tue, 31 Oct 2017 21:34:50 -0400
Subject: [PATCH] fix Makefile (#4)

* Update Makefile

* make clean depends on Makefile.coq
---
 src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 8ee18cf..c3a68d3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -15,9 +15,9 @@ Makefile.coq: Makefile $(COQTHEORIES)
    echo $(COQTHEORIES)) > _CoqProject
 	coq_makefile -f _CoqProject -o Makefile.coq
 
-%.vo: Makefile.coq
+%: Makefile.coq
 	$(MAKE) -f Makefile.coq "$@"
 
-clean:
+clean: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
 	rm -f _CoqProject Makefile.coq