diff options
author | jadep <jade.philipoom@gmail.com> | 2016-07-21 11:48:24 -0400 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2016-07-21 11:48:24 -0400 |
commit | 458c91704228f4a895b180c4c93d9225128e62a5 (patch) | |
tree | 7762ec48bff109ec723773a10f6945bfd31b03cf | |
parent | f0df8c590bfc44c39c18a4c6f03cfb5a52435399 (diff) | |
parent | d22b177d86e0544668b0a7e36063936376f1996d (diff) |
Merge branch 'master' of github.com:mit-plv/fiat-crypto
-rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -26,7 +26,13 @@ ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4 COQC?=$(TIMER) "$(COQBIN)coqc" endif +ifneq ($(filter-out $(SUPER_FAST_TARGETS),$(MAKECMDGOALS)),) -include Makefile.coq +else +ifeq ($(MAKECMDGOALS),) +-include Makefile.coq +endif +endif .DEFAULT_GOAL := coq @@ -64,7 +70,10 @@ install-coqprime: Makefile.coq: Makefile _CoqProject $(SHOW)'COQ_MAKEFILE -f _CoqProject > $@' - $(HIDE)$(COQBIN)coq_makefile -f _CoqProject | sed s'|^\(-include.*\)$$|ifneq ($$(filter-out $(FAST_TARGETS),$$(MAKECMDGOALS)),)~\1~else~ifeq ($$(MAKECMDGOALS),)~\1~endif~endif|g' | tr '~' '\n' | sed s'/^clean:$$/clean-old::/g' | sed s'/^clean::$$/clean-old::/g' | sed s'/^Makefile: /Makefile-old: /g' > $@ + $(HIDE)$(COQBIN)coq_makefile -f _CoqProject | sed s'|^\(-include.*\)$$|ifneq ($$(filter-out $(FAST_TARGETS),$$(MAKECMDGOALS)),)~\1~else~ifeq ($$(MAKECMDGOALS),)~\1~endif~endif|g' | tr '~' '\n' | sed s'/^clean:$$/clean::/g' | sed s'/^Makefile: /Makefile-old: /g' > $@ + +clean:: + rm -f Makefile.coq cleanall:: clean clean-coqprime rm -f .dir-locals.el |