| Siguiente: Estado actual, trabajo futuro Superior: Software libre para el Anterior: El núcleo ORK |
ORK está integrado en un sistema de compilación cruzado para Ada,
basado en los fuentes de la versión 3 13a de GNAT, a los que se han
añadido algunos parches y las versiones específicas para ORK de los
paquetes de GNULL y GNARL mencionados anteriormente. También se
utiliza la biblioteca newlib para compilación cruzada y las
binutils, con algunos parches. El sistema de
compilación se ejecuta en puestos de trabajo basados en GNU/Linux, y
produce código ejecutable para ERC32 en formato ELF. Los ejecutables
se pueden depurar con GDB, al que se han añadido scripts que
facilitan la depuración de tareas de Ada, y con DDD.
La forma de desarrollar programas con este entorno es la habitual. En
primer lugar, hay que asegurarse de que el programa responde al
perfil de Ravenscar, para lo cual se utiliza un fichero configuración,
denominado gnat.adc de forma estándar en GNAT, que incluye
las restricciones adecuadas para que el compilador las compruebe. A
continuación, se genera un ejecutable con gnatmake. El
ejecutable se puede cargar en el hardware real, o en un simulador como
TSIM
5,
y se puede depurar fácilmente con GDB y DDD.