Re: [devel] I: Полиси Ада

[Ilya Mashkin <oddity@altlinux.ru>]

2012/12/26 Igor Vlasenko <vlasenko@imath.kiev.ua>:
> Обучал робота языку Ада.
> Как оказалось, в Сизифе пакетов Ада совсем нет.
> Полиси Ада тоже нет.
>
> Временно спер полиси из Fedora, набросал до лучших времен
> временный черновик - короткую справку http://www.altlinux.org/Ada_Policy
> и залил в Сизиф rpm-build-gnat
> (переупакованный по нашим правилам пакет fedora-gnat-project-common из Fedora).
>
> Естественно, этот текст не тянет на полиси, а просто
> справка-подсказка, если кому-то что-то понадобится собрать с помощью gnat.


Игорь, спасибо что подняли тему! Поддержки этого языка не хватало в
наших репозиториях.

В p6 кстати работает

>
> Теперь робот полиси Ада обучен.
> Но оказалось, (ALT #28275), что сам gcc-gnat у нас не вполне рабочий,
> так как ранее им никто не пользовался. Текущий gnat в процессе сборки
> падает с
> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> gnatmake: INTERNAL ERROR. Please report.
>
> Как только gcc-gnat починят,
> все 13 библиотек и пакетов Ада уедут в autoimports.
>
> Если кому-то эти пакеты будут нужны, можно будет переложить и в Сизиф
> (при условии, что они будут протестированы).