我该如何安装mosml?

我需要把Mosml (Moskow sml)放到我的大学系统上。 我从未安装任何不在软件管理器中或使用葡萄酒的东西(阅读:我的控制台技能很低)。

包在这里: http : //packages.ubuntu.com/hardy/mosml的事情是,我还不知道该怎么做。

至今:

  • 试过mosml.static(一个独立的顶层(mosml))并不知道如何处理它。

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

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

有一个新版本的Moscow ML,2.10。 它在这里可用: 莫斯科ML

我也冒昧地在我的启动板PPA中创建了一个mosml包。 要安装它,请发出以下命令:

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

它应该适用于32位和64位系统。

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 

以下是相应的deb包:

  • 32位

  • AMD64