diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-06 00:09:25 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-06 00:09:25 +0000 |
| commit | 6cb3de0e1370deaf43eeb1fb84dfe1f3a625483f (patch) | |
| tree | 164722931658d8fa0871e512fcdf981da0c1d52c /src/bindings | |
| parent | db264e836f2878a3cf09a54f1c577ce516fb1bc5 (diff) | |
don't build language bindings unless expressly requested with --enable-language-bindings
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am index 14701ebb3..9fc25ed05 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -19,6 +19,7 @@ AM_CXXFLAGS = -Wall lib_LTLIBRARIES = data_DATA = +BUILT_SOURCES = if CVC4_LANGUAGE_BINDING_JAVA @@ -28,6 +29,7 @@ libcvc4bindings_java_compat_la_LDFLAGS = \ -version-info $(LIBCVC4BINDINGS_VERSION) libcvc4bindings_java_compat_la_LIBADD = \ -L@builddir@/../../../compat -lcvc4compat +BUILT_SOURCES += $(JNI_CPP_FILES) endif @@ -114,7 +116,6 @@ CPP_FILES = $(SRC_CPP_FILES) $(JNI_CPP_FILES) dist_libcvc4bindings_java_compat_la_SOURCES = $(SRC_CPP_FILES) $(IMPL_FILES) include/cvc3/JniUtils.h nodist_libcvc4bindings_java_compat_la_SOURCES = $(JNI_CPP_FILES) -BUILT_SOURCES = $(JNI_CPP_FILES) EXTRA_DIST = \ formula_value.h \ |