diff options
| author |  Robert Sloan <varomodt@Roberts-MacBook.local> | 2015-09-16 16:35:03 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@Roberts-MacBook.local> | 2015-09-16 16:35:03 -0400 |
| commit | 1e67fe3272ac40e1d5b0908940f740b523db0c21 (patch) | |
| tree | 2214a3a5b6f867067bbcaf3896c1aef97b2db87d /Makefile | |
| parent | 2c7b377febf9f42de6c7313dfe4154efdfb90da1 (diff) | |
Basic Galois Field Theory Modules
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ # © 2015 the Massachusetts Institute of Technology -# @author bbaren +# @author bbaren + rsloan SOURCES := $(shell grep -v '^-' _CoqProject | tr '\n' ' ') COQLIBS := $(shell grep '^-' _CoqProject | tr '\n' ' ') @@ -16,7 +16,7 @@ all: $(SOURCES) @echo "done!" coquille: - vim -c "execute coquille#Launch($(COQLIBS))" -N + vim -c "execute coquille#Launch($(COQLIBS))" . clean: $(RM) $(foreach f,$(SOURCES),$(call coq-generated,$(basename $f))) |