[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.