blob: d37ce513e91ee70c2578230d8845118112e6b432 [file] [log] [blame]
subdirs-y += ada common proof c
subdirs-y += debug