DIRS = ordinals dag-unification defpun-exec find-path/graph find-path chapter3 include ../Makefile-subdirs