blob: f4b8f104340918444e5e267f7ce1b274edf2043b (
plain)
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 " $@;
|