-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathMakefile.am
50 lines (38 loc) · 1.21 KB
/
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
# use at least automake >= 1.10
AUTOMAKE_OPTIONS = 1.10
# use ./m4 directory for additional macros
ACLOCAL_AMFLAGS = -I m4
# setup doxygen for automake use
include doxygen.am
pkgconfigdir = $(libdir)/pkgconfig
pkgconfig_DATA = dlvhex2.pc
html-local: doc/dlvhex.tag
make doxygen-doc
install-html-local:
$(INSTALL) -d $(DESTDIR)/$(docdir)
cp -rv $(top_builddir)/doc/html $(DESTDIR)/$(docdir)
pkgincludedir = $(includedir)/dlvhex2
install-data-local:
if test x$(BM_INSTALL) == xyes; then \
$(INSTALL) -d $(DESTDIR)$(pkgincludedir)/bm$(BM_VERSION)/bm; \
$(INSTALL) $(top_srcdir)/bm$(BM_VERSION)/bm/*.h $(DESTDIR)/$(pkgincludedir)/bm$(BM_VERSION)/bm/; \
fi
uninstall-local:
test -d $(DESTDIR)/$(docdir)/html || exit 0; \
cd $(DESTDIR)/$(docdir) && rm -rf html
-rm -rf $(DESTDIR)/$(pkgincludedir)/bm$(BM_VERSION)
SUBDIRS = ${BUILDCLASPGRINGOSUBDIRS} \
libltdl examples include src testsuite
DIST_SUBDIRS = buildclaspgringo \
libltdl examples include src testsuite
EXTRA_DIST = \
bm3.7.0 \
COPYING.LESSER \
COPYING.clasp.gringo \
clasp-3.1.4-source.tar.gz \
gringo-4.5.4-source.tar.gz \
build_potassco.sh \
dlvhex2.pc.in \
doxygen.am \
doxygen.cfg
MOSTLYCLEANFILES = $(DX_CLEANFILES)