Prueba con: gnatgcc -c hello.adb gnatbl -o hello hello.ali
Si eso no va, la verdad que ni idea de qué puede pasar. Saludos _______________________________________________ CRySoL mailing list http://crysol.inf-cr.uclm.es/ https://arco.inf-cr.uclm.es/cgi-bin/mailman/listinfo/crysol
