diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-26 13:00:45 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-26 13:00:45 +0100 |
| commit | 51b059d9a5559cf06e13e82bcda3da9f1c70fad1 (patch) | |
| tree | d2060251ae147a565e2d6297666effc5fe7fa7a0 /Makefile.menhir | |
| parent | 94163429293cef7410320f79fc5964fc546fccef (diff) | |
| parent | 52c4f2622a32a88f9470111542b547514e6b21cc (diff) | |
| download | compcert-51b059d9a5559cf06e13e82bcda3da9f1c70fad1.tar.gz compcert-51b059d9a5559cf06e13e82bcda3da9f1c70fad1.zip | |
Merge branch 'fpottier-clean'
Diffstat (limited to 'Makefile.menhir')
| -rw-r--r-- | Makefile.menhir | 28 |
1 files changed, 22 insertions, 6 deletions
diff --git a/Makefile.menhir b/Makefile.menhir index 72b54b14..74bd14e2 100644 --- a/Makefile.menhir +++ b/Makefile.menhir @@ -1,18 +1,34 @@ +####################################################################### +# # +# The Compcert verified compiler # +# # +# François Pottier, INRIA Paris-Rocquencourt # +# # +# Copyright Institut National de Recherche en Informatique et en # +# Automatique. All rights reserved. This file is distributed # +# under the terms of the INRIA Non-Commercial License Agreement. # +# # +####################################################################### + # This is a Makefile fragment for Menhir-specific aspects. +# Executable. + +MENHIR = menhir + # This flag can be set to true or false. It controls whether we use # Menhir's table back-end or code back-end. The table back-end is a # bit slower, but supports more features, including advanced error # reporting. -MENHIR_TABLE = false +MENHIR_TABLE = true -# Executable. +# To pass or not to pass --table. ifeq ($(MENHIR_TABLE),true) - MENHIR = menhir --table + MENHIR_MODE = --table else - MENHIR = menhir + MENHIR_MODE = endif # Options. @@ -30,7 +46,7 @@ endif # The compilation rule. %.ml %.mli: %.mly - $(MENHIR) $(MENHIR_FLAGS) $< + $(MENHIR) $(MENHIR_MODE) $(MENHIR_FLAGS) $< # Note 1: finding where MenhirLib has been installed would be easier if we # could depend on ocamlfind, but as far as I understand and as of today, @@ -50,7 +66,7 @@ endif ifeq ($(MENHIR_TABLE),true) - MENHIR_SUGGESTION = $(MENHIR) --suggest-comp-flags + MENHIR_SUGGESTION = $(MENHIR) $(MENHIR_MODE) --suggest-comp-flags MENHIR_INCLUDES := $(shell \ if $(MENHIR_SUGGESTION) | grep -e "-package" >/dev/null ; then \ |