diff options
Diffstat (limited to 'examples/sets-translate/Makefile.am')
-rw-r--r-- | examples/sets-translate/Makefile.am | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/examples/sets-translate/Makefile.am b/examples/sets-translate/Makefile.am new file mode 100644 index 000000000..40b79e998 --- /dev/null +++ b/examples/sets-translate/Makefile.am @@ -0,0 +1,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) |