src/parser/Makefile.antlr_tracing


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

# -*-makefile-*-
#
# This makefile is included from parser directories in order to
# do antlr tracing.  THIS IS VERY MUCH A HACK, and is only enabled
# if CVC4_TRACE_ANTLR is defined (and not 0).  In ANTLR 3.2, we
# have to #define 
#

ifeq ($(CVC4_TRACE_ANTLR),)
else

ifeq ($(CVC4_TRACE_ANTLR),0)
else

AM_CPPFLAGS += -DCVC4_TRACE_ANTLR
ANTLR_OPTS += -trace

endif

endif