diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:34:32 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:34:32 +0000 |
commit | 6baeb3bc81437793bb33b77a52679dfe1a9e5746 (patch) | |
tree | 6e1e8d33239bb91b77abfbac5f3a0105abf6ebad /Makefile | |
parent | def3a8ecb9b12214055c53af22cd6d3f939215c4 (diff) | |
download | vericert-6baeb3bc81437793bb33b77a52679dfe1a9e5746.tar.gz vericert-6baeb3bc81437793bb33b77a52679dfe1a9e5746.zip |
Update Makefile and gitignore
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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 |