all:output1 output2 output3
	md5sum output*

output1:
	gnat list -q -V input_sources.ali -P proj.gpr > $@

output2:
	gnat list -q -V input_sources.ali -P proj_bis.gpr > $@

output3:
	gnat list -q -V input_sources.ali -P proj_ter.gpr > $@

clean:
	rm -f output*