Para compilar la aplicación, como ya hemos visto, simplemente hay que ejecutar gnatdist: