Ada_Ru форум

Обсуждение языка Ада

gnat downloading

Оставить новое сообщение

Сообщения

rainbow-2000
gnat downloading
2006-01-20 03:47:14

Друзья,

 

Что-то у нас не получается познакомиться с Ada 2005, так как не можем gnat-gpl-linux-x86 вытянуть по dialup с libre (к сожалению, выделенку пока не можем себе позволить). Время закачки -- примерно 4.5 часа на нашей скорости, но у нас постоянно через каждые 2 - 2.5 часа происходит рассоединение и всё идёт лесом: по новой надо логониться и загрузка опять идёт с нуля. Мы сделали несколько попыток, но всё безуспешно. Очень обидно. Если что-то можно сделать, подскажите пожалуйста. Будем очень признательны.

 

 

Алексей

п'ятниця, 20. січень 2006 04:47, rainbow-2000 Ви написали:

Друзья,

>

Что-то у нас не получается познакомиться с Ada 2005, так как не можем gnat-gpl-linux-x86 вытянуть по dialup с libre (к сожалению, выделенку пока не можем себе позволить). Время закачки -- примерно 4.5 часа на нашей скорости, но у нас постоянно через каждые 2 - 2.5 часа происходит рассоединение и всё идёт лесом: по новой надо логониться и загрузка опять идёт с нуля. Мы сделали несколько попыток, но всё безуспешно. Очень обидно. Если что-то можно сделать, подскажите пожалуйста. Будем очень признательны.

С libre2.adacore.com советую *не* брать - она несколько "битая" - не хватает 2х файлов (тем кто уже скачал, советую взять их из gcc-3.4.5). Я им уже об этом сообщил, обещали в следующем релизе исправить. Пока же можете выкачать "пофиксенный" исходник отсюда:

http://dev.gentoo.org/~george/src/gnat-gpl-3.4.5.1-src.tar.bz2

В идеале конечно еще и использовать соответствуюший ebuild для установки и о результатах сообщить мне, сюда (и вообще посмотреть этот баг на предмет доп. информации):

http://bugs.gentoo.org/show_bug.cgi?id=111340

;).

Хотя это конечно актуально только для тех, кто пользует Gentoo. Хотя если здесь такие есть, буду очень признателен за feedback..

George

Если я правильно понял, то это gcc 3.4.5. Что мешает его взять от сюда?

ftp://ftp.chg.ru/packages/gcc/gcc-3.4.5

-- Olleg Samoylov

п'ятниця, 20. січень 2006 08:48, Olleg Ви написали:

Если я правильно понял, то это gcc 3.4.5. Что мешает его взять от сюда? ftp://ftp.chg.ru/packages/gcc/gcc-3.4.5

То что в нем почти ничего из Ада2005 не реализовано (лучше тогда смотреть в сторону gcc-4.1). Исходник лежащий на libre2.adacore.com содержит много "довесков", пока еще не совсем оффициальных, насколько я могу судить, но уже работающих..

George

George Shapovalov wrote:

п'ятниця, 20. січень 2006 04:47, rainbow-2000 Ви написали:

 

Друзья,

 

Что-то у нас не получается познакомиться с Ada 2005, так как не можем

gnat-gpl-linux-x86 вытянуть по dialup с libre (к сожалению, выделенку

пока не можем себе позволить). Время закачки -- примерно 4.5 часа на

нашей скорости, но у нас постоянно через каждые 2 - 2.5 часа происходит

рассоединение и всё идёт лесом: по новой надо логониться и загрузка

опять идёт с нуля. Мы сделали несколько попыток, но всё безуспешно.

Очень обидно. Если что-то можно сделать, подскажите пожалуйста. Будем

очень признательны.

 

 

С libre2.adacore.com советую *не* брать - она несколько "битая" - не хватает 2х файлов (тем кто уже скачал, советую взять их из gcc-3.4.5). Я им уже об этом сообщил, обещали в следующем релизе исправить. Пока же можете выкачать "пофиксенный" исходник отсюда:

http://dev.gentoo.org/~george/src/gnat-gpl-3.4.5.1-src.tar.bz2

 

В идеале конечно еще и использовать соответствуюший ebuild для установки и о результатах сообщить мне, сюда (и вообще посмотреть этот баг на предмет доп. информации):

http://bugs.gentoo.org/show_bug.cgi?id=111340

;).

