blob: d4fac0b97150fc149d1862ada8b44c71893f738a [file] [log] [blame]
Nico Huber5e9b1b52016-10-08 22:09:33 +02001subdirs-y += ada common proof
2subdirs-y += debug