to post messages and comments.

@OCTAGRAM:

При преобразовании в C++ адские контролируемые типы проецируются на struct, при этом у них нет ни деструктора, ни перегруженной операции присваивания. Вместо этого компилятор оставляет в локальных контекстах rts_master_record, на которые навешиваются все контролируемые типы. Полагаю, это такое тяжёлое наследие ATC, на который в последних версиях компилятора GNAT, допустим, уже забили. Однако, в браузере, даже если я сам не использую ATC, вдруг то, что я написал, долго работало, и юзер нажал «остановить скрипт» — вот, пожалуйста, случился ATC. И AdaMagic сможет из этого выпутаться, при возврате управления понять, что и где нужно освободить. А на обычных платформах современный GNAT скомпилирует без этих штучек.

@OCTAGRAM:

Утверждается, что AdaMagic поддерживает Ada 95 и некоторое подмножество Ada 2005, и звучит это обнадёживающе, так, что каждый может домыслить своё наиболее желаемое. Ну сложно ли сделать 32-битные строки, если уже есть 8- и 16-битные? Не сложно. Значит, наверное, сделали. Сложно ли чуть посахарить вызов методов, чтоб было объект.метод, как у protected, а не только метод (объект), как в чистой Ada 95? Не сложно. Значит, сделали.

Проверил. Ни черта этого нету.

Что это за подмножество Ada 2005 такое, без документации так и остаётся загадкой.

@OCTAGRAM:

Тяжело без документации. Вот, например, в конфиге для Win32 написано: ptr_align = 2. А что это такое? Это выравнивание указателя по двум байтам (???), по двойке во второй степени или номер какого-то режима? А какие ещё режимы? Или вот ищешь «offset_arith_type» и находишь в поиске зияющее ничего. А ведь конфиг EmScripten должен в чём-то отличаться. Там строгое выравнивание по 4м байтам. Как это выразить? В PDF от MapuSoft много такой информации не вошло. Там даже по аргументам утилит командной строки нет полной документации. Так, между прочим, напишут, что -ke заставляет сохранять сишные исходники, а -ga заставляет вставлять #line, чтоб установить соответствие между кодом на C и кодом на Ada. Также можно взглянуть в adacgen.exe и увидеть там внутри подряд все возможные ключи, но без их описания. И очень интересный вопрос, а чей это вообще компилятор. Ведь если знаешь, чей это компилятор, можно открыть Internet WayBack Machine, забить там адрес бывшего владельца, и, может быть, там обнаружатся PDF'ки, которые можно даже скачать. Строки "SofCheck AdaMagic" как бы намекают, что распутывать клубок надо оттуда. И, действительно, ещё в 2012м году можно увидеть страницу AdaMagic на сайте SofCheck. А потом SofCheck влился в AdaCore, но такого продукта, как AdaMagic, у них на сайте после этого не появилось. А вот ещё что я нашёл:
Intermetrics (now AverStar, Inc.)Там столько слияний, что чёрт ногу сломит.
Intermetrics merged with Whitesmiths Ltd. in December 1988. In 1997, Intermetrics merged with computer game developer Looking Glass Studios [1]. In 1998, Intermetrics acquired Pacer Infotec, and changed its name to 'AverStar'. AverStar merged with the Titan Corporation in March, 2000; Titan was acquired by L-3 Communications in 2005.
Sofcheck (spinoff from Avercom, formerly Averstar, formerly Intermetrics)
Вот оно как! Значит, надо ещё сайт avercom.net почекать. Почекал. Нашёл! Сдаётся мне, среднестатистическому адаисту ни AverCom, ни AverStar ни о чём не скажут, в отличие от Intermetrics и SofCheck, и тем не менее. Правда, PDF там нет.
Но я так и не почекал Intermetrics. Я пробовал intermetrics.com, в этом моя проблема. А надо было inmet.com. Действительно, по этому адресу тоже что-то нашлось. Но без документации. В самом деле, глупость какая! Кому она нужна, эта документация, давайте котами в мешках торговать. Но я тут заметил ещё кое-что:
Intermetrics developed AdaMagic both for use in our own compilers and tools and to license to other compiler and tool vendors.Таааак, значит, надо ещё почекать alsys.com, raytheon.com и других получателей лицензии. Вдруг хоть один из них нарушил режим строжайшей секретности и вот так вот просто взял и выложил документацию о своих компиляторах на сайт.

