all: 
	gnatmake -x -Pscheduling_error_example.gpr 
clean:
	gnatclean -r -Pscheduling_error_example.gpr