Хотя это конечно актуально только для тех, кто пользует Gentoo. Хотя если здесь такие есть, буду очень признателен за feedback..

 

George

 

 

Yahoo! Groups Links

 

 

 

George,

 

Естественно, Gentoo! Что же может быть лучше :) Большое спасибо, попробуем вытянуть и feedback вам обеспечим. Где вот только сам ebild взять? Его вроде в портах нету.

...........................................

ls /usr/portage/dev-lang/gnat/

 

ChangeLog gnat-3.15p.ebuild gnat-3.15p-r5.ebuild gnat-3.44-r1.ebuild Manifest

files gnat-3.15p-r3.ebuild gnat-3.41.ebuild gnat-3.44-r2.ebuild metadata.xml

gnat-3.14p.ebuild gnat-3.15p-r4.ebuild gnat-3.43.ebuild gnat-3.45.ebuild

...........................................

# emerge -s gnat

...............

 

 

* dev-lang/gnat-gcc [ Masked ]

Latest version available: 3.4.5

Latest version installed: [ Not Installed ]

Size of downloaded files: 38,900 kB

Homepage: http://gcc.gnu.org/

Description: GNAT Ada Compiler - gcc version

License: GMGPL

 

* dev-lang/gnat-gpl [ Masked ]

Latest version available: 3.4.5.1

Latest version installed: [ Not Installed ]

Size of downloaded files: 41,614 kB

Homepage: https://libre2.adacore.com/

Description: GNAT Ada Compiler - AdaCore GPL version

License: GPL-2

...............

 

 

Алексей Пустынцев

п'ятниця, 20. січень 2006 08:04, George Shapovalov Ви написали:

Хотя это конечно актуально только для тех, кто пользует Gentoo. Хотя если здесь такие есть, буду очень признателен за feedback..

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

Для гентушников, краткое содержание того бага на который я ссылался:

Я "завершил" недавно разделение gnat на отдельные пакеты, соответственно тому как они предоставляются upstream, на gnat-gcc, gnat-gpl и gnat-pro. gnat-gcc и gnat-gpl уже в portagе, но пока package.masked (жду тестирования собственно!). Соответственно процедура по их установке:

echo "dev-lang/gnat-gpl" >> /etc/portage/package.unmask

emerge gnat-gpl

то же самое для gnat-gcc.

Это также установит eselect-gnat, так что в дальнейшем переключение активного компилятора осуществляется так:

eselect gnat list # посмотреть что установленно

eselect gnat set ... # активизировать данный компилятор

Жду результатов тестирования :). Заранее спасибо всем, кто рискнет (вообще-то оно уже должно "просто работать").

George

On Fri, Jan 20, 2006 at 01:47:14PM +1000, rainbow-2000 wrote:

Друзья,

 

Что-то у нас не получается познакомиться с Ada 2005, так как не можем gnat-gpl-linux-x86 вытянуть по dialup с libre (к сожалению, выделенку пока не можем себе позволить). Время закачки -- примерно 4.5 часа на нашей скорости, но у нас постоянно через каждые 2 - 2.5 часа происходит рассоединение и всё идёт лесом: по новой надо логониться и загрузка опять идёт с нуля. Мы сделали несколько попыток, но всё безуспешно. Очень обидно. Если что-то можно сделать, подскажите пожалуйста. Будем очень признательны.

 

 

Алексей

 

 

Могу дать скачать с ftp с докачкой

ftp://www.ada-ru.org/pub/gnat.gpl/

Но только "ночью", с 20:00 до 08:00.

 

Сам ищю нормальное зеркало, чтоб переделать свой автоматически

обновляемый список http://www.ada-ru.org/download.html на него.

А то jigdo не может попасть на libre2...

 

--

Maxim Reznik

On Fri, Jan 20, 2006 at 10:05:10AM +0100, George Shapovalov wrote:

п'ятниця, 20. с??чень 2006 08:04, George Shapovalov Ви написали:

Хотя это конечно актуально только для тех, кто пользует Gentoo. Хотя если здесь такие есть, буду очень признателен за feedback..

 

Есть

 

