Как правильно установить ocamlfind перед другими пакетами opam без прав root?

Question

Я пытался установить некоторые пакеты coq с помощью opam, но у меня есть этот хак:

      # coq-equations seems to rely on ocamlfind for it's build, but doesn't
# list it as a dependency, so opam sometimes tries to install
# coq-equations before ocamlfind. Splitting this into a separate
# install call prevents that.
opam install -y coq-equations coq-metacoq coq-metacoq-checker coq-metacoq-template

У меня нет root-прав, поэтому я делаю:

      sudo apt-get install ocaml-findlib

не работает. Как установить окамлфинд? В идеале правильный путь с менеджером пакетов, если это возможно?

Answer 1

Вы можете установить самостоятельно на первом этапе

      $ opam install ocamlfind

затем установите пакеты, которые забыли свои зависимости отocamlfind:

      $ opam install -y coq-equations coq-metacoq coq-metacoq-checker coq-metacoq-template