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;

将解决您的问题。

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

1 个答案: