all:
	gprbuild -p -Pharness
clean:
	-gprclean -Pharness
	-gprclean -Ptested_lib/testlib
	rm -rf obj tested_lib/obj
