diff options
| author | letouzey | 2003-10-06 17:36:20 +0000 |
|---|---|---|
| committer | letouzey | 2003-10-06 17:36:20 +0000 |
| commit | 170ae4f6bde21d7afc54589e79baa4f8356e7459 (patch) | |
| tree | bc5cde79779edb11329778f2f5550aa583aa41b5 | |
| parent | 268117265183b09fa335cea2c4d8e1b4963c3eb8 (diff) | |
Pour rendre make un peu moins verbeux
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4532 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 43 |
1 files changed, 29 insertions, 14 deletions
@@ -33,11 +33,26 @@ noargument: @echo " make install" @echo " make clean" @echo "or make archclean" + @echo + @echo "For make to be verbose, add VERBOSE=1" + + + ########################################################################### # Compilation options ########################################################################### +# The QUIET variable control whether make will echo complete commands +# or only abbreviated versions. +# Quiet mode is ON by default except if VERBOSE=1 option is given to make + +ifeq ($(VERBOSE),1) + QUIET = +else + QUIET = yes +endif + LOCALINCLUDES=-I config -I tools -I scripts -I lib -I kernel -I library \ -I proofs -I tactics -I pretyping \ -I interp -I toplevel -I parsing -I ide/utils \ @@ -1146,22 +1161,22 @@ clean:: # files compiled with -rectypes kernel/term.cmo: kernel/term.ml - $(OCAMLC) -rectypes $(BYTEFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLC -rectypes $<' &&) $(OCAMLC) -rectypes $(BYTEFLAGS) -c $< kernel/term.cmx: kernel/term.ml - $(OCAMLOPT) -rectypes $(OPTFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLOPT -rectypes $<' &&) $(OCAMLOPT) -rectypes $(OPTFLAGS) -c $< library/nametab.cmo: library/nametab.ml - $(OCAMLC) -rectypes $(BYTEFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLC -rectypes $<' &&) $(OCAMLC) -rectypes $(BYTEFLAGS) -c $< library/nametab.cmx: library/nametab.ml - $(OCAMLOPT) -rectypes $(OPTFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLOPT -rectypes $<' &&) $(OCAMLOPT) -rectypes $(OPTFLAGS) -c $< proofs/tacexpr.cmo: proofs/tacexpr.ml - $(OCAMLC) -rectypes $(BYTEFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLC -rectypes $<' &&) $(OCAMLC) -rectypes $(BYTEFLAGS) -c $< proofs/tacexpr.cmx: proofs/tacexpr.ml - $(OCAMLOPT) -rectypes $(OPTFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLOPT -rectypes $<' &&) $(OCAMLOPT) -rectypes $(OPTFLAGS) -c $< # files compiled with camlp4 because of streams syntax @@ -1191,28 +1206,28 @@ parsing/lexer.cmo: parsing/lexer.ml4 .SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .mly .ml4 .v .vo .el .elc .ml.cmo: - $(OCAMLC) $(BYTEFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLC $<' &&) $(OCAMLC) $(BYTEFLAGS) -c $< .mli.cmi: - $(OCAMLC) $(BYTEFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLC $<' &&) $(OCAMLC) $(BYTEFLAGS) -c $< .ml.cmx: - $(OCAMLOPT) $(OPTFLAGS) -c $< + $(if $(QUIET),@echo 'OCAMLOPT $<' &&) $(OCAMLOPT) $(OPTFLAGS) -c $< .mll.ml: - ocamllex $< + $(if $(QUIET),@echo 'OCAMLOPT $<' &&) ocamllex $< .mly.ml: - ocamlyacc $< + $(if $(QUIET),@echo 'OCAMLOPT $<' &&) ocamlyacc $< .mly.mli: - ocamlyacc $< + $(if $(QUIET),@echo 'OCAMLOPT $<' &&) ocamlyacc $< .ml4.cmx: - $(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< + $(if $(QUIET),@echo 'OCAMLOPT4 $<' &&) $(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< .ml4.cmo: - $(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< + $(if $(QUIET),@echo 'OCAMLC4 $<' &&) $(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< #.v.vo: # $(BOOTCOQTOP) -compile $* |