Я "завершил" недавно разделение gnat на отдельные пакеты, соответственно тому как они предоставляются upstream, на gnat-gcc, gnat-gpl и gnat-pro. gnat-gcc и gnat-gpl уже в portagе, но пока package.masked (жду тестирования

 

Я в bugs.gentoo.org написал, что называть gnat-3.15p как gnat-pro мне кажется не правильным. IMHO делать ветку gnat-pro не актуально, т.к. получить легально Pro версию не заплатив за нее будет тяжело, а желающих использовать ebuild для Pro версии тоже будет мало.

Если кто-то купит Pro версию, думаю будет использовать сборку от

AdaCore, все таки так надежнее и проще обращаться за сапортом.

 

Кстати, может кто подскажет, что AdaCore понимает под GNU/Linux

платформой? Какой дистрибутив, ядро, набор системных библиотек?

На adacore.com не нашел...

 

Тут как-то на "Red Hat Enterprise Linux ES release 3"

наступил на грабли с Segmentation fault в AWS при попытке

Вернуть String больше 2Mb. Хотя на других дистрибутивах

(Gentoo, Ubuntu) все нормально. Линукс линуксу рознь 8-)

 

собственно!). Соответственно процедура по их установке:

 

echo "dev-lang/gnat-gpl" >> /etc/portage/package.unmask

 

2George:

В comp.lang.ada с интересом почитал тему (еще в сеньтябре 2005)

"Next Ada compiler for Debian: the votes so far"

где высказывались аргументы о gnat-gpl.

Жду результатов тестирования :). Заранее спасибо всем, кто рискнет (вообще-то оно уже должно "просто работать").

 

 

Буду пробовать.

 

George

--

Maxim Reznik

п'ятниця, 20. січень 2006 09:47, rainbow-2000 Ви написали:

George Shapovalov wrote:

попробуем вытянуть и feedback вам обеспечим. Где вот только сам ebild взять? Его вроде в портах нету.

[skipped]

>

* dev-lang/gnat-gcc [ Masked ]

>

* dev-lang/gnat-gpl [ Masked ]

Ну так а это что?

См мой последний message в этой нити на предмет того, как размаскировать.. Он потому и маскирован, что тестируеся :).

George

George Shapovalov wrote:

То что в нем почти ничего из Ада2005 не реализовано (лучше тогда смотреть в сторону gcc-4.1). Исходник лежащий на libre2.adacore.com содержит много "довесков", пока еще не совсем оффициальных, насколько я могу судить, но уже работающих..

 

Похоже на то, меня попутал gcc-3.4.5-20050524-src.tgz который валяется

в сорсах на libre. Смотрю в сторону gcc-4.1 :)

-- Olleg Samoylov

Maxim Reznik wrote:

Сам ищю нормальное зеркало, чтоб переделать свой автоматически обновляемый список http://www.ada-ru.org/download.html на него.

А то jigdo не может попасть на libre2...

 

Пока я админю ftp.mipt.ru, могу rsync'ом отзеркалировать что-нибудь

общественно полезное. Что надо?

 

-- Olleg Samoylov

George Shapovalov wrote:

п'ятниця, 20. січень 2006 09:47, rainbow-2000 Ви написали:

 

George Shapovalov wrote:

попробуем вытянуть и feedback вам обеспечим. Где вот только сам ebild

взять? Его вроде в портах нету.

 

[skipped]

 

* dev-lang/gnat-gcc [ Masked ]

 

* dev-lang/gnat-gpl [ Masked ]

 

Ну так а это что?

См мой последний message в этой нити на предмет того, как размаскировать..

Он потому и маскирован, что тестируеся :).

 

George

 

 

George,

 

Спасибо. Да, я с масками практически не работал, смотрю ebuild-ы в ~/dev-lang/gnat/ , а там что-то не видно ни gnat-gcc, ни gnat-gpl, поэтому и не понял в чём дело.

Сейчас пересобираем систему, так как новый компилятор надо ставить, да и вообще, сто лет уже ничего не обновлялось. Как всё сделаем, обязательно сообщим, как себя ведёт товарищ gnat.

 

Алексей

George Shapovalov wrote:

 

 

Жду результатов тестирования :). Заранее спасибо всем, кто рискнет (вообще-то оно уже должно "просто работать").

 

George

 

 

Приветствую всех!

 

Информация по установке gnat-gpl в Gentoo. К сожалению, установить с первого раза не получается, буду разбираться.

 

Для George и всех, кому интересно, более подробно:

 

# ACCEPT_KEYWORDS="~x86" emerge -v gnat-gpl

...............................................

 

Hunk #1 succeeded at 352 (offset 11 lines).

>>> Source unpacked.

creating cache ./config.cache

checking host system type... i686-pc-linux-gnu

checking target system type... i686-pc-linux-gnu

