DIRS = tree-gen-helper branch-and-bound heuristics distance-based
include $(ACL2_SYSTEM_BOOKS)/Makefile-subdirs

