From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <vlasenko@imath.kiev.ua>
X-Spam-Checker-Version: SpamAssassin 3.2.5 (2008-06-10) on sa.int.altlinux.org
X-Spam-Level: 
X-Spam-Status: No, score=-0.7 required=5.0 tests=AWL,BAYES_00,
	RCVD_IN_SORBS_WEB,SPF_PASS,SUBJ_ALL_CAPS autolearn=no version=3.2.5
Date: Wed, 26 Dec 2012 17:19:25 +0200
From: Igor Vlasenko <vlasenko@imath.kiev.ua>
To: devel@lists.altlinux.org
Message-ID: <20121226151925.GA18142@dad.imath.kiev.ua>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
User-Agent: Mutt/1.5.21 (2010-09-15)
X-imath-kiev-ua-MailScanner-Information: Please contact the ISP for more
	information
X-imath-kiev-ua-MailScanner-ID: 651D06C8AB7.AF0A3
X-imath-kiev-ua-MailScanner: Found to be clean
X-imath-kiev-ua-MailScanner-From: vlasenko@imath.kiev.ua
Subject: [devel] =?utf-8?b?STog0J/QvtC70LjRgdC4INCQ0LTQsA==?=
X-BeenThere: devel@lists.altlinux.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: ALT Linux Team development discussions <devel@lists.altlinux.org>
List-Id: ALT Linux Team development discussions <devel.lists.altlinux.org>
List-Unsubscribe: <https://lists.altlinux.org/mailman/options/devel>,
	<mailto:devel-request@lists.altlinux.org?subject=unsubscribe>
List-Archive: <http://lists.altlinux.org/pipermail/devel>
List-Post: <mailto:devel@lists.altlinux.org>
List-Help: <mailto:devel-request@lists.altlinux.org?subject=help>
List-Subscribe: <https://lists.altlinux.org/mailman/listinfo/devel>,
	<mailto:devel-request@lists.altlinux.org?subject=subscribe>
X-List-Received-Date: Wed, 26 Dec 2012 15:20:50 -0000
Archived-At: <http://lore.altlinux.org/devel/20121226151925.GA18142@dad.imath.kiev.ua/>
List-Archive: <http://lore.altlinux.org/devel/>
List-Post: <mailto:devel@altlinux.org>

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

Временно спер полиси из 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.