Makefile.am 1.18 KB
Newer Older
Mahmoud Khaled's avatar
Mahmoud Khaled committed
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
ACLOCAL_AMFLAGS = -I m4

include_HEADERS = cudd/cudd.h
if DDDMP
include_HEADERS += dddmp/dddmp.h
endif
if OBJ
include_HEADERS += cplusplus/cuddObj.hh
endif

check_PROGRAMS =
check_SCRIPTS =
dist_check_DATA =
EXTRA_DIST = README RELEASE.NOTES LICENSE groups.dox
TESTS =
CLEANFILES =
noinst_LTLIBRARIES =
TEST_LOG_DRIVER = env AM_TAP_AWK='$(AWK)' $(SHELL) \
  $(top_srcdir)/build-aux/tap-driver.sh

do_subst = sed \
  -e 's,[@]EXEEXT[@],$(EXEEXT),g' \
  -e 's,[@]srcdir[@],$(srcdir),g'

include $(top_srcdir)/cudd/Included.am
include $(top_srcdir)/util/Included.am
include $(top_srcdir)/st/Included.am
include $(top_srcdir)/epd/Included.am
include $(top_srcdir)/mtr/Included.am
include $(top_srcdir)/dddmp/Included.am
include $(top_srcdir)/cplusplus/Included.am
include $(top_srcdir)/nanotrav/Included.am
include $(top_srcdir)/doc/Included.am

dist-hook:
	rm -rf `find $(distdir) -name .svn`

.PHONY : 

all: html/index.html doc/cudd.pdf

if HAVE_DOXYGEN

html/index.html: Doxyfile $(lib_LTLIBRARIES)
	@if $(AM_V_P); then dest='2>&1'; else dest='> /dev/null 2>&1'; fi; \
	eval "$(DOXYGEN) $< $${dest}"

clean-local:
	rm -rf html doxygen_sqlite3.db

else

html/index.html:

endif

CLEANFILES += $(check_SCRIPTS)