ocaml - 如何使用 opam 安装特定版本的 ocaml 编译器

Question

如何使用 opam(或其他包管理器)安装特定版本的 ocaml 编译器(和兼容包)？

我快速浏览了opam文档，但没有找到相关信息。

我需要ocaml编译器(最好是 native 代码编译器)来构建unison，一个文件同步软件。我需要使用相同版本的 ocaml 在两台机器上构建一致，否则一致会发出错误并中止其职责(yiiii!)。

我尝试从 tar 球构建 ocaml 版本 4.04.0，然后使用它来构建 unison，但在其中一台机器上，unison 的构建失败并出现错误消息，

make[1]: Entering directory '/home/norio/Downloads/unison/unison-2.48.4_expand/src'
ocamlc -o mkProjectInfo unix.cma str.cma mkProjectInfo.ml
File "mkProjectInfo.ml", line 1:
Error: Error while linking /home/norio/Downloads/unison/ocaml_for_unison/lib/ocaml/unix.cma(Unix):
The external function `unix_has_symlink' is not available
if [ -f `which etags` ]; then \
    etags *.mli */*.mli *.ml */*.ml */*.m *.c */*.c *.txt \
          ; fi 
make[1]: Leaving directory '/home/norio/Downloads/unison/unison-2.48.4_expand/src'

我不想开始对 unix_has_symlink 函数的探索，并致力于探索库依赖关系的沼泽，在文明到来和包管理器发明之前，许多开发人员已经陷入了困境.

有没有类似的东西， opam install ocamlc-4.04 和 opam install all-packages？

<小时/>

附录

在运行 Linux Mint 18 Cinnamon 64 位的计算机上观察到有关 unix_has_symlink 的错误消息。这个函数是某些unix/linux库的一部分，而不是ocaml包的一部分吗？

Answer 1

要使用特定版本的编译器创建开关

opam switch create <compiler-version>

(注意:对于旧的 opam 1.x，它是 opam switch <compiler-version> )

例如，

opam switch create 4.07.0

或者，如果您想创建一个使用与其他开关相同的编译器的全新开关，则语法为

opam switch create <name> <compiler-version>

例如，

opam switch create myproj 4.07.0

请注意，如果 <name>是一个文件夹，那么将创建一个本地开关，例如 opam switch ./myproj 4.07.0将直接在myproj中创建一个开关文件夹。

要从特定版本开始，即当您第一次安装 opam 时，只需执行

opam init --compiler=<version>

例如，

opam init --compiler=4.07.0

要列出可用版本

opam switch 

要了解更多，请执行以下操作

opam switch list-available

要安装编译器的变体，例如带有 flambda 或 spacetime 的编译器，请使用以下通用语法，

opam switch create <switch-name> ocaml-variants.<version>+options <options>...

例如，

opam switch create myswitch ocaml-variants.4.13.0+options ocaml-option-flambda

使用opam search ocaml-options查看可用选项的完整列表。可以指定多个选项，例如

opam switch create myswitch ocaml-variants.4.13.0+options ocaml-option-flambda ocaml-option-spacetime ocaml-option-static