Теперь я пытаюсь написать компилятор, используя ocamlfind и некоторые пакеты, особенно ppx_sexp_conv с opam . Почему-то зависимости ppx_sexp_conv требуют compiler-libs , поэтому опция компиляции -I ~/.opam/VERSION/lib/compiler-libs...

Я пытаюсь обновить свой opam до последней версии Ubuntu 14.04. chris@chris-870Z5E-880Z5E-680Z5E:~$ sudo opam update default Downloading https://opam.ocaml.org/1.1/urls.txt Updating ~/.opam/repo/compiler-index ... Updating ~/.opam/compilers/...

Я пытаюсь запустить jbuilder install для установки пакетов opam, которые я только что создал с помощью jbuilder build @install (который сгенерировал для меня кучу файлов *.install ). Однако я получаю следующую ошибку: $ jbuilder install...

Я установил opam , запустил opam init , запустил opam switch 4.06.0 , который создал каталог 4.06.0 внутри ~/.opam , запустил "eval opam confing env ", который помимо всего прочего экспортирует $OCAML_TOPLEVEL_PATH как...

Я новичок в OCaml и пытаюсь установить cohttp . После сбоя из-за того, что я не принял лицензионное соглашение Xcode (OS X Sierra 10.12.6), я получаю сообщение об ошибке, когда менеджер пакетов (opam) пытается установить подзависимость, ocamlfind ....

Я пытаюсь установить пакет coq-contrib OPAM. Я все еще новичок в OPAM и Coq. Я использовал OPAM 1.2.2 и получал следующее: $ opam install coq-graph-basics Your request can't be satisfied: - No package matches coq-graph-basics No solution found,...

Я столкнулся с ошибкой при установке некоторых пакетов с помощью opam. > opam install foo Sorry, no solution found: there seems to be a problem with your request. No solution found, exiting

Я впервые пробовал OCaml и пытался собрать пару файлов вместе. Когда я бегу: dune build bin/main.exe Я осознаю: ocamlc bin/.main.eobjs/main.{cmi,cmo,cmt} (exit 2) (cd _build/default && /usr/bin/ocamlc.opt -w...

Когда я ввожу ocaml --version , он возвращается /usr/bin/ocaml: unknown option '--version'. Я установил его с помощью OPAM и выполнил инструкции opam init eval $(opam env) eval opam env opam switch create 4.07.0 и вроде бы все шло...

Я компилирую Z3 с помощью OCaml из исходников, используя следующую (стандартную) команду из исходного каталога Z3: > python scripts/mk_make.py --prefix=$OPAM_SWITCH_PREFIX --ml Затем сборка и установка из каталога build/ . Затем...

Я совершенно новичок в OCaml, однако мне дали законченный проект, который включает использование решателя z3 SAT для тестирования и сбора данных. Я установил все через Opam, но получаю следующую ошибку. Я работаю над Ubuntu 18.04. То есть я...