From f230ff18423143eb4dd4cea5b30b22f49b9ce049 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 20 Sep 2016 14:03:18 -0400
Subject: Allow passing PROFILE=1 to make for -profile-ltac

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0deb7bd28..6a643fa7b 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3