diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:26:23 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:26:23 +0000 |
| commit | 04c3cd732ba75f22580b8cae4f8e6a64151d1a1a (patch) | |
| tree | 1a9665e8984038a34b6bea9413f6d734b360d6f3 /Makefile | |
| parent | 0047efca720eadc6d5a91b99318be985380b5fd6 (diff) | |
| download | vericert-04c3cd732ba75f22580b8cae4f8e6a64151d1a1a.tar.gz vericert-04c3cd732ba75f22580b8cae4f8e6a64151d1a1a.zip | |
Add Makefile and _CoqProject
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..33841ab --- /dev/null +++ b/Makefile @@ -0,0 +1,22 @@ +IGNORE:= + +LIBVS:=$(wildcard CoqUp/Lib/*.v) +LIBVS:=$(filter-out $(IGNORE:%=%.v),$(LIBVS)) + +VS:=$(wildcard CoqUp/*.v) +VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS)) + +.PHONY: coq clean + +ARGS := -R Kami Kami + +coq: Makefile.coq.all + $(MAKE) -f Makefile.coq.all + +Makefile.coq.all: Makefile $(LIBVS) $(VS) + $(COQBIN)coq_makefile $(ARGS) $(LIBVS) $(VS) -o Makefile.coq.all + +clean:: Makefile.coq.all + $(MAKE) -f Makefile.coq.all clean + rm -f */*.v.d */*.glob */*.vo */*~ *~ + rm -f Makefile.coq.all |