如何在Arch Linux中安装smlnj?

Lea*_*ffe 4 linux install sml smlnj archlinux

之前我在Ubuntu中,使用smlnj可以很容易地安装它, apt-get install smlnj 但是现在我转而使用Arch,发现安装smlnj很难。

我试图通过找到smlnj包,yaourt但没有找到任何包。然后,我尝试通过下载tar文件,按照官方网站中指定的步骤进行安装。我按照给定的步骤从中提取tar文件,/usr/local/sml然后通过运行command进行编译 config/install.sh

完成所有这些操作后,我尝试运行sml,但未成功。我尝试设置环境变量,但再次失败。

请告诉我我是否遗漏了任何步骤或做错了方法。在Arch Linux中安装smlnj的正确方法是什么?

Sim*_*ine 5

更新:正如Alexander(xyproto)所指出的,pacman -S smlnj既然SML / NJ在[multilib]存储库中,则应该重新工作。下面的解决方案仍然可以使用,但是应该使安装更加方便。:-)

之前:该软件包似乎已于2017年2月在x86_64上不可用,但似乎不应该发生。我问过亚历山大,谁在[社区]维护软件包。

AUR不包含smlnj软件包,因为它与正式软件包重叠是违反AUR政策的,除非AUR软件包经过编译后在软件包名称中清晰可见。

您仍然可以构建Arch软件包并通过在以下位置找到PKGBUILD和随附文件来安装该软件包:https ://git.archlinux.org/svntogit/community.git/tree/trunk?h=packages/smlnj (或通过克隆git在下面的回购中包含这四个文件):

~ $ git clone https://github.com/sshine/smlnj-arch.git
~ $ cd smlnj-arch
~/smlnj-arch $ makepkg
~/smlnj-arch $ sudo pacman -U smlnj-110.80-3-x86_64.pkg.tar.xz
Run Code Online (Sandbox Code Playgroud)

  • `smlnj`现在也位于`[multilib]`中(我最近才可以访问那里)。所以从今天开始,`pacman -S smlnj`应该足够了。 (3认同)