如何运行用Ada编写的程序?

我使用的是Windows 10(64位),我从以下网站下载了GNAT GPL 2017,ARM ELF格式(托管在Windows上) http://libre.adacore.com/download/configurations#

我创建了一个示例代码:

with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
begin
    Put_Line("Hello from GPS!");
end Hello;

当我建立文件时,一切都很好,并且成功了。问题是,当我运行程序时,出现了一个错误:

尝试执行C:\Users\sigger\Desktop\ada\hello时出错:不是可执行文件

项目->属性->来源->主要->可执行文件名

关于你好。然后我得到一个错误,我的程序不能在64位Windows上运行。

如何在Windows 10上从ada代码创建exe文件?