The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

58 lines
1.2 KiB

4 weeks ago
  1. ACLOCAL_AMFLAGS = -I m4
  2. include_HEADERS = cudd/cudd.h
  3. include_HEADERS += mtr/mtr.h
  4. if DDDMP
  5. include_HEADERS += dddmp/dddmp.h
  6. endif
  7. if OBJ
  8. include_HEADERS += cplusplus/cuddObj.hh
  9. endif
  10. check_PROGRAMS =
  11. check_SCRIPTS =
  12. dist_check_DATA =
  13. EXTRA_DIST = README RELEASE.NOTES LICENSE groups.dox
  14. TESTS =
  15. CLEANFILES =
  16. noinst_LTLIBRARIES =
  17. TEST_LOG_DRIVER = env AM_TAP_AWK='$(AWK)' $(SHELL) \
  18. $(top_srcdir)/build-aux/tap-driver.sh
  19. do_subst = sed \
  20. -e 's,[@]EXEEXT[@],$(EXEEXT),g' \
  21. -e 's,[@]srcdir[@],$(srcdir),g'
  22. include $(top_srcdir)/cudd/Included.am
  23. include $(top_srcdir)/util/Included.am
  24. include $(top_srcdir)/st/Included.am
  25. include $(top_srcdir)/epd/Included.am
  26. include $(top_srcdir)/mtr/Included.am
  27. include $(top_srcdir)/dddmp/Included.am
  28. include $(top_srcdir)/cplusplus/Included.am
  29. include $(top_srcdir)/nanotrav/Included.am
  30. include $(top_srcdir)/doc/Included.am
  31. dist-hook:
  32. rm -rf `find $(distdir) -name .svn`
  33. .PHONY :
  34. all: html/index.html doc/cudd.pdf
  35. #if HAVE_DOXYGEN
  36. #
  37. #html/index.html: Doxyfile $(lib_LTLIBRARIES)
  38. # @if $(AM_V_P); then dest='2>&1'; else dest='> /dev/null 2>&1'; fi; \
  39. # eval "$(DOXYGEN) $< $${dest}"
  40. #
  41. #clean-local:
  42. # rm -rf html doxygen_sqlite3.db
  43. #
  44. #else
  45. html/index.html:
  46. #endif
  47. CLEANFILES += $(check_SCRIPTS)