Заголовки Windows, Ada Опции

[TarasBer]

Я поставил пакет win32ada, он создал папку include\win32ada
Если написать первой строкой test.gpr with "win32ada", то среда ругается при открытии пакета:

[2011-02-08 16:25:57] C:\Program Files\ADA\projects\TEST\test.gpr:1:06: unknown project file: "win32ada"
[2011-02-08 16:25:57] Error while loading project 'C:\Program Files\ADA\projects\TEST\test.gpr'. Loading the default project.

Ну я это убрал.
Добавил в test.gpr строчку

for Source_Dirs use ("..\..\include\win32ada\**");

Пишу в test.adb with win32.winuser (вроде все основные функции, типа окно нарисовать итд, там).
Компилирую.

gnatlink "C:\Program Files\ADA\projects\TEST\test.ali" -shared-libgcc -g -g -fprofile-generate -o "C:\Program Files\ADA\projects\TEST\test.exe"
c:/program files/ada/bin/../libexec/gcc/i686-pc-mingw32/4.3.6/ld.exe: cannot find -lwin32ada
collect2: ld returned 1 exit status
gnatlink: error when calling C:\Program Files\ADA\bin\gcc.exe
gnatmake: *** link failed.

[2011-02-08 16:28:19] process exited with status 4 (elapsed time: 06.26s)

Что делать?

[TarasBer]

> Ты ж выкрутился.

Круто, теперь у моего разборщика выражений есть новый функционал: я могу в один и тот же разборщик подсовывать разные функции преобразования строки в число! (ирония)

> Вот просто пример приведи, неважно, пускай некомпилируемый, как ты хочешь чтоб это работало...

generic
   type Key_Base is (<>);
   type Number is private;
   type Key_Arr will be declared; -- как-то так 
   with function Val_Number(Expression: Key_Arr; Position: access integer; V: access Number) return boolean;
package Parser is
...

Ещё:
"Info: instantiation of SMTH during elaboration. Implicit pragma Elaborate_All for SMTH generated."

Если после with module; use module; ещё вписать pragma Elaborate_All(module), то предупреждение и счезает, но появляется ошибка о циклической элаборации. Это надо как-то обходить, или воспринимать, как изъян архитектуры модулей?

Код

error: elaboration circularity detected
info:    "winapi.strings (body)" must be elaborated before "winapi.strings (body)"
info:       reason: pragma Elaborate_All in unit "winapi.strings (body)"
info:          "winapi.strings (body)"
info:             must be elaborated along with its spec:
info:          "winapi.strings (spec)"
info:             which is withed by:
info:          "winapi (body)"
info:             which must be elaborated along with its spec:
info:          "winapi (spec)"
info:             which is withed by:
info:          "winapi.conversions (spec)"
info:             which is withed by:
info:          "winapi.strings (body)"

gnatmake: *** bind failed.

Особенно вот это место:

"winapi (spec)"
info: which is withed by:
info: "winapi.conversions (spec)"

У меня в WinAPI.Strings не написано with WinAPI.

Иерархия такая:

WinAPI
WinAPI.Strings
WinAPI.Converstions

Каждый модуль использует то и только те, что ниже него в списке.

Сообщение отредактировано: TarasBer - 11.03.2011 10:38