diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-27 00:34:30 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-27 00:34:30 +0000 |
commit | d529e4c065d880f5fdf6e10cb0996a45e739bb51 (patch) | |
tree | 52aa084b73cb46870a8a544eeca36c0266948d9b /src/bindings/compat/java/Makefile.am | |
parent | 964b40905c6daed1ac4612fde034264222f6bb67 (diff) |
more interface work; adding legacy C interface
Diffstat (limited to 'src/bindings/compat/java/Makefile.am')
-rw-r--r-- | src/bindings/compat/java/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am index 9dd6ab947..d958eccf0 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -27,7 +27,7 @@ data_DATA += cvc4compat.jar libcvc4bindings_java_compat_la_LDFLAGS = \ -version-info $(LIBCVC4BINDINGS_VERSION) libcvc4bindings_java_compat_la_LIBADD = \ - -L@builddir@/../compat -lcvc4compat + -L@builddir@/../../../compat -lcvc4compat endif @@ -68,7 +68,7 @@ SRC_CPP_FILES = JniUtils.cpp # all cpp files (to compile) CPP_FILES = $(SRC_CPP_FILES) $(JNI_CPP_FILES) -nodist_libcvc4bindings_java_compat_la_SOURCES = $(CPP_FILES) +libcvc4bindings_java_compat_la_SOURCES = $(CPP_FILES) HEADER_FILES = JniUtils.h PYTHON_FILES = run_all.py run_tests.py create_impl.py |