diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -5,6 +5,7 @@ TIMECMD?= STDTIME?=/usr/bin/time -f "$* (real: %e, user: %U, sys: %S, mem: %M ko)" TIMER=$(if $(TIMED), $(STDTIME), $(TIMECMD)) +PROFILE?= VERBOSE?= SHOW := $(if $(VERBOSE),@true "",@echo "") HIDE := $(if $(VERBOSE),,@) @@ -59,9 +60,13 @@ else COQPRIME_FOLDER := coqprime ifneq ($(filter 8.5%,$(COQ_VERSION)),) # 8.5 else +ifneq ($(PROFILE),) +OTHERFLAGS ?= -profile-ltac -w "-deprecated-appcontext -notation-overridden" +else OTHERFLAGS ?= -w "-deprecated-appcontext -notation-overridden" endif endif +endif COQPATH?=$(shell pwd)/$(COQPRIME_FOLDER) export COQPATH |