diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 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 |