diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-01 21:05:42 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-06-01 21:09:19 -0400 |
commit | 3f11f57487ce9e913b36271cee2f8b6b695945cf (patch) | |
tree | 873576b622f746a248a6b2c5be327278b2de79fc /Makefile | |
parent | 5dd87014371a731db764ddd1ae599a3ce776c9c1 (diff) |
Compatibility with coq_makefile2
Work harder to overwrite OTHERFLAGS if there's nothing there
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -79,10 +79,12 @@ display: $(DISPLAY_VO:.vo=.log) coqprime COQPRIME_FOLDER := coqprime ifneq ($(filter 8.5%,$(COQ_VERSION)),) # 8.5 else +ifeq ($(OTHERFLAGS),) ifneq ($(PROFILE),) -OTHERFLAGS ?= -profile-ltac -w "-notation-overridden" +OTHERFLAGS := -profile-ltac -w "-notation-overridden" else -OTHERFLAGS ?= -w "-notation-overridden" +OTHERFLAGS := -w "-notation-overridden" +endif endif endif |