include ../../Makefile.stub
BLD=prod

default:
	gnat make -Pgnatstub -XBLD=$(BLD)
clean:
	gnat clean -Pgnatstub
