fix Makefile (#4)

* Update Makefile * make clean depends on Makefile.coq
snu-sf · Nov 1, 2017 · d7d2fc3 · d7d2fc3
1 parent a70c412
commit d7d2fc3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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