.SUBDIRS: instrformats pervasives util
   if $(file-exists OMakefile)
      include OMakefile
