DIRS = top deterministic-systems non-deterministic-systems

include ../../../../../Makefile-subdirs
