opam

-1зной

1ответ

У меня возникла проблема с установкой пакета, зависящего от ocamlfind, но я получаю команду ocamlfind: команда не обнаружила ошибку при создании. Я установил ocamlfind с менеджером пакетов ocaml и поп

4зной

1ответ

OPAM: как локально переустановить пакет без повторной загрузки?

Я хочу локально перекомпилировать/переустановить пакет, который уже был загружен через OPAM, но не загружал его снова. opam reinstall Кажется, что он всегда перезагружает пакет, и я не вижу возможност

3зной

1ответ

Как сделать библиотеку, установленную из OPAM доступной для OCaml?

Я последовал this tutorial на OCaml FFI и установил Ctypes через OPAM: opam install ctypes Однако, OCaml не находит модуль: open Ctypes (* ... *) я получаю сообщение об ошибке: Unbound module Cty

3зной

3ответ

Как указать текущие версии пакетов в OPAM?

opam list -a перечислены все пакеты, доступные в настоящее время на OPAM, но не отображает номер версии пакетов, которые в настоящее время не установлены, согласно opam list --help выхода: (...) форма

1зной

1ответ

Opam говорит обновление невозможно

В частности, «обновление opam» производит это сообщение: «Upgrade не представляется возможным из-за конфликтов или пакетов, которые больше не доступны: - Противоречивые запрос для пакета camlp4.4.02.

1зной

1ответ

coq Hello World пример (с opam) не может найти библиотеки

Я следил за coq HelloWorld tutorial (код ниже) и не смог получить программу для компиляции. Я выполнил шаги по установке и установил opam install coq:io:system. Моя установка opam находится по умолчан