blob: 1c5dc392bbd225e47d4af944e9ff44931d582c08 (
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
|
AM_CPPFLAGS = \
-I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES)
AM_CXXFLAGS = -Wall
AM_CFLAGS = -Wall
noinst_PROGRAMS = \
sets2arrays \
sets2axioms
noinst_DATA =
sets2arrays_SOURCES = \
sets_translate.cpp
sets2arrays_LDADD = \
@builddir@/../../src/parser/libcvc4parser.la \
@builddir@/../../src/libcvc4.la
# give nodist_: only distribute/install once
nodist_sets2axioms_SOURCES = \
sets_translate.cpp
sets2axioms_LDADD = \
@builddir@/../../src/parser/libcvc4parser.la \
@builddir@/../../src/libcvc4.la
sets2axioms_CXXFLAGS = \
-DENABLE_AXIOMS
# for installation
examplesdir = $(docdir)/$(subdir)
examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST)
|