hi,
Я тут невзначай набрел на ранее неизвестную в наших кругах поделку: http://www.gosniias.ru/pages/21/21-5.htm
imho, Можно указать на страничке прожектов
Alex
Oleksandr Havva wrote:
hi,
Я тут невзначай набрел на ранее неизвестную в наших кругах поделку:
http://www.gosniias.ru/pages/21/21-5.htm
imho, Можно указать на страничке прожектов
Подробности бы узнать...
hi,
"Sergey I. Rybin" wrote:
Oleksandr Havva wrote:
>
hi,
>
Я тут невзначай набрел на ранее неизвестную в наших кругах поделку: http://www.gosniias.ru/pages/21/21-5.htm
>
imho, Можно указать на страничке прожектов
>
Подробности бы узнать...
>
Для решения этой благородной задачи,
наверное, надо обзадачивать тех товарищей,
которые к Москве поближе будут ;)
Alex
Для решения этой благородной задачи,
наверное, надо обзадачивать тех товарищей,
которые к Москве поближе будут ;)
Да у меня с ГосНииАс-ом уже давно все контакты умерли...
:(
hi,
"Sergey I. Rybin" wrote:
Для решения этой благородной задачи,
наверное, надо обзадачивать тех товарищей,
которые к Москве поближе будут ;)
>
Да у меня с ГосНииАс-ом уже давно все контакты умерли...
:(
Знач придется оживлять (на кофей прогуляться, водовки попить :)) Или ты супротив того чтобы нести в массы
"доброе, чистое, вечное" ((С) не мое)???
Кстати, я по окресностям этого сайта побродил,
так у них там довольно часто US DoD стандарты
на предмет security/safety упоминаются,
которые напрямую связаны с технологиями
на основе Ады. Так что с Адой они, похоже,
не первый день тихонько "партизанят".
Alex
Кстати, я по окресностям этого сайта побродил,
так у них там довольно часто US DoD стандарты
на предмет security/safety упоминаются,
которые напрямую связаны с технологиями
на основе Ады. Так что с Адой они, похоже,
не первый день тихонько "партизанят".
Они начали работать с Адой еще в советские времена.
Я к ним в конце 80-х ходил тестировать нашими тестами
спертый где-то компилятор для VAX VMS. Но потом как-то
заглохло, причем - с их стороны...
Ты прав, надо будет попытаться реанимировать...
hi,
"Sergey I. Rybin" wrote:
>
Ты прав, надо будет попытаться реанимировать...
>
угу... и приобщить их к нашей (ada-ru) компании :)
Alex
Добрый день !
Пытаюсь собрать gnat в составе gcc-3.4.0 под qnx, в принципе
получилось, но тесты проходят далеко не все. Может быть народ
подскажет в каком направлении копать?
Вот выдержка из лога acats.sum
=== acats configuration ===
target gcc is /home/gcc-bin/gcc/xgcc -B/home/gcc-bin/gcc/
Reading specs from /home/gcc-bin/gcc/specs Configured with: /src/gcc-3.4.0/configure
--enable-threads=posix --enable-languages=ada --enable-shared --srcdir=/src/gcc-3.4.0
--prefix=/usr/local Thread model: posix gcc version 3.4.0
host=i386-pc-nto-qnx6.2.1
target=i386-pc-nto-qnx6.2.1
gnatmake is a tracked alias for /home/gcc-bin/gcc/gnatmake
=== acats support ===
Generating support files... done.
Compiling support files... done.
=== acats tests ===
Running chapter a ...
PASS: a22006b
PASS: a22006c
PASS: a22006d
PASS: a26007a
.............................
........................................
=== acats Summary ===
# of expected passes 1945
# of unexpected failures 21
# of unsupported tests 356
*** FAILURES: c23003b c23003g c23003i ca13001 cxg2002 cxg2003 cxg2004 cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 cxg2017 cxg2018 cxg2019 cxg2020 cxg2021
Viktor
hi,
Viktor Danylenko wrote:
Добрый день !
>
Пытаюсь собрать gnat в составе...
О! Еще один "вольный потрошитель" GNAT-ства объявился :)
Вот выдержка из лога acats.sum
>
=== acats Summary ===
# of expected passes 1945
# of unexpected failures 21
# of unsupported tests 356
*** FAILURES: c23003b c23003g c23003i ca13001 cxg2002 cxg2003 cxg2004 cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 cxg2017 cxg2018 cxg2019 cxg2020 cxg2021
>
Viktor
К сожалению, сейчас не имею на компе развернутого ACATS,
посему, на первый (беглый) вгляд похоже на отсутствие
в сборке поддержки какого-то (или каких-то)
специализированного дополнения (Annex).
Более точно, надо смотреть в исходный текст
соответствующего неудачного теста. Там точно указывается,
_что_ этот тест проверяет.
Ежели я угадал, и проблема с поддержкой дополнений,
то надо смотреть в скрипты, где указывается конфигурация
запуска ACATS - что заявлено как присутствующее и
поддерживаемое.
...или добывать/доставлять поддержку соотв. дополнения. :)
Alex
PS
На всякий случай: руководство по ACATS я перевел на русский
и оно есть на сайте www.ada-ru.org в разделе документации.
Viktor Danylenko wrote:
Добрый день !
Пытаюсь собрать gnat в составе gcc-3.4.0 под qnx, в принципе
получилось, но тесты проходят далеко не все. Может быть народ
подскажет в каком направлении копать?
........................................
=== acats Summary ===
# of expected passes 1945
# of unexpected failures 21
# of unsupported tests 356
*** FAILURES: c23003b c23003g c23003i
Какова максимальная длинна имени файла в QNX?
ca13001
С этим тестом и его сутью учше обратиться к одному из представителей корпоративных интересов.
cxg2002 cxg2003 cxg2004
cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016
cxg2017 cxg2018 cxg2019 cxg2020 cxg2021
А здесь необходимо смотреть почему не работает арифметика с плавающей точкой, в частности элементарные функции abs, sin, ...
-- Vadim Godunko
hi,
Vadim Godunko wrote:
>
cxg2002 cxg2003 cxg2004
cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 cxg2017 cxg2018 cxg2019 cxg2020 cxg2021
>
А здесь необходимо смотреть почему не работает арифметика с плавающей точкой, в частности элементарные функции abs, sin, ...
хм... В таком случае, возможно, стоит "поиграться"
с опциями оптимизации?
Собрать без оптимизации и "прогнать" через ACATS.
Если проблема исчезнет, то далее следует выяснить
на каких модулях необходимо отключать (-O0)
или понижать (например с -O3 на -O2) режим оптимизации.
Я с таким поведением столкнулся при сборке ALR.
Пришлось полностью "зарубить" оптимизацию (-O0)
на модуле битовых операций.
Alex
Oleksandr Havva wrote:
cxg2002 cxg2003 cxg2004
cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016
cxg2017 cxg2018 cxg2019 cxg2020 cxg2021
А здесь необходимо смотреть почему не работает арифметика с плавающей
точкой, в частности элементарные функции abs, sin, ...
хм... В таком случае, возможно, стоит "поиграться"
с опциями оптимизации?
Возможно дело обстоит значительно серьезнее. Эта группа тестов предназначена для проверки _точности_ выполнения операций. "И кто его знает, чего он мигает..."
-- Vadim Godunko
Hello Vadim!
Thursday, May 27, 2004, 2:06:40 PM, you wrote :
........................................
=== acats Summary ===
# of expected passes 1945
# of unexpected failures 21
# of unsupported tests 356
*** FAILURES: c23003b c23003g c23003i
VG> Какова максимальная длинна имени файла в QNX?
Кажется 48 символов, на выходных постараюсь проверить действительно ли проблемы вызваны этим.
Большое спасибо.
Виктор
hi,
Vadim Godunko wrote:
Oleksandr Havva wrote:
>
>cxg2002 cxg2003 cxg2004
>cxg2006 cxg2007 cxg2010 cxg2011 cxg2012 cxg2013 cxg2014 cxg2015 cxg2016 >cxg2017 cxg2018 cxg2019 cxg2020 cxg2021
>
>
>А здесь необходимо смотреть почему не работает арифметика с плавающей >точкой, в частности элементарные функции abs, sin, ...
>
>
хм... В таком случае, возможно, стоит "поиграться"
с опциями оптимизации?
>
Возможно дело обстоит значительно серьезнее. Эта группа тестов
предназначена для проверки _точности_ выполнения операций. "И кто его знает, чего он мигает..."
ес-сно возможно...
Насколько помню, в исходниках GNAT (3.X, 5.X)
такая вещь как QNX не упоминается.
Посему, наверное, надо смотреть какими средствами
обеспечивается и/или должна быть обеспечена поддержка
плавающей арифметики для данного случая GNAT+QNX.
Точнее, где она живет - в GNAT(?), в самом QNX(?),
или в какой-нибудь дополнительной внешней библиотеке
(из поставки QNX, чего-то GNU-сное или "левое"?).
Кстати, под тот же Linux GNAT ведь не только с GLIBC
можно собрать(!), можно собрать и с NEWLIB, например.
А как и в каких связках вопрошающий его под QNX собирает,
что _реально_ меняет/добавляет в исходниках, жуть его знает?
Alex
Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти