all: main

main:
	gnatmake -Pdefault

clean:
	gnat clean -Pdefault