all:
	gnatmake -eS -p -f -Pharness

coverage:
	gnatmake -eS -p -f -Pharness -XCOVERAGE=yes
	./test_calculator
	cd obj;	gcov ../../tested_lib/obj/*.gcda

clean:
	gnatclean -Pharness
	gnatclean -Ptested_lib/testlib
	-rm -rf obj
	-rm -rf tested_lib/obj
	-rm -rf tested_lib/lib
