examples/api/java/Makefile.am


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

noinst_DATA =

if CVC4_LANGUAGE_BINDING_JAVA
noinst_DATA += \
	CVC4Streams.class \
	BitVectors.class \
	BitVectorsAndArrays.class \
	Combination.class \
	HelloWorld.class \
	LinearArith.class \
	PipedInput.class
endif

%.class: %.java
	$(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../../../src/bindings/CVC4.jar" -d "@builddir@" $<

EXTRA_DIST = \
	CVC4Streams.java \
	BitVectors.java \
	BitVectorsAndArrays.java \
	Combination.java \
	HelloWorld.java \
	LinearArith.java \
	PipedInput.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 " $@;