#define	IHaveSubdirs

#include <psf_pre.imake>

SUBDIRS = fc mcrl

ARCHIVE = Imakefile

#include <psf_post.imake>
