blob: de9aa0339f51fc8a6924da9b6848ac79961eb650 (
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
96
97
98
99
100
101
102
|
# LIBCVC4_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
#
LIBCVC4_VERSION = @CVC4_LIBRARY_VERSION@
AM_CPPFLAGS = \
-D__BUILDING_CVC4LIB \
-I@srcdir@/include -I@srcdir@ -I@builddir@
AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN)
SUBDIRS = lib expr util context theory prop smt printer . parser main
lib_LTLIBRARIES = libcvc4.la
noinst_LTLIBRARIES = libcvc4_noinst.la
libcvc4_la_LDFLAGS = -version-info $(LIBCVC4_VERSION)
# This "tricks" automake into linking us as a C++ library (rather than
# as a C library, which messes up exception handling support)
nodist_EXTRA_libcvc4_noinst_la_SOURCES = dummy.cpp
nodist_EXTRA_libcvc4_la_SOURCES = dummy.cpp
libcvc4_noinst_la_SOURCES = subversion_versioninfo.cpp
libcvc4_la_SOURCES = subversion_versioninfo.cpp
libcvc4_la_LIBADD = \
@builddir@/util/libutil.la \
@builddir@/expr/libexpr.la \
@builddir@/context/libcontext.la \
@builddir@/prop/libprop.la \
@builddir@/prop/minisat/libminisat.la \
@builddir@/printer/libprinter.la \
@builddir@/smt/libsmt.la \
@builddir@/theory/libtheory.la \
@builddir@/lib/libreplacements.la
libcvc4_noinst_la_LIBADD = \
@builddir@/util/libutil.la \
@builddir@/expr/libexpr.la \
@builddir@/context/libcontext.la \
@builddir@/prop/libprop.la \
@builddir@/prop/minisat/libminisat.la \
@builddir@/printer/libprinter.la \
@builddir@/smt/libsmt.la \
@builddir@/theory/libtheory.la \
@builddir@/lib/libreplacements.la
EXTRA_DIST = \
include/cvc4parser_private.h \
include/cvc4parser_public.h \
include/cvc4_private.h \
include/cvc4_public.h
publicheaders = \
include/cvc4_public.h \
include/cvc4parser_public.h
subversion_versioninfo.cpp: svninfo
$(AM_V_GEN)( \
if test -s svninfo; then \
issvn=true; \
branch=`grep '^URL: ' svninfo | sed 's,.*/cvc4/,,'`; \
rev=`grep '^Revision: ' svninfo | awk '{print$$2}'`; \
mods=`grep '^Modifications: ' svninfo | awk '{print$$2}'`; \
else \
issvn=false; \
branch=unknown; \
rev=0; \
mods=false; \
fi; \
echo "#include \"util/configuration.h\""; \
echo "const bool ::CVC4::Configuration::IS_SUBVERSION_BUILD = $$issvn;"; \
echo "const char* const ::CVC4::Configuration::SUBVERSION_BRANCH_NAME = \"$$branch\";"; \
echo "const unsigned ::CVC4::Configuration::SUBVERSION_REVISION = $$rev;"; \
echo "const bool ::CVC4::Configuration::SUBVERSION_HAS_MODIFICATIONS = $$mods;"; \
) >"$@"
svninfo: svninfo.tmp
$(AM_V_GEN)diff -q svninfo.tmp svninfo &>/dev/null || mv svninfo.tmp svninfo || true
# .PHONY ensures it's always rebuilt
.PHONY: svninfo.tmp
svninfo.tmp:
$(AM_V_GEN)(cd "$(top_srcdir)" && svn info && echo "Modifications: `test -z \"\`svn status -q\`\" && echo false || echo true`") >"$@" 2>/dev/null || true
install-data-local: $(publicheaders)
$(mkinstalldirs) $(DESTDIR)$(prefix)$(includedir)/cvc4
@for f in $(publicheaders); do \
echo $(INSTALL_DATA) "$(srcdir)/$$f" "$(DESTDIR)$(prefix)$(includedir)/cvc4"; \
$(INSTALL_DATA) "$(srcdir)/$$f" "$(DESTDIR)$(prefix)$(includedir)/cvc4"; \
done
uninstall-local:
@for f in $(publicheaders); do \
f=`echo "$$f" | sed 's,.*/,,'`; \
rm -f "$(DESTDIR)$(prefix)$(includedir)/cvc4/$$f"; \
done
@rmdir "$(DESTDIR)$(prefix)$(includedir)/cvc4"
|