腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
opam
init在码头上失败
、
、
我正在尝试
安装
一个简单的
linux
环境,并在码头上
安装
opam
FROM ubuntu:22.04apt-get update -y && \
opam
init 类似的命令在本地
linux
上运行良好,但是对于docker,我得到了一个错
浏览 18
提问于2022-05-19
得票数 2
回答已采纳
1
回答
OPAM
无法识别CREATE子命令
、
按照以下说明操作:eval
opam
env
opam
: unknown command `env`.当我运行
opam
switch create 4.08.0时,它会响应我刚刚完成了最新版本的
Linux
Mint的全新
安装
,
安装
了带有apt的
OPAM
,还使用它
安装
了OCaml。
浏览 18
提问于2019-07-24
得票数 1
2
回答
对本地目录使用ocamlfind
、
、
因为我在工作站上没有超级用户访问权限,所以我在本地将oUnit
安装
到~/ounit中。
浏览 40
提问于2015-10-14
得票数 0
1
回答
opam
init无法验证证书
在完全新鲜的ubuntu18.04 VM上,我尝试
安装
opam
$ mv
opam
-2.1.0-x86_64-
linux
opam
$ ./<e
浏览 9
提问于2021-09-11
得票数 1
1
回答
无法从
opam
获得最新的why3版本
、
我正在使用
Linux
14.2,OpamVersion1.2.2,ocaml 4.03.0,并希望
安装
。据我在互联网上看到的,why3包的最后一个版本是1.2.0。但即使在我跑完之后它仍然建议我
安装
why3 1.0.0。 如何将why3模块系统作为根
安装
?够安全吗?
浏览 0
提问于2019-05-27
得票数 0
2
回答
“'
opam
install uri”失败
、
我正在尝试为
Opam
安装
uri包,但是我总是遇到这个错误。==== ERROR [while installing uri.1.3.8] ====# os
linux
# path /root/.<em
浏览 5
提问于2013-05-20
得票数 1
回答已采纳
1
回答
有没有办法优雅地拒绝在不受支持的操作系统上
安装
opam
软件包?
、
我正在开发一个
opam
软件包,希望将来能在所有的OSes上工作,但目前只建立在
Linux
上。我想告诉一个试图
安装
在例如MacOS上的用户,这个过程不会成功。我在
opam
软件包的描述中见过这样的东西:authors: "Person Maintainerson" "amd64-
linux
浏览 2
提问于2021-07-22
得票数 0
回答已采纳
1
回答
如何告诉vscode哪里是Coq?(修复无法启动coqtop (coqtop))
、
OCaml 4.10.2/Users/brandomiranda/.
opam
有人建议我这样做:但它什么也没做,至少也没解决问题.我确实复制了粘贴: /Users/brandomiranda/.
opam
/__coq-platform.2022.0
浏览 11
提问于2022-03-03
得票数 2
回答已采纳
3
回答
无法使用
opam
安装
ctype
、
我希望在我的Ubuntu 14.04计算机上
安装
ctype。我正在尝试使用
opam
来完成此操作,但失败了。1.2.2# command pkg-config ncurses
浏览 9
提问于2016-05-07
得票数 3
2
回答
告诉OCaml
opam
包在哪里
、
、
我试着从零开始在两台不同的计算机上
安装
它--都是
Linux
-并且两次都遇到了这个问题。[NOTE] Package base is already installed (current version is v0.11.1). $ ocaml -open似乎将所有内容都放在~/.
opam
/包中。如何让OCaml查看随
opam
浏览 15
提问于2020-05-12
得票数 0
回答已采纳
1
回答
Dockerfile映像生成: Dockerfile中的"RUN“将导致部分文件下载,但构建完成时没有出现错误
、
pkg-config RUN ["curl", "-s", "-o", "/usr/local/bin/
opam
", "https://github.com/ocaml/
opam
/releases/download/2.0.6/
opa
浏览 5
提问于2020-04-13
得票数 2
回答已采纳
2
回答
想知道在使用win10 bash时在哪里
安装
了
OPAM
软件包
、
、
、
、
我试图在Windows10中设置OCaml的开发环境,我在bashforwin10中
安装
了OCaml &
OPAM
。然后我
安装
了几个软件包(merlin,ocp-缩进等等)我需要的。()为了完成设置,我必须添加OCaml REPL、
OPAM
、merlin和OCP -缩进的路径。但是我找不到windows文件系统中
安装
的OCaml包。那么,有人知道在使用win 10 bash时在哪里
安装
了Ocaml、
OPAM
和OCaml软件包吗?
浏览 6
提问于2017-08-01
得票数 0
回答已采纳
1
回答
什么是
OPAM
系统编译器?
、
我有两个编译器版本: system I system System compiler (4.02.3)
OPAM
系统编译器是什么?
浏览 0
提问于2017-03-13
得票数 1
回答已采纳
1
回答
Opam
总是被锁文件锁定。
、
我对
opam
和锁文件有问题。chris@chris:~$
opam
upgradeAnother process (19525) has already locked "/home/chris/.
opam
/4.00.1
浏览 0
提问于2013-12-26
得票数 3
回答已采纳
1
回答
如何强制ppx使用OCaml版本?
、
我有下面的OCaml文件,它在没有ppx的情况下正确编译,并在这个dune文件中失败 (name so_proj) (pps ppx_deriving.show ppx_deriving.map ppx_deriving.fold并与之合作 (name so_proj))File "SO_naming_existential.
浏览 2
提问于2022-01-29
得票数 1
1
回答
opam
软件包管理器无人值守的
安装
、
、
在CI环境中
安装
最新版本的
OPAM
( OCaml软件包管理器)的通常方法是什么(例如,Travis )?正式的 shell脚本提示用户输入,并且没有任何命令行选项或环境变量来覆盖它。我也可以从OS软件包管理器(例如
Linux
上的apt )
安装
OPAM
,但它通常不是最新版本。
浏览 0
提问于2018-10-21
得票数 0
回答已采纳
1
回答
在Manjaro上用OCaml版本4.08.1编译Unison2.48.4构建
、
、
、
、
在Manjaro的存储库中,只有Unison2.52和OCaml版本4.13.1可用,并且目前
安装
在我的系统上。 有人能给我一个新手指南如何
安装
和构建两个程序的特定版本吗?我从哪里得到源文件的?
浏览 5
提问于2022-06-03
得票数 1
2
回答
在新的Mac M1机器中找不到存储库时,如何
安装
新版本的Coq?
它的某些部分似乎起作用了:eval $(
opam
env) <><> Required setup - please read <
opam
.-r /Users/brandomiranda/.
opam
/
opam
-init/init.zsh ]] || source /Users/brandomiranda/.
opam</
浏览 5
提问于2022-02-14
得票数 0
1
回答
编译失败: ocamlfind:找不到包‘`xmlm’
、
、
、
、
recette pour la cible « native » a échouée我尝试使用以下命令导出环境:但我也有这样的错误:# os
linux
File /p/opas/
浏览 7
提问于2021-02-10
得票数 0
1
回答
在fedora 25中使用
opam
安装
utop失败
、
当我运行"
opam
install utop“时,在fedora 25中
安装
utop时出现错误。我第一次运行该命令时,
安装
了一些软件包,但不是全部。我再次运行相同的命令,并得到下面的错误消息。1.2.2# command jbuilder build -p lambda-term -j 4 # path /home/se/.
opam
/4.05.0/build/lamb
浏览 28
提问于2018-01-01
得票数 1
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Linux——安装MySql
Linux安装Mysql
Linux系统安装
Linux下MySQL安装
Linux下安装Java
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券