Este es el fichero de configuración/compilación de gnatdist.