Import cudd-3.0.0.tar.gz

Author: fsomenzi

Doxyfile.in

@@ -0,0 +1,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)