blob: 40b79e998218d83e325fac3ef7ef63043476384d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
AM_CPPFLAGS = \
-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
AM_CXXFLAGS = -Wall
AM_CFLAGS = -Wall
noinst_PROGRAMS = \
sets_translate
noinst_DATA =
sets_translate_SOURCES = \
sets_translate.cpp
sets_translate_LDADD = \
@builddir@/../../src/parser/libcvc4parser.la \
@builddir@/../../src/libcvc4.la
# for installation
examplesdir = $(docdir)/$(subdir)
examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
|