Как я устанавливаю mosml?
Я должен получить Mosml (Moskow sml) в моей системе для университета. Я никогда не устанавливал ничего, что не было в менеджере по программному обеспечению или вине использования (чтение: мои консольные навыки являются низкими).
пакет здесь: вещь http://packages.ubuntu.com/hardy/mosml, у меня нет подсказки, что сделать с нею.
До сих пор:
Попробованный mosml.static (автономный верхний уровень (mosml)) действительно не знал, что сделать с ним.
попробованный исходные файлы, извлекли их и посмотрели в install.txt, но я не получаю / папку мусорного ведра и таким образом, это, кажется, тупик..??
Помогите, если у Вас есть подсказка. Мне действительно нужны он и его довольно срочное.
3 ответа
Существует новая версия Москвы ML, 2.10. Это доступно здесь: Московский ML
я также брал на себя смелость создания mosml пакет в моей панели запуска PPA. Для установки его дайте следующие команды:
sudo apt-add-repository ppa:pmunksgaard/mosml
sudo apt-get update
sudo apt-get install mosml
Это должно работать над обеими системами на 32 и 64 бита.
нажимает на вышеупомянутую ссылку и загружает .tar файл
, Теперь выполняют следующие команды в порядке
tar zxf file.tar.gz
ls
cd path-to-software/ //change to the directory --it will be named something like mos something
./configure
make
make install