diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-05 19:08:44 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-05 19:09:50 -0400 |
| commit | e36f03f582423f5e9f17da86d79a58deebf6fce3 (patch) | |
| tree | d9e6a4377c04992caa4d475df35b7e9ee864a01c /examples/Makefile.am | |
| parent | c2f576e0d425d028b6975914733432b36555cce6 (diff) | |
Add --default-dag-thresh to translator, build translator with other examples.
Diffstat (limited to 'examples/Makefile.am')
| -rw-r--r-- | examples/Makefile.am | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index d5d8534f4..940af06ff 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -6,7 +6,8 @@ AM_CXXFLAGS = -Wall AM_CFLAGS = -Wall noinst_PROGRAMS = \ - simple_vc_cxx + simple_vc_cxx \ + translator if CVC4_BUILD_LIBCOMPAT noinst_PROGRAMS += \ @@ -47,6 +48,12 @@ simple_vc_compat_c_SOURCES = \ simple_vc_compat_c_LDADD = \ @builddir@/../src/bindings/compat/c/libcvc4bindings_c_compat.la +translator_SOURCES = \ + translator.cpp +translator_LDADD = \ + @builddir@/../src/parser/libcvc4parser.la \ + @builddir@/../src/libcvc4.la + SimpleVC.class: SimpleVC.java $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/CVC4.jar" -d "@builddir@" $< SimpleVCCompat.class: SimpleVCCompat.java |