all: 
	gnatmake -Posate.gpr 
clean:
	gnatclean -r -Posate.gpr