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

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

[Igor Vlasenko]

Обучал робота языку Ада.
Как оказалось, в Сизифе пакетов Ада совсем нет.
Полиси Ада тоже нет.

Временно спер полиси из Fedora, набросал до лучших времен
временный черновик - короткую справку http://www.altlinux.org/Ada_Policy
и залил в Сизиф rpm-build-gnat 
(переупакованный по нашим правилам пакет fedora-gnat-project-common из Fedora).

Естественно, этот текст не тянет на полиси, а просто
справка-подсказка, если кому-то что-то понадобится собрать с помощью gnat.

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

Как только gcc-gnat починят,
все 13 библиотек и пакетов Ада уедут в autoimports.

Если кому-то эти пакеты будут нужны, можно будет переложить и в Сизиф
(при условии, что они будут протестированы).

-- 

Dr. Igor Vlasenko
--------------------
Topology Department
Institute of Math
Kiev, Ukraine


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

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

[Ilya Mashkin]

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.
>
> Если кому-то эти пакеты будут нужны, можно будет переложить и в Сизиф
> (при условии, что они будут протестированы).