Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
这可能有几个开发环境,它们共享同一个编译器吗?
实际上,我想使用4.00.1+short-types具有不同安装包集的编译器,以及在这些环境之间轻松切换的可能性。opam switch如果我没有错过任何东西,只允许我在编译器之间切换。
4.00.1+short-types
opam switch
我想解决方案是使用使用文档opam switch install <name> --alias-of <switch>中描述的命令创建新开关,这些开关是您感兴趣的开关的别名。
opam switch install <name> --alias-of <switch>