Как установить Mozart 1.4.0 в Ubuntu?

Официальный сайт Mozart предлагает установить пакет mozart, mozart-документ и mozart-stdlib от Центра программного обеспечения Ubuntu. Но вот целая энчилада. Согласно Ubuntu Wiki:

Установка Mozart 1.4.0

Инструкции по установке для 64-разрядной Ubuntu

Официальный сайт Mozart предлагает установить пакет mozart, mozart-doc и mozart-stdlib от Центра программного обеспечения Ubuntu. Не делайте этого при выполнении 64-разрядной версии Ubuntu. Эти пакеты повреждаются для этой архитектуры.

Вместо этого следуйте инструкциям ниже

1. Установите, "ia32-освобождает" пакет, 32-разрядный "libx11-6" пакет (т.е. "libx11-6:i386"), 32-разрядный "libgmp10" пакет (т.е. "libgmp10:i386") и GNU/Emacs.

2. Загрузите этот deb файл.

3. Откройте свой файловый менеджер (т.е. Наутилус) и дважды щелкните по загруженному файлу. Это откроет его с Центром программного обеспечения Ubuntu. Если это не делает, щелкните правой кнопкой по файлу и выберите "Open With Other Application..." и затем выберите Центр программного обеспечения Ubuntu.

4. Центр программного обеспечения Ubuntu заявит, "Только устанавливают этот файл, если Вы доверяете источнику". это нормально. Нажмите кнопку Install, пройдите проверку подлинности, как спросили и ожидайте установки для продолжения. Если это жалуется на проблему зависимости, проверьте корректное выполнение точки 1. из раздела Installation Instructions for Ubuntu, 64-разрядного из этой Wiki.

   Для установки остающейся части библиотеки стандарта Mozart установите mozart-stdlib пакет. Можно также получить документ путем установки mozart-doc пакет.

Инструкции по установке для 32-разрядной Ubuntu

Предупреждение: при использовании 64-разрядной версии Ubuntu посмотрите соответствующий раздел выше!

Как предложено официальным сайтом Mozart, просто установите mozart пакет и mozart-stdlib пакет. Можно также получить документ путем установки mozart-doc пакет.

Поиск и устранение неисправностей

Графический Двигатель разрушенный (tk.exe) или не мог быть запущен

Если Вы получаете следующее сообщение об ошибке

Графический Двигатель разрушенный (tk.exe) или не мог быть запущен

при запуске Mozart. Это, возможно, потому что Вы пропускаете один из трех 32-разрядных пакетов, которые необходимо было установить. Так проверьте, что Вы установили, "ia32-освобождает" пакет, 32-разрядное libx11-6 пакет (т.е. libx11-6:i386) и 32-разрядный libgmp10 пакет (т.е. libgmp10:i386).

Однако, даже если Вы делаете это, можно все еще закончить с той же проблемой. Если Вы переходите в: /usr/lib/mozart/platform/unknown-unknown$ и тип: linux32 ./tk.exe и Вы получаете что-то как

./tk.exe: error while loading shared libraries: libtk8.4.so.0: wrong ELF class: ELFCLASS64

Это означает, что tk.exe все еще находит неправильную библиотеку дуги. Мне удалось зафиксировать его путем создания символьной ссылки в /usr/lib/mozart/platform/unknown-unknown/lib к библиотекам, установленным этим пакетом в /usr/lib32. Надежда, которой это помогает, это работало на меня.

Не мог канальный модуль

Если Вы получаете ошибку как следующее

%********************** Error: module manager *******************
%**
%** Could not link module
%**
%** Could not load functor at URL: x-oz://system/wp/QTk.ozf
%**--------------------------------------------------------------

Вы, вероятно, будете пропускать некоторую часть библиотеки стандарта Mozart. Удостоверьтесь, что Вы установили "mozart-stdlib" пакет, как рекомендуется выше.