diff options
Diffstat (limited to 'src/bindings/compat/java/Makefile.am')
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 155 |
1 files changed, 0 insertions, 155 deletions
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am deleted file mode 100644 index c3c256e8b..000000000 --- a/src/bindings/compat/java/Makefile.am +++ /dev/null @@ -1,155 +0,0 @@ -# LIBCVC4BINDINGS_VERSION (-version-info) is in the form current:revision:age -# -# current - -# increment if interfaces have been added, removed or changed -# revision - -# increment if source code has changed -# set to zero if current is incremented -# age - -# increment if interfaces have been added -# set to zero if interfaces have been removed -# or changed -# -LIBCVC4BINDINGS_VERSION = @CVC4_BINDINGS_LIBRARY_VERSION@ - -AM_CPPFLAGS = \ - -D__BUILDING_CVC4BINDINGSLIB \ - -I@builddir@/../../.. -I@srcdir@/../../../include -I@srcdir@/../../.. \ - -I@builddir@/cvc3 -I@srcdir@/include/cvc3 -AM_CXXFLAGS = -Wall -Wno-unused-variable - -javadatadir = $(datadir)/java -javalibdir = $(libdir)/jni -javadata_DATA = -javalib_LTLIBRARIES= -BUILT_SOURCES = - -if CVC4_LANGUAGE_BINDING_JAVA - -javalib_LTLIBRARIES += libcvc4compatjni.la -javadata_DATA += CVC4compat.jar -libcvc4compatjni_la_LDFLAGS = \ - -no-undefined \ - -module \ - -shrext $(CVC4_JAVA_MODULE_EXT) \ - -version-info $(LIBCVC4BINDINGS_VERSION) -libcvc4compatjni_la_LIBADD = \ - @builddir@/../../../compat/libcvc4compat.la \ - @builddir@/../../../libcvc4.la -BUILT_SOURCES += $(JNI_CPP_FILES) - -endif - -# source files -# java files of the library wrapper -LIB_FILES = \ - Cvc3Exception \ - TypecheckException \ - SoundException \ - EvalException \ - CLException \ - ParserException \ - SmtlibException \ - DebugException \ - Embedded \ - EmbeddedManager \ - InputLanguage \ - QueryResult \ - SatResult \ - FormulaValue \ - Expr \ - ExprMut \ - ExprManager \ - ExprManagerMut \ - Type \ - TypeMut \ - Op \ - OpMut \ - Rational \ - RationalMut \ - Theorem \ - TheoremMut \ - Proof \ - ProofMut \ - Context \ - ContextMut \ - Flag \ - Flags \ - FlagsMut \ - Statistics \ - StatisticsMut \ - ValidityChecker - -# java files of the test program -TEST_FILES = Test -# java files of the stand alone program -PROG_FILES = TimeoutHandler Cvc3 -# all java files, library and stand alone -JAVA_FILES = JniUtils $(LIB_FILES) $(TEST_FILES) $(PROG_FILES) -# generated files -JNI_CPP_FILES = \ - EmbeddedManager.cpp \ - Expr.cpp \ - ExprMut.cpp \ - ExprManager.cpp \ - ValidityChecker.cpp -# Type.cpp \ -# TypeMut.cpp \ -# Op.cpp \ -# OpMut.cpp \ -# Rational.cpp \ -# RationalMut.cpp \ -# Theorem.cpp \ -# TheoremMut.cpp \ -# Proof.cpp \ -# ProofMut.cpp \ -# Context.cpp \ -# ContextMut.cpp \ -# Flag.cpp \ -# Flags.cpp \ -# FlagsMut.cpp \ -# Statistics.cpp \ -# StatisticsMut.cpp \ -# non-generated files -SRC_CPP_FILES = src/cvc3/JniUtils.cpp -# all cpp files (to compile) -CPP_FILES = $(SRC_CPP_FILES) $(JNI_CPP_FILES) - -dist_libcvc4compatjni_la_SOURCES = $(SRC_CPP_FILES) include/cvc3/JniUtils.h -nodist_libcvc4compatjni_la_SOURCES = $(JNI_CPP_FILES) - -EXTRA_DIST = \ - formula_value.h \ - create_impl.py \ - Cvc3_manifest \ - $(JNI_CPP_FILES:%.cpp=src/cvc3/%_impl.cpp) \ - $(JAVA_FILES:%=src/cvc3/%.java) - -# compile each cpp file -$(JNI_CPP_FILES): %.cpp: src/cvc3/%_impl.cpp $(builddir)/cvc3/%.h include/cvc3/JniUtils.h - $(AM_V_GEN)$(PYTHON) $(srcdir)/create_impl.py \ - cvc3/$*.h \ - $(srcdir)/src/cvc3/$*_impl.cpp \ - $*.cpp - -JniUtils.lo: src/cvc3/JniUtils.cpp .headers - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_INCLUDES) $(JAVA_CPPFLAGS) -I . -o $@ $< -%.lo: %.cpp .headers - $(AM_V_CXX)$(LTCXXCOMPILE) -c $(JAVA_INCLUDES) $(JAVA_CPPFLAGS) -I . -o $@ $< - -$(LIB_FILES:%=classes/cvc3/%.class) classes/cvc3/JniUtils.class: .classes -.classes: - $(AM_V_GEN)mkdir -p classes && $(JAVAC) -source 1.6 -target 1.6 -sourcepath $(srcdir)/src -d classes $(LIB_FILES:%=$(srcdir)/src/cvc3/%.java) - @touch .classes -.headers: $(LIB_FILES:%=cvc3/%.h) - @touch .headers -$(LIB_FILES:%=cvc3/%.h): %.h: classes/%.class .cvc3dir - $(AM_V_GEN)$(JAVAH) -jni -force -classpath classes -o $@ cvc3.$(@:cvc3/%.h=%) -.cvc3dir: - @mkdir -p cvc3 && touch $@ -CVC4compat.jar: $(LIB_FILES:%=classes/cvc3/%.class) classes/cvc3/JniUtils.class - $(AM_V_GEN)$(JAR) cf $@ -C classes . - -clean-local: - rm -fr classes cvc3 -MOSTLYCLEANFILES = .cvc3dir .classes .headers CVC4compat.jar $(JNI_CPP_FILES) |