在同一目录中下载和安装 GNAT 和 GtkAda 包
启动 GPS(GNAT 程序设计工作室)
打开项目文件GCODEEVIEW/GCODEDEVIEW.GPR
使用“构建所有”按钮编译
使用“RunMe:MiNeGTKADDA”按钮启动应用程序
确保获得所有 Git 子模块 “$ git submodules update”
下载并安装 ARM 软件包的 GNAT
启动 GPS(GNAT程序设计工作室)
打开项目文件 STM32 F4-DISKORY 控制器 /STM32 F4X DCKNOSN CNCK 控制器 GPR
使用”Flash to board”按钮来编程 STM32 F4 发现板
更多信息: http://blog.adacore.com/make-with-ada-arm-cortex-m-cnc-controller