如何在 arch linux 中安装 smlnj?
How to install smlnj in arch linux?
早些时候我在 Ubuntu 并且很容易安装 smlnj 使用
apt-get install smlnj
但现在我转向 Arch 并且我发现安装 smlnj 很困难。
我试图通过 yaourt
找到 smlnj 包,但没有找到。
然后我尝试通过下载 tar 文件按照 official site 中给出的步骤安装它。我按照给定的步骤在 /usr/local/sml
中提取了 tar
文件,然后通过 运行ning 命令编译
config/install.sh
.
完成所有这些后,我尝试 运行 sml 但没有成功。我尝试设置环境变量,但还是没有成功。
请告诉我是否遗漏了任何步骤或操作方法有误。在 Arch Linux 中安装 smlnj 的正确方法是什么?
更新: 正如 Alexander (xyproto) 指出的那样,pacman -S smlnj
应该再次工作,因为 SML/NJ 在 [multilib] 存储库中。下面的解决方案仍然有效,但让安装更方便的功劳应该归于他。 :-)
之前: 似乎该软件包在 2017 年 2 月 x86_64 变得不可用,但它看起来不应该发生。我问过 [community] 中维护这个包的 Alexander。
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
早些时候我在 Ubuntu 并且很容易安装 smlnj 使用
apt-get install smlnj
但现在我转向 Arch 并且我发现安装 smlnj 很困难。
我试图通过 yaourt
找到 smlnj 包,但没有找到。
然后我尝试通过下载 tar 文件按照 official site 中给出的步骤安装它。我按照给定的步骤在 /usr/local/sml
中提取了 tar
文件,然后通过 运行ning 命令编译
config/install.sh
.
完成所有这些后,我尝试 运行 sml 但没有成功。我尝试设置环境变量,但还是没有成功。
请告诉我是否遗漏了任何步骤或操作方法有误。在 Arch Linux 中安装 smlnj 的正确方法是什么?
更新: 正如 Alexander (xyproto) 指出的那样,pacman -S smlnj
应该再次工作,因为 SML/NJ 在 [multilib] 存储库中。下面的解决方案仍然有效,但让安装更方便的功劳应该归于他。 :-)
之前: 似乎该软件包在 2017 年 2 月 x86_64 变得不可用,但它看起来不应该发生。我问过 [community] 中维护这个包的 Alexander。
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