Yes but if the user edits the makefile, everything breaks.

This makefile can be generated by gprbuilder or the IDE, if you want it.