[00:26:33] <vgodunko> Сложно сказать...
[00:26:48] <vgodunko> Я могу автора gnat_utils завтра поймать и поспрашивать
[00:30:59] <landgraf> было бы неплохо...
[11:33:22] <landgraf> vgodunko, меня серб опять обижает
[11:37:08] <vgodunko> Чего так?
[11:37:16] <vgodunko> Про исходники GCC?
[11:37:24] <landgraf> vgodunko, https://bugzilla.redhat.com/722732
[11:37:25] <landgraf> lf
[11:37:27] <landgraf> да
[11:37:28] <Жаба> landgraf, точно-точно?
[11:39:41] <coopht> может сделать форк gprbuild-a ?
[11:39:54] <coopht> у меня он не собирается fsf ным компилятором
[11:40:05] <landgraf> 2011-й?
[11:40:10] <coopht> выпилим из gprbuild'a поддержу SPARK
[11:40:12] <coopht> да 2011
[11:40:17] <landgraf> ну дык да
[11:40:21] <landgraf> у меня тоже
[11:40:27] <landgraf> из-за чего я эту кашу и заварил
[11:40:43] <coopht> ну вот я предлагаю решение =)
[11:42:12] <landgraf> coopht, а если ему сорцы fsf gnat подсовывать тоже не собирается?
[11:42:19] <landgraf> я уже не помню ))
[11:43:03] <coopht> не знаю.
Я собрал 4.6.0 компилятор от fsf, и им пытался собрать gprbuild.
У меня не получилось
[11:43:55] <landgraf> если подсунуть gcc/ada то ругается в другом месте
[11:44:02] <landgraf> gpr_version.adb:74:15: "Gnatpro" is undefined
[11:46:22] <landgraf> хм, поползла сборка
[11:46:53] <landgraf> coopht, собирается2
[11:47:03] <landgraf> не линкуется правда, но это другая история
[11:49:00] <vgodunko> landgraf: А можно как-то умудриться доработать процедуру сборки GCC/GNAT что бы паковать несколько файлов "ручками"?
[11:49:38] <landgraf> vgodunko, я это и пытаюсь сделать, но gcc в федоре такая вещь, что даже в koji через раз собирается, блин
[11:50:10] <landgraf> %if %{build_ada}
chmod 644 %{buildroot}%{_infodir}/gnat*
mkdir -p %{buildroot}/%{_datadir}/{gcc-gnat/}
install -pm 0644 gcc/ada/* %{buildroot}%{_datadir}/%{name}-gnat
%endif
[11:50:34] <landgraf> скобка лишняя
[11:51:00] <vgodunko> Все исходники GNAT-а не нужны да и вредны могут быть.
[11:51:16] <vgodunko> Нужно список подготовить и его вытаскивать.
[11:51:23] <coopht> landgraf, у меня он не собирался - говорил не знаю что такое SPARK

[11:51:59] <vgodunko> Начальный вид списка честно позаимствовать из gnat_utils
[11:52:10] <landgraf> coopht, да, это с дефолтными сорцами - которые лежат в gnat/
[11:52:28] <landgraf> coopht, в README написано как подсунуть ему актуальные
[11:53:12] <landgraf> ln -s <path_to_gcc>/gcc/ada gnat_src;  make copy_gnat_src -f Makefile.in
[12:01:40] <landgraf> vgodunko, https://bugzilla.redhat.com/show_bug.cgi?id=722732 бугага!
[12:23:40] <landgraf> vgodunko, может баг в gcc открыть? или вообще забить :(
[12:24:06] <vgodunko> Нет, к GCC это слабо относится.
[12:24:54] <vgodunko> Хотя конечно можно задать вопрос, почему бы и нет?
[20:50:33] <c0opht> Вот такая прикольная штука вывалилась =)
scans.adb:32:06: warning: license of withed unit "Snames" may be inconsistent
[20:50:43] <c0opht> это gprbuild собираю
[20:51:11] <subjrs> удали лицензию из scans.adb )
[20:57:36] <c0opht> похоже наоборот - нужно в snames кусок добавить