blob: bb2018e2e7429c186332a94244f3c6699f123ba3 (
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
|
INCLUDES = -I@srcdir@/../include -I@srcdir@/..
AM_CXXFLAGS = -Wall -fvisibility=hidden
AM_CPPFLAGS = -D__BUILDING_CVC4LIB
noinst_LTLIBRARIES = libparsersmt.la
libparsersmt_la_SOURCES = \
SmtLexer.g \
SmtParser.g \
SmtLexer.hpp \
SmtLexer.cpp \
SmtParser.hpp \
SmtParser.cpp
BUILT_SOURCES = \
SmtLexer.hpp \
SmtLexer.cpp \
SmtParser.hpp \
SmtParser.cpp
SmtLexer.cpp SmtLexer.hpp: SmtLexer.g
$(ANTLR) @srcdir@/SmtLexer.g
SmtParser.cpp SmtParser.hpp: SmtParser.g
$(ANTLR) @srcdir@/SmtParser.g
|
