diff options
Diffstat (limited to 'examples/api/java/Makefile.am')
| -rw-r--r-- | examples/api/java/Makefile.am | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/examples/api/java/Makefile.am b/examples/api/java/Makefile.am new file mode 100644 index 000000000..ff3d36e14 --- /dev/null +++ b/examples/api/java/Makefile.am @@ -0,0 +1,29 @@ +noinst_DATA = + +if CVC4_LANGUAGE_BINDING_JAVA +noinst_DATA += \ + BitVectors.class \ + Combination.class \ + HelloWorld.class \ + LinearArith.class +endif + +%.class: %.java + $(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../../../src/bindings/CVC4.jar" -d "@builddir@" $< + +EXTRA_DIST = \ + BitVectors.java \ + Combination.java \ + HelloWorld.java \ + LinearArith.java + +# for installation +examplesdir = $(docdir)/$(subdir) +examples_DATA = $(DIST_SOURCES) $(EXTRA_DIST) + +MOSTLYCLEANFILES = $(noinst_DATA) + +# for silent automake rules +AM_V_JAVAC = $(am__v_JAVAC_$(V)) +am__v_JAVAC_ = $(am__v_JAVAC_$(AM_DEFAULT_VERBOSITY)) +am__v_JAVAC_0 = @echo " JAVAC " $@; |