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