Make it possible to run 'make distclean' for an unconfigured project.  Make 'tests' the default target.  Leave it to 'gnatmake' to generate required directories.  Make sure 'make distclean' removes '.config'.  Introduce a sensible default installation prefix.