blob: 7909b2f6d2596f1a0a1d10bda5a9f26dfb1ea585 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
#######################################################################
# #
# 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 GNU General Public License as published by #
# the Free Software Foundation, either version 2 of the License, or #
# (at your option) any later version. This file is also 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 = true
# To pass or not to pass --table.
ifeq ($(MENHIR_TABLE),true)
MENHIR_MODE = --table
else
MENHIR_MODE =
endif
# Options.
MENHIR_FLAGS = -v --no-stdlib -la 1
# Using Menhir in --table mode requires MenhirLib.
ifeq ($(MENHIR_TABLE),true)
ifeq ($(wildcard $(MENHIR_DIR)/menhirLib.cmxa),)
MENHIR_LIBS = menhirLib.cmx
else
MENHIR_LIBS = menhirLib.cmxa
endif
else
MENHIR_LIBS =
endif
# The compilation rule.
%.ml %.mli: %.mly
$(MENHIR) $(MENHIR_MODE) $(MENHIR_FLAGS) $<
|
