Почему этот код экспорта данных памяти Ada не работает? - PullRequest
Новая
       10

Почему этот код экспорта данных памяти Ada не работает?

0 голосов
/ 08 октября 2018

Я новичок в Аде, так что это очень простой вопрос.Я смотрел этот учебник Ada: https://www.youtube.com/watch?v=szh8eILpPEw&index=17&list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o

В минуту 5:11 есть код для экспорта объектов памяти Ada в код на C.Кодекс работает не просто так.Чего-то не хватает в [...] пробеле в С-коде?Код Ады вверху - это .ads, верно?

Вот код: 

ADACODE
with Interfaces.C
package ALib is
     The_Length : constant Interfaces.C.size_t := 80 with
              Convention      => C,
              Export          => True,
              External_Name   => "theLength":
end ALib;

CCODE
#include <stdio.h>
extern size_t theLength;
[ ... ]
printf("%d\n", theLength);

Я использую GPS

...