diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-29 06:40:27 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-29 06:40:27 +0000 |
| commit | 42f89e550bb15d401c335ded7912a871b2b45af3 (patch) | |
| tree | ccfe7440c45466deb823cae5f76b0a589c7b71d8 /src/bindings | |
| parent | c94347913fa464b1ec6a3da2ab21e319c0c42e02 (diff) | |
build system fixes
Diffstat (limited to 'src/bindings')
| -rw-r--r-- | src/bindings/Makefile.am | 6 | ||||
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am index 52fb4a21e..2552e39d6 100644 --- a/src/bindings/Makefile.am +++ b/src/bindings/Makefile.am @@ -39,6 +39,7 @@ endif # cvc4bindings_tcl.so nodist_libcvc4bindings_java_la_SOURCES = java.cpp +libcvc4bindings_java_la_CXXFLAGS = -fno-strict-aliasing nodist_libcvc4bindings_csharp_la_SOURCES = csharp.cpp nodist_libcvc4bindings_perl_la_SOURCES = perl.cpp nodist_libcvc4bindings_php_la_SOURCES = php.cpp @@ -47,7 +48,7 @@ nodist_libcvc4bindings_ocaml_la_SOURCES = ocaml.cpp nodist_libcvc4bindings_ruby_la_SOURCES = ruby.cpp nodist_libcvc4bindings_tcl_la_SOURCES = tcl.cpp -BUILT_SOURCES = \ +CLEANFILES = \ java.cpp \ csharp.cpp \ perl.cpp \ @@ -59,8 +60,7 @@ BUILT_SOURCES = \ EXTRA_DIST = swig.h -CLEANFILES = \ - $(BUILT_SOURCES) \ +MOSTLYCLEANFILES = \ .swig_deps \ $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) \ cvc4.jar diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am index aa18c1119..25765f0f0 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -147,4 +147,4 @@ cvc4compat.jar: $(LIB_FILES:%=classes/cvc3/%.class) clean-local: rm -fr classes cvc3 -CLEANFILES = .cvc3dir .classes .headers cvc4compat.jar +MOSTLYCLEANFILES = .cvc3dir .classes .headers cvc4compat.jar $(JNI_CPP_FILES) |