-# Make sure that every vlog module listed in vlog-modules.def is
-# actually used somewhere.
-ALL_LOCAL += check-for-unused-vlog-modules
-check-for-unused-vlog-modules:
- if test -e $(srcdir)/.git && (git --version) >/dev/null 2>&1; then \
- cd $(srcdir); \
- decl_vlog=`sed -n 's/^VLOG_MODULE(\([_a-z0-9]\{1,\}\)).*$$/\1/p' \
- lib/vlog-modules.def | \
- LC_ALL=C sort -u | \
- xargs echo`; \
- used_vlog=`git grep VLM_ | \
- sed -n 's/.*VLM_\([a-z_0-9]\{1,\}\).*/\1/p' | \
- LC_ALL=C sort -u | \
- xargs echo`; \
- rc=0; \
- for decl in $$decl_vlog; do \
- case " $$used_vlog " in \
- *" $$decl "*) ;; \
- *) echo "vlog module $$decl is declared in lib/vlog-modules.def \
-but not used by any source file"; \
- rc=1 ;; \
- esac \
- done; \
- exit $$rc; \
- fi
-.PHONY: check-for-unused-vlog-modules
+lib/vlog.$(OBJEXT): lib/vlog-modules.def
+lib/vlog-modules.def: $(DIST_SOURCES)
+ sed -n 's|^VLOG_DEFINE_\(THIS_\)\{0,1\}MODULE(\([_a-zA-Z0-9]\{1,\}\)).*$$|VLOG_MODULE(\2)|p' $(all_sources) | LC_ALL=C sort -u > $@
+CLEANFILES += lib/vlog-modules.def
+endif