checking build system type... i686-pc-linux-gnu

checking for a BSD compatible install... /bin/install -c

ld: crtbegin.o: No such file: No such file or directory

*** The command '/var/tmp/portage/gnat-gpl-3.4.5.1/work/usr/bin/gnatgcc -o conftest -march=pentium4 -pipe -O2 -fomit-frame-pointer -fforce-addr conftest.c' failed.

*** You must set the environment variable CC to a working compiler.

 

!!! ERROR: dev-lang/gnat-gpl-3.4.5.1 failed.

!!! Function gnatbuild_src_compile, Line 374, Exitcode 1

!!! configure failed

!!! If you need support, post the topmost build error, NOT this status message.

 

Компилятор и binutils

 

# gcc -dumpversion

3.4.4

# emerge -s binutils

....................

* sys-devel/binutils

Latest version available: 2.16.1

Latest version installed: 2.16.1

Size of downloaded files: 12,392 kB

Homepage: http://sources.redhat.com/binutils/

Description: Tools necessary to build programs

License: || ( GPL-2 LGPL-2 )

 

Буду благодарен за помощь.

 

 

Алексей

On Wed, Feb 01, 2006 at 07:21:58PM +1000, rainbow-2000 wrote:

# ACCEPT_KEYWORDS="~x86" emerge -v gnat-gpl

................................................

ld: crtbegin.o: No such file: No such file or directory

# gcc -dumpversion

3.4.4

Буду благодарен за помощь.

 

У меня теже грабли. Там bootstrap компилятор неверно настроен.

Но gnat-gpl можно всеже построить если обновить системный gcc до 3.4.5. Тогда bootstrap подхватить его либы и инклуды и нормально

соберет gnat-gpl.

 

 

Алексей

 

--

Maxim Reznik

Maxim Reznik wrote:

 

 

У меня теже грабли. Там bootstrap компилятор неверно настроен.

Но gnat-gpl можно всеже построить если обновить системный gcc до 3.4.5.

Тогда bootstrap подхватить его либы и инклуды и нормально

соберет gnat-gpl.

 

Всем, привет!

 

Максим оказался прав. Спасибо. Действительно gcc-3.4.5 собрал gnat, как положено. Осталось только найти GNAT User's Guide, или это не входит в GPL-ассортимент AdaCore :) ?

 

Алексей

On Fri, Jan 20, 2006 at 03:05:38PM +0300, Olleg wrote:

Maxim Reznik wrote:

Сам ищю нормальное зеркало, чтоб переделать свой автоматически

обновляемый список http://www.ada-ru.org/download.html на него.

А то jigdo не может попасть на libre2...

 

Пока я админю ftp.mipt.ru, могу rsync'ом отзеркалировать что-нибудь общественно полезное. Что надо?

 

Я предлагаю зазеркалить gnat gpl для Windows/Linux.

Потому, как многие не могут скачать из-за отсутствия докачки.

Я воссоздал локально, то что доступно на https://libre2.adacore.com/ Там много одинаковых файлов для Linux и Windows, я их сделал

линками. (Но не все файлы с совпадающими именами одинаковы!!!)

Поэтому предлагаю забрать tar через ftp и раскрыть его локально.

(Я не уверен, может ли ftp таскать ссылки)

ftp://max.ada-ru.org/pub/gnat.gpl.tar (260M)

 

в раскрытом виде

ftp://max.ada-ru.org/pub/gnat.gpl/

 

Там есть файлики checksums.md5 по которым я ориентировался, что

одинаковое, а что нет.

 

FTP работает только ночью (с 20:00 до 8:00).

 

--

Olleg Samoylov

 

--

Maxim Reznik

Похоже не с того почтового ящика посылал, первое письмо не дошло.

 

Maxim Reznik wrote:

On Fri, Jan 20, 2006 at 03:05:38PM +0300, Olleg wrote:

Я воссоздал локально, то что доступно на https://libre2.adacore.com/

Там много одинаковых файлов для Linux и Windows, я их сделал

линками. (Но не все файлы с совпадающими именами одинаковы!!!)

Поэтому предлагаю забрать tar через ftp и раскрыть его локально.

(Я не уверен, может ли ftp таскать ссылки)

ftp://max.ada-ru.org/pub/gnat.gpl.tar (260M)

 

tar распакован по адресу ftp://ftp.mipt.ru/ada/

 

-- Olleg Samoylov

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти