本文共 568 字,大约阅读时间需要 1 分钟。
opam 命令行
How to add the jane street opam is introduced here.
这里介绍了如何添加jane street opam 。
Here, we assume the to add is core-branch
. You may need to replace the core-branch
with the branch you need.
在这里,我们假设要添加的是core-branch
。 您可能需要用所需core-branch
替换core-branch
。
$ git clone -b core-branch://github.com/janestreet/opam-repository.git$ opam repo add js opam-repository
Or, directly add the remote branch as an opam repository.
或者,直接将远程分支添加为opam存储库。
$ opam repo add js https://github.com/janestreet/opam-repository.git#core-branch
翻译自:
opam 命令行
转载地址:http://maowd.baihongyu.com/