From 6baeb3bc81437793bb33b77a52679dfe1a9e5746 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Mon, 4 Nov 2019 16:34:32 +0000 Subject: Update Makefile and gitignore --- Makefile | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index b71f581..d86d0b0 100644 --- a/Makefile +++ b/Makefile @@ -10,13 +10,13 @@ VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS)) ARGS := -R CoqUp CoqUp -coq: Makefile.coq.all - $(MAKE) -f Makefile.coq.all +coq: Makefile.coq + $(MAKE) -f Makefile.coq -Makefile.coq.all: Makefile $(LIBVS) $(VS) - $(COQBIN)coq_makefile $(ARGS) $(LIBVS) $(VS) -o Makefile.coq.all +Makefile.coq: Makefile $(LIBVS) $(VS) + $(COQBIN)coq_makefile $(ARGS) $(LIBVS) $(VS) -o Makefile.coq -clean:: Makefile.coq.all - $(MAKE) -f Makefile.coq.all clean +clean:: Makefile.coq + $(MAKE) -f Makefile.coq clean rm -f */*.v.d */*.glob */*.vo */*~ *~ - rm -f Makefile.coq.all + rm -f Makefile.coq -- cgit