Ada_Ru форум

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

[ada_ru] Установка AWS н а Raspberry Pi3

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

Сообщения

ksiby
[ada_ru] Установка AWS н а Raspberry Pi3
2018-01-11 20:05:15
Уважаемый, ALL!!
Порекомендуйте шаги по установке AWS на новой платформе Raspberry Pi3 без кроскомпиляции.
Имеем любую GPL версию AWS от AdaCore в исходниках.
GNAT дистрибутива Linux Raspberypi, так как другого не существует.
Проблема в скриптах установки которые ориентированы на AdaCore GNAT.
Буду рад любым советам в этой части, для быстрого решения задачи.

С уважением, Сергей Киркоров.
Dmitriy Anisimkov
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-12 04:03:42
On 2018-01-12 02:05, Sergey Kirkorov [email protected] [ada_ru] wrote:
> Уважаемый, ALL!!
> Порекомендуйте шаги по установке AWS на новой платформе Raspberry Pi3
> без кроскомпиляции.
> Имеем любую GPL версию AWS от AdaCore в исходниках.
> GNAT дистрибутива Linux Raspberypi, так как другого не существует.

Этот что ли ?
gnat-gpl-2016-raspberrypi-linux-linux-bin.tar.gz
http://mirrors.cdn.adacore.com/art/5739d91dc7a447658e0b0197
Хотя это кросс компилятор, насколько я понимаю.
Что за операционка стоит ?

> Проблема в скриптах установки которые ориентированы на AdaCore GNAT.

А что за проблема то, поконкретнее ?
ksiby
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-12 18:46:48
Спасибо за Ваш вопрос, Дмитрий.
Есть такая сборка - распространяется в виде IMG файла для microSD карты на 8 Гбайт, 15 минут записи
и у Вас готовый компьютер для учебных целей и не только. Очень удобно, с учетом что плату и
дополнение к ней можно приобрести от $35 до $90 . Производительности хватает для учебных целей и
сервера IoT. Дальше не буду - офтопик. Ссылка
https://www.raspberrypi.org/downloads/raspbian/ 

Ставится GNAT free через apt-get полностью интегрируется с текущей выше упомянутым Linux.
AWS доступен только от AdaCore. Удалось с некоторыми ограничениями установить AWS 2.8 , видимо не
совсем корректно т.к. в проекте из шаблона GPS
не видит в AWS --  "with 'AWS' "
В идеале конечно хотелось бы создать сборку GPL от AdaCore непосредственно для выше упомянутой
платформы (Процессор имеет архитектуру ARMv53).
Вариант скрипта для правильной установки AWS тоже не плох, тем более наверно менее трудозатратен.

С уважением, Сергей Киркоров.
ksiby
Fwd: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-12 18:57:53

----- Пересланное сообщение -----
От: "Sergey Kirkorov" <[email protected]>
Кому: "ada ru" <[email protected]>
Отправлено: Пятница, 12 Январь 2018 г 21:46:48
Тема: Re: [ada_ru] Установка AWS на Raspberry Pi3

Спасибо за Ваш вопрос, Дмитрий.
Есть такая сборка - распространяется в виде IMG файла для microSD карты на 8 Гбайт, 15 минут записи
и у Вас готовый компьютер для учебных целей и не только. Очень удобно, с учетом что плату и
дополнение к ней можно приобрести от $35 до $90 . Производительности хватает для учебных целей и
сервера IoT. Дальше не буду - офтопик. Ссылка
https://www.raspberrypi.org/downloads/raspbian/ 

Ставится GNAT free через apt-get полностью интегрируется с текущей выше упомянутым Linux.
AWS доступен только от AdaCore. Удалось с некоторыми ограничениями установить AWS 2.8 , видимо не
совсем корректно т.к. в проекте из шаблона GPS
не видит в AWS --  "with 'AWS' "
В идеале конечно хотелось бы создать сборку GPL от AdaCore непосредственно для выше упомянутой
платформы (Процессор имеет архитектуру ARMv53).
Вариант скрипта для правильной установки AWS тоже не плох, тем более наверно менее трудозатратен.

С уважением, Сергей Киркоров.
Maxim Reznik
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-12 19:19:45
On 2018-01-12 02:05, Sergey Kirkorov [email protected] [ada_ru] wrote:
> Уважаемый, ALL!!
> Порекомендуйте шаги по установке AWS на новой платформе Raspberry Pi3
> без кроскомпиляции.
> Имеем любую GPL версию AWS от AdaCore в исходниках.
> GNAT дистрибутива Linux Raspberypi, так как другого не существует.

Я предлагаю собрать AWS пакет из дистрибутива Debian. 
Во-первых это не должно быть сложно, а во-вторых получится бинарный пакет, который
потом легко ставить на другие машины, если понадобиться.

Вот тут написано, какие команды нужно выполнить:

https://www.raspberrypi.org/forums/viewtopic.php?f=66&t=9298#p108459

--
Максим
ksiby
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-12 20:34:26
Спасибо, Максим.
Попробую оба варианта по Вашей ссылке.
С уважением, Сергей Киркоров.
kazakov1961
Re: [ada_r u] Установк а AWS на Raspberry Pi3
2018-01-12 21:10:04
Вообще-то по этой ссылке описывается постройка пакета из пакета-исходников. Я могу ошибаться, но не
помню, чтобы AdaCore что-либо распространяла в пакетах. И, если где-то есть пакет-исходник, то  там
же должен быть и бинарный пакет.

