opam

0热度

2回答

emacs ocaml REPL：“搜索程序：没有这样的文件或目录，ocaml”

我试图在Ubuntu 16.04.3在VirtualBox上设置OCaml。我对他们都是新手;请原谅我的无知。我使用 wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin 安装opam，并根据以下的opam安装说明添加 . /home/<username

0热度

1回答

无法使用opam安装frama-c-phosphorus

我已经使用opam按说明成功安装了frama-c-Silicon，但是当我想升级到磷时，opam不起作用。我使用的命令： OPAM销附加邮资-C下载/邮资-C-Phosphorus20170501.tar.gz 它表示： [NOTE] Package frama-c is already path-pinned to /home/talos/Downloads/frama-c-Pho

0热度

1回答

Nix：安装ssreflect

我正在使用Coq（版本8.5-6），安装w/Nix。我想安装ssreflect，最好也是w/Nix。我发现的唯一信息是here。但是，这不是关于安装ssreflect，只是尝试它。尽管如此，我试图尝试一下，但最终得到了数百个警告（关于各种文件的内容.v和.ml4），并且不能等待该过程结束。一个相当典型的警告是这样的：文件 “./algebra/ssralg.v”，线路856字符0-39：警告：

1热度

1回答

ocamlfind的编译失败“install -m 0755 ocaml-stub

我是OCaml的新手，我试图安装cohttp。因为我没有接受Xcode许可协议（OS X Sierra 10.12 0.6）我得到一个错误，而包管理器（OPAM）正试图安装一个子依赖性，ocamlfind =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [ERROR] The compila

0热度

2回答

想知道在安装OPAM软件包的同时使用win10 bash

我试图在Windows 10中为OCaml安装开发环境。我在bash for win10上安装了OCaml & OPAM。然后我安装了我需要的几个软件包（merlin，ocp-indent等）。。我的最终目标是OCaml的与VScode整合，利用vscode-ocaml的扩展名（https://github.com/hackwaly/vscode-ocaml）以完成安装，我要补充的OCaml

1热度

1回答

与本地ocaml构建使用utop？

我编译了ocaml 4.04.0的自定义版本（其他人写的）。我可以运行它并使用rlwrap和ledit与它交互，但我宁愿使用utop运行它。（我不需要自动完成;命令编辑比在rtop或ledit更好。） utop显然依赖于opam默认情况下，因为它运行使用opam switch设置ocaml的任何版本。但是，我很难找到有关utop和opam之间关系的任何文档，或者有关如何让utop运行尚未由opa

0热度

1回答

如何在Ocaml中获取缺少的模块？

[解决（在底部）。安装石英和重新安装与X11通过冲泡然后重新启动机器。] 我正在学习Ocaml，并正在通过these文档页面，并需要安装一些模块（图形）。我错过了Ocaml中的Graphics模块。试图加载它顶层后（REPL吧？）有： $ ocaml OCaml version blahblah # #load "graphics.cma";; # open Graphics;;

3热度

1回答

麻烦与OPAM：外部求解器故障

试图与OCaml的开发上Arch Linux的4.12.10，我一直运行到该错误消息： ### stderr ### # error: executing gringo failed (No such file or directory) # error: gringo returned with non-zero exit status [ERROR] External solver f

1热度

1回答

jbuilder安装失败：没有opam-installer工具

我试图运行jbuilder install来安装我刚刚使用jbuilder build @install（它为我生成了一堆*.install文件）构建的opam软件包。不过，我得到以下错误： $ jbuilder install Sorry, you need the opam-installer tool to be able to install or uninstall packages.

2热度

1回答

OPAM和OCaml的安装

我有一些问题，建立我的OCaml的环境设置，和我下面这个页面： https://github.com/realworldocaml/book/wiki/Installation-Instructions 不过，我有一些问题，我解决不了。我在macOS 10.12.5上使用zsh。 Brew安装opam时没有错误或警告。我相信我的问题是环境变量（??）不同步。这里有一些输出，当我运行一些建议的命令：