windows-10 - 如何运行Ada编写的程序?

标签 windows-10 ada gnat

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

我创建了一个示例代码:

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

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

Error while trying to execute C:\Users\sigger\Desktop\ada\hello: not an executable

当我更改项目的属性时:

Project -> Properties -> Sources -> Main -> Executable names

在 hello.exe 上,我收到一个错误,我的程序无法在 Windows 64 位上运行。

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

最佳答案

“ARM ELF”是你的问题。如果您尝试在 Windows x86-64 位平台上运行 ARM 可执行文件,您将不会成功。您需要 Windows x86-64(或 Windows x86-32)编译器。

您下载的是一个“交叉编译器” - 在一个平台 (Windows 64) 上运行,但为不同平台 (ARM) 构建二进制文件。

在您访问的网站上,尝试“x86 Windows(32 位)”编译器。

关于windows-10 - 如何运行Ada编写的程序?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46699222/

相关文章:

windows-8 - Windows应用商店应用(Windows 8)与UWP

C++ 如何检测 Windows 10

C++ 到 Ada 的指针和异常

coding-style - 如何编写 gnatcheck 规则

Ada.Containers.Vectors 不适用于 GNAT GPL 2017

c# - Windows 10 专业版 1803 蓝牙配置文件访问

windows-10 - 尝试在 virtualbox 上运行 macOS Catalina 10.15 时卡在 EFI shell 上

ada - ada中的类型转换

c 宏 __LINE__, __FILE__, __func__ 在 gnat ada 中等效

ada - FreeRTOS + GNAT Ada 编译库