diff options
Diffstat (limited to 'mathcomp/all')
| -rw-r--r-- | mathcomp/all/Makefile | 22 |
1 files changed, 2 insertions, 20 deletions
diff --git a/mathcomp/all/Makefile b/mathcomp/all/Makefile index 30204d2..7e434c0 100644 --- a/mathcomp/all/Makefile +++ b/mathcomp/all/Makefile @@ -1,25 +1,7 @@ # -*- Makefile -*- -COQPROJECT="Make" - -# -------------------------------------------------------------------- -include Makefile.common - -# -------------------------------------------------------------------- +COQPROJECT=Make COQMAKEOPTIONS=--no-print-directory # -------------------------------------------------------------------- -.PHONY: install - -install: - $(MAKE) -f Makefile.coq install - -# -------------------------------------------------------------------- -.PHONY: count - -COQFILES := $(shell grep '.v$$' Make) - -count: - @coqwc $(COQFILES) | tail -1 | \ - awk '{printf ("%d (spec=%d+proof=%d)\n", $$1+$$2, $$1, $$2)}' - +include ../Makefile.common |