diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-14 12:39:25 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-14 12:46:02 -0400 |
| commit | fd7225f7fe483cd3bcfac071da76f7040aed9014 (patch) | |
| tree | 3530a63fa1f0060c1c804fee3baa366f67005581 | |
| parent | 33e49c00046bb8c988eec789bde89f3a6913542b (diff) | |
Add a printlite target to display lite files
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rw-r--r-- | Makefile | 12 |
2 files changed, 11 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 736667d64..34ad288c3 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,7 +14,7 @@ matrix: - dist: trusty env: COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" TARGETS="coq" - dist: trusty - env: TARGETS="lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" + env: TARGETS="printlite lite" COQ_VERSION="8.6" COQ_PACKAGE="coq-8.6" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" # - dist: trusty # env: COQ_VERSION="8.5pl3" COQ_PACKAGE="coq-8.5pl3 libcoq-ocaml-8.5pl3" COQPRIME="coqprime" PPA="ppa:jgross-h/many-coq-versions" # - dist: trusty @@ -14,7 +14,7 @@ INSTALLDEFAULTROOT := Crypto .PHONY: coq clean update-_CoqProject cleanall install \ install-coqprime clean-coqprime coqprime \ specific-display display \ - specific non-specific lite only-heavy + specific non-specific lite only-heavy printlite SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' | uniq @@ -37,7 +37,7 @@ COQ_VERSION := $(firstword $(subst $(COQ_VERSION_PREFIX),,$(shell "$(COQBIN)coqc -include Makefile.coq endif -ifeq ($(filter lite only-heavy printdeps printreversedeps,$(MAKECMDGOALS)),) +ifeq ($(filter lite only-heavy printdeps printreversedeps printlite,$(MAKECMDGOALS)),) -include etc/coq-scripts/Makefile.vo_closure else include etc/coq-scripts/Makefile.vo_closure @@ -82,6 +82,14 @@ only-heavy: $(HEAVY_VOFILES) coqprime specific-display: $(SPECIFIC_DISPLAY_VO:.vo=.log) coqprime display: $(DISPLAY_VO:.vo=.log) coqprime +printlite:: + @echo 'Files Made:' + @for i in $(sort $(LITE_VOFILES)); do echo $$i; done + @echo + @echo + @echo 'Files Not Made:' + @for i in $(sort $(LITE_ALL_UNMADE_VOFILES)); do echo $$i; done + COQPRIME_FOLDER := coqprime ifneq ($(filter 8.5%,$(COQ_VERSION)),) # 8.5 else |