all:
	gnatmake -eS -p -Pharness
clean:
	-gnatclean -Pharness
	-gnatclean -Ptested_lib/testlib
	rm -rf obj tested_lib/obj
