all:
	gnatmake -Pdefault
run:
	./main
clean: 
	gnat clean -Pdefault