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

Мне нужны инструкции для установки Mozart Programming System на Ubuntu 12.04.

1
задан 13.04.2020, 08:58

1 ответ

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

Установка Mozart 1.4.0

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

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

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

  1. Установите пакет «ia32-libs», 32-битный пакет «libx11-6» (то есть «libx11-6: i386») 32-битный пакет "libgmp10" (то есть "libgmp10: i386") и GNU / Emacs.

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

  3. Откройте ваш файловый менеджер (т.е. Nautilus) и дважды щелкните по загруженному файлу. Это откроет это с Центром программного обеспечения Ubuntu. Если этого не произойдет, щелкните правой кнопкой мыши файл и выберите «Открыть с помощью другого приложения ...», а затем выберите Центр программного обеспечения Ubuntu.

  4. Центр программного обеспечения Ubuntu скажет: «Устанавливайте этот файл, только если вы доверяете источнику», это нормально. Нажмите кнопку «Установить», выполните аутентификацию в соответствии с запросом и дождитесь продолжения установки. Если он жалуется на проблему с зависимостями, убедитесь, что вы правильно выполнили пункт 1. раздела «Инструкции по установке для Ubuntu 64-bit из этой вики».

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

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

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

[1136 ] Как предлагается на официальном сайте Моцарта, просто установите пакет mozart и пакет mozart-stdlib. Вы также можете получить документацию, установив пакет mozart-doc.

Устранение неполадок

Сбой графического движка (tk.exe) или его запуск невозможен

Если появляется следующее сообщение об ошибке

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

при запуске Моцарта. Это может быть потому, что вам не хватает одного из трех 32-битных пакетов, которые вам пришлось установить. Поэтому убедитесь, что вы установили пакет "ia32-libs", 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-stdlib", как рекомендовано выше.

4
ответ дан 13.04.2020, 08:59

Теги

Похожие вопросы