diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-10 15:24:22 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-07-10 15:24:22 +0000 |
commit | ff5ecc85124857dccb6fa6ed542bb90e678bdc77 (patch) | |
tree | 1ae254a832b4f93666a81d8b3a07340066b24a7a /examples/nra-translate/Makefile.am | |
parent | 00af00c419b965ed26fff540a565dee748c7e4ed (diff) |
* fixing the simple_vc_cxx.cpp compile issue (no more Integer constants)
* adding as examples the programs i used to translate nonlinear smt2 problems to other formats
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 |