如何在Ubuntu16.04LTS上安装mosml？

Question

我需要在我的系统上安装mosml (莫斯科ML)，但是自从我从14.04转到Ubuntu16.04之后，我就遇到了麻烦。

我以前使用过这个问题提供的解决方案：我该如何安装苔藓？，但在最新的版本中似乎不起作用。

Answer 1

PPA中最新的软件包似乎是可靠的，最后一次发布是2014年8月28日的2.10.1版。因此，您的选项似乎是降级到14.04，并使用可用的deb包，或者利用当前可用的资源，下载源代码并按照tarball中的建议进行编译，以匹配您的系统。

• 莫斯科ML 主页
• 莫斯科ML图书馆文档
• 源文件可以从这里下载。

根据tarball中的信息，您可以按以下方式安装它：

(1)对于个人安装，请移动到主目录，然后使用

     `gzip -dc linux-mos20bin.tar.gz | tar xfv -`

这将创建一个包含以下子目录和显著文件的目录~/mosml

 mosml/              readme, install.txt
   bin/          mosml, mosmlc, mosmllex, mosmlyac, camlrunm,
   copyrght/     copyright notices
   doc/          manual.pdf, mosmlref.pdf, mosmllib.pdf, ...
       mosmllib/ HTML-documentation of the Moscow ML library 
   examples/     a few example programs
   lib/          bytecode files, basis library units, 
         and the dynamically loadable libraries
   tools/        mosmldep, Makefile.stub

(2)在脚本mosml/bin/mosml & mosml/bin/mosmlc & mosml/bin/mosmllex中编辑变量stdlib和mosmlbin，以匹配您的系统(您可能会发现find对此步骤很有用。

注意:我还没有在这个时候测试过这个，但是我假设这会让你朝着正确的方向前进。如果你被困住了，告诉我们到底出了什么问题，我们会尽力帮助你解决你遇到的问题。