opam

3зной

1ответ

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

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

1зной

1ответ

В Opam как определить, какой пакет принадлежит данному файлу?

В Opam, как определить, какой пакет принадлежит данному файлу под ${OPAMROOT}/system? Если нет прямого средства для достижения этого, можно ли перечислить файлы, принадлежащие данному пакету?

3зной

3ответ

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

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

-1зной

2ответ

ocaml-glpk (привязки glpk) и OASIS

Предисловие: Я новичок в OCaml, OPAM и OASIS. вопрос с tldr: Как правильно настроить пакет с opam, который еще не доступен в репозитории (я не могу просто сделать opam install X)? Подробнее см .: Я пы

1зной

1ответ

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

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

1зной

1ответ

Компиляция coq: строка списка не сработала при «ruby pp.rb»

Я следую учебнику coq, для которого требуется базовая библиотека OPAM coq:io:system. Но у меня были ошибки с OPAM. (Это с Ubuntu14.04, coq 8.4pl6 и opam1.2.1) Я googled вокруг и не нашел никакого реше

1зной

1ответ

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

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

1зной

1ответ

Как обновить один пакет?

Я сделал opam update, а затем opam upgrade, и теперь OPAM хочет обновить 10 пакетов до более поздних версий. Однако, опасаясь чего-то нечаянно, я хотел бы обновить пакет , не касаясь остальных. Этот п

-1зной

1ответ

Команда Ocamlfind не найден

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

0зной

2ответ

Проблемы возникли при установке пакета slap с использованием opam в ocaml

Я пытаюсь выполнить вычисление линейной алгебры в OCaml. И я установил пакет Lacaml. Знание пакета slap более удобное для пользователя, я решил использовать этот пакет вместо Lacaml. Я действительно у