如何编译这个程序？链接器阶段错误

Question

我已经在 windows 10 上安装了 gnat gpl 2016，并尝试使用 gnatmake 编译以下（小）程序。问题是由于从 libc 导入一个函数，任务似乎比简单的 gnatmake.exe gsh_repl.adb 复杂得多 [gnatmake 会在 linux 上编译它就好了 - 在最坏的情况下添加 - lglibc 就足够了]。我的问题是我不知道应该添加哪个选项才能使链接阶段成功完成。这是程序：

with Ada.Text_IO;
with System;
procedure GSH_Repl is

  function System (Command : in String) return Integer is
    Actual_Cmd : aliased constant String := Command & Character'Val (0); -- append nul to string
    function System_C (Command : in Standard.System.Address) return Integer
    with Import => True, External_Name => "system", Convention => StdCall;
  begin
    return System_C (Actual_Cmd'Address);
  end System;

begin
  loop
    declare
      File : Ada.Text_Io.File_Type;
      Line : constant String := Ada.Text_IO.Get_Line;
      Status : Integer := 0;
    begin
      if Line = "exit" then
    exit;
      end if;

      Ada.Text_Io.Open (File, Ada.Text_Io.Out_File, "script");
      Ada.Text_IO.Put_Line (File, Line);
      Ada.Text_Io.Close (File);

      Status := System ("c:\repos\gsh\obj\dev\gsh.exe script");
      Ada.Text_Io.Put_Line ("$? = " & Integer'Image (Status));
    end;
  end loop;
end GSH_Repl;

程序中可能存在某种错误 - 但编译正常但在链接器阶段失败:

>gnatmake.exe -L"c:\Programs\GNAT_2016\bin" -llibglibc-2.0-0.dll gsh_repl.adb
gnatmake.exe -L"c:\Programs\GNAT_2016\bin" -llibglibc-2.0-0.dll gsh_repl.adb
gnatbind -x gsh_repl.ali
gnatlink gsh_repl.ali -Lc:\Programs\GNAT_2016\bin
.\gsh_repl.o:gsh_repl.adb:(.text+0x1cc): undefined reference to `system@4'
collect2.exe: error: ld returned 1 exit status
gnatlink: error when calling C:\Programs\GNAT_2016\bin\gcc.exe
gnatmake: *** link failed.

Answer 1

Stdcall 是 win32 API 使用的约定。当您使用 GNAT 编译代码时，libc 是 GCC 的 libc，因此它对所有内容都使用 C 约定。

将 System_C 绑定更改为以下内容：

function System_C (Command : in Standard.System.Address) return Integer
with Import => True, External_Name => "system", Convention => C;

将解决您的问题。

如何编译这个程序？链接器阶段错误

How to compile this program? error at linker stage

windows

gcc

linker

ada

libc