@OCTAGRAM:

Экспериментирую с AdaMagic и emcc. За основу взят rtl.windows. Все скомпилированные файлы пришлось выкинуть, так как это не LLVM биткод. Настроил в %ADA_MAGIC%\SITE\config по аналогии:
be_exec_name = C:\Program Files\Emscripten\emscripten\1.35.0\emcc
linker_exec_name = C:\Program Files\Emscripten\emscripten\1.35.0\emcc
Выкинуть пришлось
be_required_flag = -mno-cygwin
linker_required_flag = -mno-cygwin

Перекомпиляция адского RTL запускается так:
cd C:\GNAT\AdaMagic-2016-07-22\AdaMagic\windows\rtl.emscripten
adacgen -ke -ga src\.bdy src\.spc
del *.tmp.bc

Результаты:
Total: 325 files compiled. 287 successful, 38 unsuccessful.
Те, что unsuccessful, содержат всякие платформозависимые штучки, их портировать надо вручную или обойтись без них. И ещё там есть несколько чисто сишных исходников. Надо ещё с этим поэкспериментировать. Может, за основу лучше rtl.linux взять? В Linux вместо kernel32 glibc, а в emscripten, предположительно, для libc аналоги функций будет проще найти, чем для kernel32.

@OCTAGRAM:

Был такой компилятор AdaMagic, умел транслировать Ada в C и C++. Там ещё и в Java компиляция была, но это и сейчас есть в GNAT. Потом SofCheck был куплен AdaCore, и этот компилятор пропал из поля зрения. Однако, его продают под другим брендом тут. Его там завернули в какой-то AppCOE на базе Eclipse, но всё это можно развернуть, выкинуть лишнее и докопаться до самых важных файликов, adacgen.exe и adabgen.exe. На них навешена типа защита. Типа — потому что там, во-первых, есть отладочная информация, во-вторых, неиспользуемые функции не выбрасываются. Очень пригодилась мне такая неиспользуемая функция, как write_license_file, например.

Файл license_key.txt генерить научился, зашифрованные DES файлы типа libadartl.a.enc, разшифровал, для PDF пароль нашёл, поставлю qpdf и тоже разшифрую, впрочем, PDF в открытом виде можно и так скачать с сайта. Сейчас пишу инструкции, чтобы мои действия можно было повторить со следующими версиями. Вообще, не похоже, чтобы новый владелец-индиец разбежался развивать этот компилятор, он, скорее, вокруг достраивает всякие OS абстракторы на C, так что смысла большого обновляться не вижу, но тем не менее. Если думать на тему использования вместе со всякими emscripten, то от libadartl.a толку не очень много, но на всякий случай оно есть. С самим компилятором надо ещё разбираться. Он по умолчанию работает в режиме Ada->C->GCC, но в GCC есть GNAT, который гораздо лучше, и если кто-то заинтересовался AdaMagic, как я, то сценарий изпользования у него будет позабористее, и надо читать доки.

Таким образом, теперь есть компилятор Ada->C/C++, с помощью которого можно целиться во всякие дурацкие, но иногда нужные платформы, хостится он либо на Windows, либо на Linux, а через эмуляторы можно потенциально запускать из ещё большего набора OS. По плану выложить на форум только для зарегистрированных пользователей. Раз и навсегда адвокаты языков программирования, для которых на всех платформах есть транслятор, уедят.