subdirs-y += ada common proof c
subdirs-y += debug