diff options
| author |  Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU> | 2015-09-10 18:52:17 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@dhcp-18-189-51-40.dyn.MIT.EDU> | 2015-09-10 18:52:17 -0400 |
| commit | 2c7b377febf9f42de6c7313dfe4154efdfb90da1 (patch) | |
| tree | 3cd619d157fd7d228a9f534be23b3d23261bdf33 /Makefile | |
| parent | f4e1d24da03c54fde2df41aa4a3d8ed17940004e (diff) | |
init our centralized repo
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 000000000..2799187f6 --- /dev/null +++ b/Makefile @@ -0,0 +1,23 @@ +# © 2015 the Massachusetts Institute of Technology +# @author bbaren + +SOURCES := $(shell grep -v '^-' _CoqProject | tr '\n' ' ') +COQLIBS := $(shell grep '^-' _CoqProject | tr '\n' ' ') + +include .make/cc.mk +include .make/coq.mk + +FAST_TARGETS += check_fiat clean + +.DEFAULT_GOAL = all +.PHONY: all clean coquille + +all: $(SOURCES) + @echo "done!" + +coquille: + vim -c "execute coquille#Launch($(COQLIBS))" -N + +clean: + $(RM) $(foreach f,$(SOURCES),$(call coq-generated,$(basename $f))) + |