diff options
Diffstat (limited to 'examples/api/Makefile.am')
-rw-r--r-- | examples/api/Makefile.am | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/examples/api/Makefile.am b/examples/api/Makefile.am index 9e4e4470e..33775fd2a 100644 --- a/examples/api/Makefile.am +++ b/examples/api/Makefile.am @@ -1,3 +1,5 @@ +SUBDIRS = . java + AM_CPPFLAGS = \ -I@srcdir@/../../src/include -I@srcdir@/../../src -I@builddir@/../../src $(ANTLR_INCLUDES) AM_CXXFLAGS = -Wall @@ -6,7 +8,8 @@ AM_CFLAGS = -Wall noinst_PROGRAMS = \ linear_arith \ helloworld \ - combination + combination \ + bitvectors noinst_DATA = @@ -27,6 +30,11 @@ helloworld_SOURCES = \ helloworld_LDADD = \ @builddir@/../../src/libcvc4.la +bitvectors_SOURCES = \ + bitvectors.cpp +bitvectors_LDADD = \ + @builddir@/../../src/libcvc4.la + # for installation examplesdir = $(docdir)/$(subdir) examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST) |