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