prove:
	gnatprove -P sort.gpr --level=2

compile:
	gprbuild -P sort.gpr

clean:
	gprclean -P sort.gpr
	gnatprove -P sort.gpr --clean
	rm -f *~
