release:
	gprbuild -d -PcheddarKernel.gpr -XBuild=Release

debug:
	gprbuild -d -PcheddarKernel.gpr -XBuild=Debug

clean:
	gnatclean -r -PcheddarKernel.gpr -XBuild=Debug
	gnatclean -r -PcheddarKernel.gpr -XBuild=Release

cleandebug:
	gnatclean -r -PcheddarKernel.gpr -XBuild=Debug

cleanrelease:
	gnatclean -r -PcheddarKernel.gpr -XBuild=Release

prettyprint::
	gnat pretty -rf -PcheddarKernel.gpr