all:
	gnatmake -Pdynamic_cast

run:
	./dynamic

clean:
	gnat clean -Pdynamic_cast

