blob: 0f5c7db98ec339ae1b523c0f3ba82539c8e851c7 (
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
SUBDIRS = nra-translate sets-translate hashsmt api .
AM_CPPFLAGS = \
-I@srcdir@/../src/include -I@srcdir@/../src -I@builddir@/../src $(ANTLR_INCLUDES)
AM_CXXFLAGS = -Wall
AM_CFLAGS = -Wall
noinst_PROGRAMS = \
simple_vc_cxx \
translator
if CVC4_BUILD_LIBCOMPAT
noinst_PROGRAMS += \
simple_vc_compat_cxx
if CVC4_LANGUAGE_BINDING_C
noinst_PROGRAMS += \
simple_vc_compat_c
endif
endif
noinst_DATA =
if CVC4_LANGUAGE_BINDING_JAVA
noinst_DATA += \
SimpleVC.class
if CVC4_BUILD_LIBCOMPAT
noinst_DATA += \
SimpleVCCompat.class
endif
endif
simple_vc_cxx_SOURCES = \
simple_vc_cxx.cpp
simple_vc_cxx_LDADD = \
@builddir@/../src/parser/libcvc4parser.la \
@builddir@/../src/libcvc4.la
simple_vc_compat_cxx_SOURCES = \
simple_vc_compat_cxx.cpp
simple_vc_compat_cxx_LDADD = \
@builddir@/../src/compat/libcvc4compat.la \
@builddir@/../src/parser/libcvc4parser.la \
@builddir@/../src/libcvc4.la
simple_vc_compat_c_SOURCES = \
simple_vc_compat_c.c
simple_vc_compat_c_LDADD = \
@builddir@/../src/bindings/compat/c/libcvc4bindings_c_compat.la
translator_SOURCES = \
translator.cpp
translator_LDADD = \
@builddir@/../src/parser/libcvc4parser.la \
@builddir@/../src/libcvc4.la
SimpleVC.class: SimpleVC.java
$(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/CVC4.jar" -d "@builddir@" $<
SimpleVCCompat.class: SimpleVCCompat.java
$(AM_V_JAVAC)$(JAVAC) -classpath "@builddir@/../src/bindings/compat/java/CVC4compat.jar" -d "@builddir@" $<
EXTRA_DIST = \
SimpleVC.java \
SimpleVCCompat.java \
SimpleVC.ml \
SimpleVC.php \
SimpleVC.pl \
SimpleVC.py \
SimpleVC.rb \
SimpleVC.tcl \
README
if STATIC_BINARY
simple_vc_cxx_LINK = $(CXXLINK) -all-static
simple_vc_compat_cxx_LINK = $(CXXLINK) -all-static
simple_vc_compat_c_LINK = $(LINK) -all-static
else
simple_vc_cxx_LINK = $(CXXLINK)
simple_vc_compat_cxx_LINK = $(CXXLINK)
simple_vc_compat_c_LINK = $(LINK)
endif
# 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 " $@;
|
