opam相关内容

Opam 中的图形安装

我正在尝试使用 opam install graphics 安装图形,但出现以下错误留言: $ opam 安装图形将执行以下操作:∗ 安装图形 5.1.1↻ 重新编译ocamlfind 1.9.1 [使用图形]↻ 重新编译 base-bytes base [使用 ocamlfind]↻ 重新编译 ounit2 2.2.4 [使用基字节]↻ 重新编译 ANSITerminal 0.8.2 [使用基 ..
发布时间:2021-06-12 18:34:43 其他开发

无法从 opam 获得最新的why3 版本

我使用的是 Linux Slackware 14.2、opam 版本 1.2.2、ocaml 4.03.0 并想安装 why3 模块.据我在网上看到的why3包的最新版本是1.2.0. 但即使我跑了 opam 更新 它仍然建议我安装why3 1.0.0. 我应该怎么做才能更新包列表? 我如何以 root 身份安装why3 模块系统?是否足够安全? 解决方案 您的 op ..
发布时间:2021-06-12 18:34:22 其他开发

ocaml上的Z3绑定

我当前正在使用ocaml 4.06.0,并且正在尝试使用Z3 sat求解器.我正在使用opam的绿洲来编译文件(这将成功构建所有文件).但是,当我运行生成的本机代码时,出现以下错误:error while loading shared libraries: libz3.so.我尝试重新安装z3软件包,但错误仍然存​​在.有人可以帮我解决这个问题,因为我不知道还能尝试什么? 解决方案 这是我 ..
发布时间:2020-05-19 19:20:51 其他开发

ocaml命令行找不到"topfind"

我已经安装了opam,运行opam init,运行opam switch 4.06.0,在~/.opam内创建了4.06.0目录,运行"eval opam confing env",将$OCAML_TOPLEVEL_PATH导出为~/.opam/4.06.0/lib/toplevel东西,当启动ocaml时,我感到恐惧: $ ocaml OCaml version 4.06. ..
发布时间:2020-05-19 19:19:32 其他开发

ocaml命令行找不到"topfind"

我已经安装了顶层服务器,并设置了$ OCAML_TOPLEVEL_PATH. export OCAML_TOPLEVEL_PATH=/Users/smcho/.opam/system/lib/toplevel 我检查目录是否存在,并且有一个文件topfind. 这是我的~/.ocamlinit文件内容. #use "topfind" #camlp4o #thread #req ..
发布时间:2020-05-19 19:17:11 其他开发

一个简单的OCaml项目的基本Oasis或Opam文件

我是OCaml的新用户.我问了一个问题,以了解如何设置基本的OCaml项目,但我仍然有问题.跳到最后一个TL; DR 例如,我正在尝试学习Irmin.在Irmin的主页上,我看到我必须做 opam install irmin git cohttp 这样做,我最终得到的是Irmin版本0.8.3.不幸的是,我无法遵循他们的示例,因为显然Irmin的版本为0.9.4,并且API似乎已更 ..
发布时间:2020-05-19 19:16:42 其他开发

无法使用opam安装任何东西

我在Mac OS X 10.10上安装了带自制软件的opam.但是我无法使用opam安装任何东西.这是当我尝试安装ocamlfind时获得的示例错误输出: # opam-version 1.2.0 # os darwin # command ./configure -bindir /Users/roger/.opam/system/bin -sitelib /U ..
发布时间:2020-05-19 19:15:57 其他开发

opam升级要降级一堆软件包

我刚刚尝试了"opam升级"并获得了(最终摘要): 1 to install | 59 to reinstall | 3 to upgrade | 34 to downgrade | 0 to remove Do you want to continue ? [Y/n] 降级34个软件包使我感到紧张.为什么要这么做? 一些它想降级的软件包的例子: 将llvm.3.2降级到3. ..
发布时间:2020-05-19 19:15:12 其他开发

模块和包装Ocaml之间的区别

我基本上是在尝试遵循本文中的stackoverflow答案: OCaml中HttpRequest的最佳模块是什么 ,我遇到了问题.当我尝试仅使用 运行单个文件时 open Lwt ;; 我得到了一个错误,并说它是一个未绑定的模块.我已经执行了以下opam指令: opam install lwt ,它确实安装了正确的 package . 因此,我认为问题在于模块 ..
发布时间:2020-05-19 19:15:01 其他开发

基本Ocaml:我该如何编译?

仅从ocaml开始,就在各种编译器和工具方面苦苦挣扎.例如. ocamlopt,ocamlc,ocamlbuild,corebuild等.那么,我该如何编译以下内容? open Core.Std module Regex = Re2.Regex let ls pattern = let pat = Regex.create_exn pattern in let matcher ..
发布时间:2020-05-19 19:14:08 其他开发

是否可以制作一个opam“沙盒"?

我有两个用ocaml 4.02.1编译的ocaml项目.有没有一种方法可以为每个项目创建单独的opam安装,而不是让两个项目都在全局4.02.1 opam交换机中安装其依赖项? 解决方案 在opam中,您可以具有同一编译器的多个安装: opam switch -A 4.02.1 proj1 opam switch -A 4.02.1 proj2 将为每个项目创建两个单独的独立堆栈 ..
发布时间:2020-05-19 19:14:00 其他开发

OCaml:安装后无法运行utop

我正在尝试通过Real World OCaml书来学习OCaml.他们有一个指南,应该由我来安装Core软件包和utop.但是,尽管我似乎可以使用Opam成功安装这两种产品,但是当我尝试使用它们时,它们都不起作用. 我知道它们已安装,因为当我再次尝试安装它们时,会显示以下消息: $ opam install utop core [NOTE] Package utop is alread ..
发布时间:2020-05-19 19:13:42 其他开发

使用opam安装Z3的ocaml API

我想在我的OCaml程序中使用Z3.使用opam,我做到了 $ opam install z3 $ eval $(opam env) 然后尝试使用 进行编译 $ ocamlfind ocamlopt -o main -package z3 -linkpkg main.ml 我得到的是从 开始的数千个In function foo undefined reference to b ..
发布时间:2020-05-19 19:11:26 C/C++开发

OPAM软件包未运行

我已经安装了OPAM并运行初始化并更新了.bashrc代码.然后,我安装了ocamlfind软件包,该软件包成功运行.但是当我尝试 #use "topfind";; 我得到以下内容 Cannot find file topfind 我正在运行从Opensuse 12.2上的源代码构建的ocaml 4.00.1. 解决方案 如果未定义$OCAML_TOPLEVEL_PAT ..
发布时间:2020-05-19 19:09:13 其他开发

llvm OCaml绑定

我正在处理llvm OCaml绑定. 我通过opam(opam install llvm)安装了llvm软件包,当我在utop中使用llvm时,出现以下错误: #require "llvm";; Error: The external function 'llvm_global_succ' is not available. opam llvm版本是3.2. 我还尝试从官方 ..
发布时间:2020-05-02 10:55:35 其他开发

如何使从OPAM安装的库对OCaml可用?

我在OCaml FFI上遵循了本教程并安装了Ctypes通过OPAM: opam install ctypes 但是,OCaml找不到该模块: open Ctypes (* ... *) 我收到错误: Unbound module Ctypes 看起来我需要让OCaml知道我的Ctypes安装在哪里?我是否需要更新一些路径变量以让OCaml查找通过OPAM安装的库? ..
发布时间:2020-04-23 11:31:54 服务器开发