diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-11-27 01:39:58 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-11-27 01:39:58 +0000 |
| commit | 3da16da97df7cd2efd4b113db3bfef8b9c138ebe (patch) | |
| tree | cd88a2861329bdd7888684e5d2775c0c8f47b67f /examples/Makefile.am | |
| parent | 1e4c37a3ef7b1c16914b181c189716aa4a3df6b8 (diff) | |
Adding an example to show how to use arithmetic.
Diffstat (limited to 'examples/Makefile.am')
| -rw-r--r-- | examples/Makefile.am | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index 19c460c92..a36480af7 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 \ + linear_arith if CVC4_BUILD_LIBCOMPAT noinst_PROGRAMS += \ @@ -28,6 +29,12 @@ noinst_DATA += \ endif endif +linear_arith_SOURCES = \ + linear_arith.cpp +linear_arith_LDADD = \ + @builddir@/../src/parser/libcvc4parser.la \ + @builddir@/../src/libcvc4.la + simple_vc_cxx_SOURCES = \ simple_vc_cxx.cpp simple_vc_cxx_LDADD = \ @@ -63,10 +70,12 @@ EXTRA_DIST = \ README if STATIC_BINARY +linear_arith_LINK = $(CXXLINK) -all-static simple_vc_cxx_LINK = $(CXXLINK) -all-static simple_vc_compat_cxx_LINK = $(CXXLINK) -all-static simple_vc_compat_c_LINK = $(LINK) -all-static else +linear_arith_LINK = $(CXXLINK) simple_vc_cxx_LINK = $(CXXLINK) simple_vc_compat_cxx_LINK = $(CXXLINK) simple_vc_compat_c_LINK = $(LINK) @@ -82,3 +91,4 @@ MOSTLYCLEANFILES = $(noinst_DATA) AM_V_JAVAC = $(am__v_JAVAC_$(V)) am__v_JAVAC_ = $(am__v_JAVAC_$(AM_DEFAULT_VERBOSITY)) am__v_JAVAC_0 = @echo " JAVAC " $@; + |