如何安装 mosml?

如何安装 mosml?

我需要得到穆斯林(Moskow sml)在我的大学系统中。我从未安装过软件管理器中没有的东西,也从未使用过 wine(阅读:我的控制台技能很低)。

包裹在这里:http://packages.ubuntu.com/hardy/mosml 问题是,我不知道该怎么处理它。

迄今为止:

  • 尝试了 mosml.static(一个独立的顶层(mosml))但真的不知道如何处理它。

  • 尝试了源文件,提取它们并查看 install.txt,但我没有得到 /bin 文件夹,所以它似乎是一条死胡同..??

如果你有线索,请帮忙。我真的需要它,而且很紧急。

答案1

Moscow ML 有新版本 2.10。可在此处获取:莫斯科 ML

我还擅自mosml在 launchpad PPA 中创建了一个包。要安装它,请发出以下命令:

sudo apt-add-repository ppa:pmunksgaard/mosml
sudo apt-get update
sudo apt-get install mosml

它应该可以在 32 位和 64 位系统上运行。

答案2

mosmllib-html.tgz

点击上述链接并下载 .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

答案3

以下是适当的 deb 包:

相关内容