Кроме того, AWS, по-моему, зависит от OpenSSL. Т.е. нужно будет устанавливать dev пакет и смотреть
признает ли его configure. Я слышал что люди имели проблемы. GNUTLS проще, серьезных вопросов у
меня с ним не было, но, видимо, GNUTLS еще не было, когда делали AWS.

Я бы рекомендовал установить Debian buster. Там есть свежий FSF GNAT 7. Затем скачать исходники
AWS. Установиь все dev-пакеты, о чем AdaCore-вский configure будет ругаться. Затем компилировать.

Да, обязательно, в сгенерированных make-файлах, замените -j0 на -j1. Raspberry Pi 3 имеет всего 1Гб
и четыре ядра. Запуск четырех компиляторов стабильно выносит все, как только используется вся
память и что-то уходит в своп. Зависит от размера adb файлов, иногда проскакивает, иногда - нет.
kazakov1961
Re: [ada_ru ] Установк а AWS на Raspberry Pi3
2018-01-12 21:33:12
Сборка Debian пакетов - грандиозный геморрой. AdaCore задачу не упрощает, так как использует
configure вместо сценариев gprbuild. Я пакую GtkAda для Debian, а AWS - нет, у меня свой HTTP.

Чтобы работал "with AWS", надо чтить Debian Ada policy. Ссылка тут:

   https://people.debian.org/~lbrenta/debian-ada-policy.html
https://people.debian.org/~lbrenta/debian-ada-policy.html

так, для ознакомления, с чем связываетесь...(:-))

В Fedora и CentOS все по-другому, как водится.

Кажется где-то я видел AWS упакованый кем-то для FreeBSD. Не знаю, как насчет ARM. Попробуйте,
может там свезет.
ksiby
Re: [ada_ru] Установк а AWS на Raspberry Pi3
2018-01-12 22:04:29
Спасибо, Дмитрий.
Интересный документ .
С уважением, Сергей.
PS. Поздравляю со старым новым годом!! Всех благ ALL!!!
Иван Леваше
[ada_ru] Re: Установка AWS на Raspberry Pi3
2018-01-13 04:42:12
Здравствуйте, Дмитрий!

> Кроме того, AWS, по-моему, зависит от OpenSSL. Т.е. нужно будет
> устанавливать dev пакет и смотреть признает ли его configure. Я слышал
> что люди имели проблемы. GNUTLS проще, серьезных вопросов у меня с ним
> не было, но, видимо, GNUTLS еще не было, когда делали AWS.
>
GNUTLS в AWS поддерживается, и на одной системе у меня так и было 
собрано, но в конечном итоге обнаружилось, что в Debian пакет GNUTLS — 
это просто обёртка для OpenSSL.

С уважением,
Левашев Иван,
Барнаул

-- 
If you want to get to the top, you have to start at the bottom
Dmitriy Anisimkov
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-13 14:13:56
On 2018-01-13 03:10, [email protected] [ada_ru] wrote:
> Кроме того, AWS, по-моему, зависит от OpenSSL. Т.е. нужно будет
> устанавливать dev пакет и смотреть признает ли его configure. Я слышал
> что люди имели проблемы. GNUTLS проще, серьезных вопросов у меня с ним
> не было, но, видимо, GNUTLS еще не было, когда делали AWS.

Сейчас AWS поддерживает сборки с OpenSSL или с GNUTLS или вообще без
SSL. configure у AWS нету, у него есть "make setup".
ksiby
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-13 14:50:17
Все именно так, Дмитрий.
командой "make setup build install"
При этом не находит кучу каталогов и игнорирует часть исходников - в моем случае.
В результате после установки GPS не видит AWS и вообще непонятно куда устанавливается при этом
сборка проходит с игнарированием справедливых замечаний - для каждой версии индивидуальные.

С уважением, Сергей Киркоров.

Dmitriy Anisimkov
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-13 14:54:19
> Сейчас AWS поддерживает сборки с OpenSSL или с GNUTLS или вообще без
> SSL. configure у AWS нету, у него есть "make setup".

Да, еще забыл сообщить об одной достойной SSL библиотеке поддерживаемой
в AWS, к слову так сказать.
https://www.libressl.org/
Ee надо представить в AWS как OpenSSL по причине полной бинарной
совместимости.
Maxim Reznik
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-17 06:40:17
Привет Сергей,

Есть еще один вариант запустить AWS на Raspberry Pi3 - поставить другой дистрибутив, где
AWS уже есть "из коробки". Я имею ввиду Fedora, там отлично поддерживается Ада и
Raspberry Pi3 поддерживается. Это должно быть не сложно, ничего не придется компилять
и компилятор Ады там свежее чем в Rasbian.

Вот несколько ссылок

https://arm.fedoraproject.org/

https://fedoraproject.org/wiki/Architectures/ARM/Raspberry_Pi

-- 
Максим
ksiby
Re: [ada_ru] Установка AWS на Raspberry Pi3
2018-01-17 19:20:03
Отличная новость, Максим!!!
Обязательно попробую.
К сожалению 27 версия в текущий проект не полностью подходит. Отсутствует поддержка GPIO, обещают
на сайте обеспечить в 28 версии.
Большое спасибо за информацию.
С уважением, Сергей Киркоров. 
Новое сообщение:
Страницы: 1

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