nodist_libcvc4bindings_csharp_la_SOURCES = csharp.cpp
nodist_libcvc4bindings_perl_la_SOURCES = perl.cpp
nodist_libcvc4bindings_php_la_SOURCES = php.cpp
nodist_libcvc4bindings_csharp_la_SOURCES = csharp.cpp
nodist_libcvc4bindings_perl_la_SOURCES = perl.cpp
nodist_libcvc4bindings_php_la_SOURCES = php.cpp
.swig_deps \
$(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) \
cvc4.jar
.swig_deps \
$(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))) \
cvc4.jar