Только что получил новый Mac, Mountain Lion, и я хочу настроить все, что связано с ocaml. Я использовал следующие команды: opam switch 4.00.1 opam install findlib opam install batteries Все успешно установилось без ошибок. Но я не...

Возможно ли иметь несколько сред разработки, использующих один и тот же компилятор? На самом деле, я хочу использовать компилятор 4.00.1+short-types с другим набором установленных пакетов и возможностью легко переключаться между этими средами....

Я написал две библиотеки ( Bson.ml и Mongo.ml) в ocaml. Я хочу включить его для opam . В инструкции opam говорится, что нужны make build и make install . Я всегда использую ocamlbuild и ocamlfind для локальной сборки и установки...

Мне интересно, что мне нужно настроить, чтобы opam загружал пакеты через прокси-сервер, если я нахожусь за брандмауэром.

На Ubuntu Trusty VM я установил opam (версия 1.2.0) из ppa, рекомендованного в документации по настройке Real World Ocaml. При работе opam install lwt сборка завершается неудачно, и проверка файла .out показывает: testing for pthread:...

Выдержка из файла opam : build: [ ["./configure" "--prefix=%{prefix}%"] [make] ] install: [make "install"] remove: [ ["ocamlfind" "remove" "git-lfs-server"] ] Он устанавливает двоичный файл git-lfs-server в каталог %{prefix}/bin ,...

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

Под OS X OCaml работает нормально, но под Linux (Ubuntu 14.04 LTS) возвращает следующую ошибку: zsh-5.0% ocaml OCaml version 4.02.1 Findlib has been successfully loaded. Additional directives: #require "package";; to load a...

У меня проблемы, очень похожие на этот вопрос . У меня есть MacBook Pro на macOS Sierra. Я установил ocaml и opam через brew. ( brew install ocaml , brew install opam ) Это установило ocaml 4.03.0 , и кажется, что оно отлично работает само по...

Я использую Coq (версии 8.5-6), установленный с Nix. Я хочу установить ssreflect, желательно также с Nix. Единственная информация, которую я нашел об этом, находится здесь . Однако речь идет не об установке ssreflect, а просто о его испытании....

При написании файла конфигурации пакета OPAM я могу указать целевую платформу в поле build , например так: build: [ ["./configure" "build-linux" {os = "linux"} "build-macosx" {os = "darwin"} "build-cygwin" {os...

Я использовал OPAM для установки bignum $ opam upgrade bignum Already up-to-date. С coq 8.6 код Require Import BigN. импортировал библиотеку, но с coq 8.7 я получаю сообщение об ошибке. Поэтому я изолирую эту строку кода в файле...

Я установил coq и CoqIDE через opam , следуя инструкциям, здесь . Как написано в инструкции, каждый раз мне приходится экспорт OPAMROOT = ~ / opam-coq.8.9.0 eval `opam config env` перед запуском CoqIDE через coqide . Иначе...

Начиная с OPAM 2.0, после установки требуется создать/выбрать переключатель перед установкой пакетов. Если все, для чего я использую OPAM, это пакеты Coq, что мне следует использовать в качестве переключателя?

Я продолжаю свое исследование библиотеки Num Ocaml по той причине, что с ее помощью была написана целая библиотека о логике. Сегодня я хотел бы сделать отрицательное рациональное число. Получите -1/2 от 1/2 . Для этого я думаю, что, имея a...