无法将 C 源代码与 Ada 静态库链接（错误：libnewapi.a（unit1.o）：unit1.adb：undefined 引用“__gnat_rcheck_CE_Overflow_Check”）

问：

我想将我的 Ada 静态库 （libnewapi.a） 与我的 C 源代码 （main.c） 集成。 生成静态库时，我没有任何问题，但是在尝试将其与main.c链接时。 我收到以下链接错误， libnewapi.a（unit1.o）：unit1.adb：（.text+0x31）：未定义对“__gnat_rcheck_CE_Overflow_Check”的引用 我没有在我的 main.c 中使用此引用，也没有在我的任何 Ada 文件中使用。 我不知道为什么这个引用是自动添加的。 至关重要的是，我需要为我的项目使用静态 Ada 库链接我的 main.c。 我不知道我哪里出了问题。 非常感谢帮助。谢谢！

我正在使用 GPR 生成 libnewapi.a，如下所示，

    -- ada_gen_a.gpr
    project ada_gen_a is
       for Languages use ("Ada");
       for Source_Dirs use ("./");
       for Library_Name use "newapi";
       for Library_Dir use "./Lib/";
       for Library_Kind use "static";

       package Naming is
          for Spec_Suffix ("ada") use ".ads";
          for Body_Suffix ("ada") use ".adb";
          for Separate_Suffix use ".adb";
          for Dot_Replacement use ".";
          for Casing use "mixedcase";
       end Naming;

       Ada_Switches := ("-gnato", "-O2");

       package Compiler is
          for Default_Switches ("ada") use Ada_Switches;
       end Compiler;

       package Binder is
          for Default_Switches ("Ada") use ("-n","-Lada");
       end Binder;
    end ada_gen_a;

Ada 源文件：

    --  unit1.ads
    package Unit1 is
       function Add (A, B : Integer) return Integer;
       pragma Export (C, Add, "ada_add");
    end Unit1;

    -- unit1.adb
    package body Unit1 is
       function Add (A, B : Integer) return Integer is
       begin
          return A + B;
       end Add;
    end Unit1;

C 源文件：

    /* main.c */
    #include <stdio.h>
    extern void ada_add (void);
    int main (int argc, char *argv[])
    {
       int a = 21, b = 7, c = 0;
       printf ("%d", a);
       printf ("%d", b);
       c = ada_add(a,b);
       printf ("%d", c);
       return 0;
    }

我正在使用下面的GPR将上面的main.c与使用ada_gen_a.gpr生成的Ada静态库链接起来。

    -- Ada_Use_A.gpr
    with "newapi.gpr";
    project Ada_Use_A is

       for Languages use ("C");
       for Source_Dirs use (".");
       for Source_Files use ("main.c");

       package Naming is
          for Casing use "mixedcase";
       end Naming;

       Ada_Switches := ("-gnato", "-O2");

       package Compiler is
          for Default_Switches ("C") use ("-O2", "-Wall");
          for Default_Switches ("Ada") use Ada_Switches;
       end Compiler;

       package Binder is
          for Default_Switches ("Ada") use ("-n","-Lada");
       end Binder;

       for Main use ("main.c");

    end Ada_Use_A;

    -- newapi.gpr
    project newapi is
       for Externally_Built use "true";
       for Source_Files use ();
       for Library_Dir use ".\lib\";
       for Library_Name use "newapi";
       for Library_Kind use "static";
    end newapi;

当我尝试构建 Ada_Use_A.gpr GPS 时，出现以下链接器错误，__gnat_rcheck_CE_Overflow_Check' gprbuild：main.c 的链接失败'libnewapi.a(unit1.o):unit1.adb:(.text+0x31): undefined reference to