diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
commit | 33e3657c15d6c760206aeaca10b5690af4a78223 (patch) | |
tree | a75475200584ab5e11981827182d979d84f6e1ff /examples/Makefile.am | |
parent | 192c5592424e5db0afc72e7316c4698949a2f7e5 (diff) |
interfaces fixes and cleanups...and examples of each interface!
Diffstat (limited to 'examples/Makefile.am')
-rw-r--r-- | examples/Makefile.am | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/examples/Makefile.am b/examples/Makefile.am new file mode 100644 index 000000000..8f120e14c --- /dev/null +++ b/examples/Makefile.am @@ -0,0 +1,67 @@ +AM_CPPFLAGS = \ + -I@srcdir@/../src/include -I@srcdir@/../src -I@builddir@/../src $(ANTLR_INCLUDES) +AM_CXXFLAGS = -Wall +AM_CFLAGS = -Wall + +noinst_PROGRAMS = \ + simple_vc_cxx + +if CVC4_BUILD_LIBCOMPAT +noinst_PROGRAMS += \ + simple_vc_compat_cxx +if CVC4_LANGUAGE_BINDING_C +noinst_PROGRAMS += \ + simple_vc_compat_c +endif +endif + +noinst_DATA = + +if CVC4_LANGUAGE_BINDING_JAVA +noinst_DATA += \ + SimpleVC.class +if CVC4_BUILD_LIBCOMPAT +noinst_DATA += \ + SimpleVCCompat.class +endif +endif + +simple_vc_cxx_SOURCES = \ + simple_vc_cxx.cpp +simple_vc_cxx_LDADD = \ + @builddir@/../src/parser/libcvc4parser.la \ + @builddir@/../src/libcvc4.la + +simple_vc_compat_cxx_SOURCES = \ + simple_vc_compat_cxx.cpp +simple_vc_compat_cxx_LDADD = \ + @builddir@/../src/compat/libcvc4compat.la \ + @builddir@/../src/parser/libcvc4parser.la \ + @builddir@/../src/libcvc4.la + +simple_vc_compat_c_SOURCES = \ + simple_vc_compat_c.c +simple_vc_compat_c_LDADD = \ + @builddir@/../src/bindings/compat/c/libcvc4bindings_c_compat.la + +SimpleVC.class: SimpleVC.java + $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/cvc4.jar" -d "@builddir@" $< +SimpleVCCompat.class: SimpleVCCompat.java + $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/compat/java/cvc4compat.jar" -d "@builddir@" $< + +if STATIC_BINARY +simple_vc_cxx_LINK = $(CXXLINK) -all-static +simple_vc_compat_cxx_LINK = $(CXXLINK) -all-static +simple_vc_compat_c_LINK = $(LINK) -all-static +else +simple_vc_cxx_LINK = $(CXXLINK) +simple_vc_compat_cxx_LINK = $(CXXLINK) +simple_vc_compat_c_LINK = $(LINK) +endif + +MOSTLYCLEANFILES = $(noinst_DATA) + +# for silent automake rules +AM_V_JAVAC = $(am__v_JAVAC_$(V)) +am__v_JAVAC_ = $(am__v_JAVAC_$(AM_DEFAULT_VERBOSITY)) +am__v_JAVAC_0 = @echo " JAVAC " $@; |