☰

如何在 Ubuntu 16.04 LTS 上安装 mosml？

tag-icon • tag-icon 16.04
如何在 Ubuntu 16.04 LTS 上安装 mosml？

我需要在我的系统上安装 mosml（Moscow ML），但是自从我从 Ubuntu 14.04 更改为 16.04 后就遇到了麻烦。

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

答案1

看来 PPA 中最新的软件包是为 trusty 提供的，而最新版本是 2014 年 8 月 28 日的 2.10.1。因此看来您的选择是降级到 14.04 并使用可用的 deb 包，或者利用当前可用的功能，下载源代码并按照 tarball 中的建议进行修改后进行编译，以匹配您的系统。

  • 莫斯科 ML主页

  • 莫斯科 ML 图书馆文档

  • 源文件可以从以下网址下载这里

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

（1）对于个人安装，请转到你的主目录，然后使用以下命令解压 Moscow ML 发行版

     `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并使其匹配您的系统（您可能会发现此步骤很有用。mosmlbinfind

注意：我目前还没有测试过，但我认为这会让你朝着正确的方向前进。如果你遇到困难，请告诉我们到底出了什么问题，我们会尝试帮助你解决你遇到的特定问题。

相关内容