Был давно такой интересный компилятор у производителя SofCheck. http://www.adacore.com/press/adacore-sofcheck-merge, а компилятор куда-то потерялся. У AdaCore его даже не купить. Он, конечно, поддерживает более старый стандарт Ada 95 с подмножеством Ada 2005, но иногда даже и такой компилятор может пригодиться.
Этот компилятор неожиданно был найден у другого производителя, который у адаистов вообще не на слуху: http://www.mapusoft.com/ada-to-c-changer/. У них можно запросить демку и скачать, потом они впаривают какой-то AppCOE на базе Eclipse, а если оно не нужно, то приходится распаковывать архив из архива из архива. Я постарался вытащить из AppCOE собственно AdaMagic и отбросить шелуху. Не имея представления о том, как он должен был выглядеть, возможно, не во всём корректно. И некоторых файлов вроде adabgen.inf и adacgen.inf просто нет.
Замечание от 13 июня 2018: нет, всё же IDE полезно иметь, см. тему дальше.
Таким образом, это компилятор Ada -> C, C++, запускается он на Windows и Linux, а через эмуляторы — и на других платформах. Сценарий использования из коробки — это Ada -> C, C++ -> GCC, но в GCC есть GNAT, который лучше, а AdaMagic интерес, как я понимаю, представляет, когда нужно собирать под платформы, не поддерживаемые GNAT, вроде Asm.js и Эльбрус, соответственно, научиться им пользоваться нетривиально и зависит от потребностей. Может понадобиться писать свой рантайм или не использовать те возможности языка, под которые рантайм не написан.
Для скачивания требуется регистрация на форуме.
http://forum.pascal.net.ru/index.php?act=Attach&type=post&id=16160 (191 Мб)
Немного о том, как установить:
Распаковать куда-нибудь, далее обозначено многоточием.
Добавить в PATH …\AdaMagic\windows\bin
Установить переменную среды ADA_MAGIC=…\AdaMagic\windows
Подредактировать …\AdaMagic\windows\SITE\rts_path и …\AdaMagic\windows\SITE\config
Дальше тяжело без документации. В PDF мало. Решал эту проблему. Вот, что удалось выяснить:
AdaMagic умел работать в 3х режимах, промежуточное представление, которое нужно компилировать дальше в машинный код собственными усилиями, либо в C/C++, либо в Java. И всё это — AdaMagic. Один поставщик (Intermetrics, AverStar, SofCheck) раздавал лицензии разным компаниям под разные условия, и когда мы берём чей-то компилятор, это адаптация AdaMagic.
Вот у MapuSoft именно второй сценарий, а у ObjectAda — первый и третий, но нет второго. ObjectAda однажды устроил раздачу бесплатных версий своего компилятора (ObjectAda 7.2 Special Edition), я себе такой сохранил, впрочем, в Интернете ещё можно найти, архив называется oa71sped.zip , и вот он пригодился. Свет проливается на то, как всё устроено. В частности, обнаруживается, что adacgen.exe — это переименованный adacomp.exe, а adabgen.exe — это переименованный adabuild.exe. А ещё в ObjectAda можно найти adacomp.inf и adabuild.inf, и если их переименовать и положить в …\AdaMagic\windows , то утилиты командной строки перестают ругаться. Правда, справка не вполне подходит. Так, в ObjectAda есть ключ -asm, что имеет смысл для компилятора для Windows, но не имеет смысла для конвертера в C/C++. Более правильная «документация» нашлась здесь: http://www.ada-auth.org/cpl/reports/ACATR048.txt Это отчёт на проверку соответствия стандарту языка Ада 95, а заодно он включает искомую документацию, хоть и старую, но сойдёт. Кстати, там всплывают ещё одни возможные имена: adacsrc и adacbuild, соответственно. Также частично удалось восстановить смысл новых ключей, глядя в код AppCOE.
Итого ключи adacgen (как представляющей наибольший интерес утилиты) получаются:
COMPSW: adacomp SRC -m a -config ./config -config ./config -ke -xr -gc -O none -trace -eo +mr e -translate -pB -IXIL
COMPSW: adacomp SRC -m a -config ./config -config ./config -ke -xr -gc -O none -trace -eo +mr e -translate -pB -IXIL
adareg Hello_World_2.ads
adacgen -c -cppn -cppe -ke -ki Hello_World_2.ads
Такер Тефт, основоположник этого компилятора, https://plus.google.com/u/0/+%D0%98%D0%B2%D0%B0%D0%BD%D0%9B%D0%B5%D0%B2%D0%B0%D1%88%D0%B5%D0%B2/posts/BvTyEfxVU2M. Там не все ключи, но судя по дате (2012й год), лучше уже ничего не будет. А внутри там дата из системы контроля версий 2008й год, так что, может быть, есть и поновее, а может быть, интересных мне ключей вроде «-cppa» и «-cppc» там никогда не было. Но это явно получше, чем брать файлы из ObjectAda Special Edition, где компилятор в машинные коды, а не в C.
Файлы распаковываются в ADA_MAGIC, то есть, в …\AdaMagic\windows
Прикрепленные файлы
adamagic_info.zip ( 5.53 килобайт )
Кол-во скачиваний: 759
В блоге AdaCore с прошлого года появляются уже разные посты про новую технологию SPARK-To-C, она же GNAT CCG, Common Code Generator, тоже транслятор в C. Коммерческим клиентам AdaCore эта технология уже доступна, можно ожидать, что в ближайшие пару месяцев выложат в открытый доступ одновременно с обычными компиляторами, как это делается каждый год.
AdaMagic продолжает развиваться, только по второму кругу (и потом каждый раз) повторять все действия не было желания, поэтому на этот раз совершенно другой подход. Ну а ещё раньше видеомонтажом диск был забит под завязку, а сейчас всё черновое удалено, так что поставил, посмотрел в действии IDE. Раньше IDE вырезалась, а теперь — наоборот, это способ по умолчанию.
Получить рабочее IDE для AdaMagic — тоже не плохо. Почему бы и нет.
Скачать IDE нужно самостоятельно, сейчас появилась 64-битная, но качать нужно 32-битную версию. И дальше по инструкциям в README.txt. IDE в комплект не входит, соответственно, обновлять на каждый выпуск теперь не нужно. Изменения не столь значительные, комплексные числа добавились в библиотеку, а в компиляторе — целочисленные константы, которые на Аде были записаны в двоичном виде, в C переделываются в шестнадцатеричный вид для совместимости с каким-то компилятором C. Пока это не сильно отличается от прошлой версии, но как знать, вдруг что-то действительно полезное появится в будущем, по новому способу обновляться заметно проще.
Кстати, напишите, кто знает, Remote Update Sites URL для AppCOE. По умолчанию никаких Update Site не настроено. В документации ни на одном скриншоте URL не показан. Тот URL, что указан в features, не работает (404). Может быть, с evaluation их дают? Это чтоб ну совсем легко обновляться.
GNAT CCG, к сожалению, не настолько хорош, как мог бы быть. RAII и многие другие возможности Ады там отсутствуют. И он до сих пор не выпущен. Наверное, к ежегодному https://habr.com/post/303804/, регистрация на который начинается 16 октября 2018 г., а не летом, как было раньше, должны выпустить в общий доступ. Учитывая, сколько AdaCore пиарят эту разработку в блогах и учитывая их стремление пробиться в сегмент embedded (и конкурс, и CCG лежат в этом русле), этого логично ожидать.
Прикрепленные файлы
AdaMagic.install.IDE.7z ( 15.13 килобайт )
Кол-во скачиваний: 597
Сейчас, когда начинают появляться деньги, возник вопрос, а по карману ли AdaMagic (aka AdaChanger)? Delphi по карману, GNAT Developer по карману, даже, может быть, с iOS всякими, если действительно захотеть.
Ответ от производителя получил
Пытался на Эльбрусе запустить. Пока что помешала педантичность l++. Оказывается, есть кое-что, критичное для AdaMagic, что часть стандарта ISO C, но против стандарта ISO C++. void* по стандарту ISO C++ не приводится неявно к указателю на что-либо другое, а AdaMagic такой код генерит постоянно. Во всех других известных трансляторах это приведение порождает предупреждение, и это ещё если знать, как включить. В l++ это неотключаемая ошибка. Ждём как починят.
Кстати, исходники CCG (Common Code Generator), есть на https://github.com/AdaCore/gnat-llvm/tree/master/llvm-interface/ccg. Это компилятор Ады в Си на основе LLVM. Вот https://docs.adacore.com/live/wave/gnat_ccg/html/gnatccg_ug/gnat_ccg.html
Я не пробовал собирать, но слышал, что он проходит у же почти все тесты.
давно хотел посматреть
123
123
123
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
Есть большой выбор верифицированных свежих аккаунтов, как оффшоной, так и легальной(в РФ) БК. Заявки оставляйте на почте: sportbk(СОБАЧКА)webprogrammers(ТОЧКА)top
всё о заработке
http://slkjfdf.net/ <a href="http://slkjfdf.net/">Oozergiaf</a> fwp.laxt.pascal.net.ru.pkz.pt http://slkjfdf.net/
viagra generico receta
Hello. And Bye.
Добрый день!
Цветочный салон АллоЦветы предлагает богатый выбор букетов цветов с доставкой в Москве и области.
- Срочная доставка на дом или в офис
- Низкие цены
- Возможны оптовые заказы.
->> Бесплатная доставка при стоимости заказа от 2500 руб!
магазин: "Алло Цветы"
money online order save cialis
Pcn Without Apresrciption
Hello. And Bye.
Hello. And Bye.
Reminds me of Georgia Peach.
would love to get naught with her
Love horny stepdaughters mmmm
pornbaby.cyou/neighbor/teen-girl-with-big-tits-pics
She has a huge pussy massive
A big idea
que buena me muero por ella
Hello,
I believe octagram.name has so much room to grow. You're in a market with stiff competition, but also has a lot of customer demand.
We have been marketing web-sites for more than 8 years and we would be glad to explain how you can increase your online presence.
It's a free consultation with no obligation and once you learn more about our approach we can talk about potentially delegating this work to us.
octagram.name is a great site and it would be our pleasure to help you grow it to it's full potential.
Simply reply to this email and we can setup a call or continue by email.
Appreciate your time
Alexander
qc-digital
Тут про Бали интересовались - считаю очень приличное "место жительства".
Я удалил это сообщение tsgbb
Очень хорошая идея tsgbb
Regards for sharing this superb web-site.