diff options
author | Tim King <taking@cs.nyu.edu> | 2012-11-28 22:59:58 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-11-28 22:59:58 +0000 |
commit | 91673d6cefa63bc0f706101946e0c01fcd429071 (patch) | |
tree | 8fa80213fb916675f37f4a1a1bcd431bcc017f7f /examples/Makefile.am | |
parent | f0ebc08cf865d654a6d7ca4361775db8a64b1f62 (diff) |
Adding the helloworld.cpp example.
Diffstat (limited to 'examples/Makefile.am')
-rw-r--r-- | examples/Makefile.am | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am index a36480af7..d5d8534f4 100644 --- a/examples/Makefile.am +++ b/examples/Makefile.am @@ -1,4 +1,4 @@ -SUBDIRS = nra-translate hashsmt . +SUBDIRS = nra-translate hashsmt api . AM_CPPFLAGS = \ -I@srcdir@/../src/include -I@srcdir@/../src -I@builddir@/../src $(ANTLR_INCLUDES) @@ -6,8 +6,7 @@ AM_CXXFLAGS = -Wall AM_CFLAGS = -Wall noinst_PROGRAMS = \ - simple_vc_cxx \ - linear_arith + simple_vc_cxx if CVC4_BUILD_LIBCOMPAT noinst_PROGRAMS += \ @@ -29,11 +28,6 @@ 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 @@ -70,12 +64,10 @@ 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) |