diff options
Diffstat (limited to 'examples/nra-translate/Makefile.am')
-rw-r--r-- | examples/nra-translate/Makefile.am | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/examples/nra-translate/Makefile.am b/examples/nra-translate/Makefile.am new file mode 100644 index 000000000..63bd8c0c1 --- /dev/null +++ b/examples/nra-translate/Makefile.am @@ -0,0 +1,57 @@ +AM_CPPFLAGS = \ + -I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES) +AM_CXXFLAGS = -Wall +AM_CFLAGS = -Wall + +noinst_PROGRAMS = \ + smt2toqepcad \ + smt2tomathematica \ + smt2toisat \ + smt2toredlog \ + smt2todreal \ + normalize \ + smt2info + +noinst_DATA = + +smt2toqepcad_SOURCES = \ + smt2toqepcad.cpp +smt2toqepcad_LDADD = \ + @builddir@/../../src/parser/libcvc4parser.la \ + @builddir@/../../src/libcvc4.la + +smt2tomathematica_SOURCES = \ + smt2tomathematica.cpp +smt2tomathematica_LDADD = \ + @builddir@/../../src/parser/libcvc4parser.la \ + @builddir@/../../src/libcvc4.la + +smt2toisat_SOURCES = \ + smt2toisat.cpp +smt2toisat_LDADD = \ + @builddir@/../../src/parser/libcvc4parser.la \ + @builddir@/../../src/libcvc4.la + +smt2toredlog_SOURCES = \ + smt2toredlog.cpp +smt2toredlog_LDADD = \ + @builddir@/../../src/parser/libcvc4parser.la \ + @builddir@/../../src/libcvc4.la + +smt2todreal_SOURCES = \ + smt2todreal.cpp +smt2todreal_LDADD = \ + @builddir@/../../src/parser/libcvc4parser.la \ + @builddir@/../../src/libcvc4.la + +smt2info_SOURCES = \ + smt2info.cpp +smt2info_LDADD = \ + @builddir@/../../src/parser/libcvc4parser.la \ + @builddir@/../../src/libcvc4.la + +normalize_SOURCES = \ + normalize.cpp +normalize_LDADD = \ + @builddir@/../../src/parser/libcvc4parser.la \ + @builddir@/../../src/libcvc4.la |