当前位置: 首页 > 知识库问答 >
问题:

使用WSL在Windows 10上安装OCAML(UBUNTU)。bwrap(泡泡包装)的问题

葛修筠
2023-03-14

我是Linux和OCAML的新手。我认为在Windows上使用OCaml并不是直接的。我找到了这个链接:

html" target="_blank">https://www.cs.umd.edu/class/spring2018/cmsc330/ocamlinstallationguide.pdf#page=14&zoom=100,0,96

然而,我怀疑它是一些什么日期的,因为他们提到的4.04是最新的OCaml版本,目前有一个4.07。我进一步怀疑OCaml现在需要bwrap,这就是我的问题和疑问的来源。

opam switch create ocaml-base-compiler.4.07.0,

我想我需要bwrap,并尝试了各种命令,例如:

wget https://mirrors.edge.kernel.org/ubuntu/pool/main/b/bubblewrap/bubblewrap_0.3.1-2_amd64.deb

紧随其后的是:

sudo dpkg -i bubblewrap_0.3.1-2_amd64.deb

安装看起来很好,但我还是得到了错误。我必须承认我不知道bwrap必须安装setuid是什么意思。

最后,我没有和Ubuntu结婚。如果有一个更好/更容易的发行版可以与WSL一起使用,以便安装OCAML,那么我就没有问题了!

谢谢,戴夫

共有1个答案

澹台蕴藉
2023-03-14

这是我所做的让事情运转起来。根据这一评论:

“我想,我可以通过删除~/.opam/config并使用opam init-disable-sandboxing来解决这一问题,但这有点低于理想的用户体验。”

https://github.com/ocaml/opam/issues/3505

发件人:

https://opam.ocaml.org/doc/faq.html#why-does-opam-require-bwrap

我清除了.opam目录并做了一个

 类似资料:
  • 有没有人有同样的困难,但解决了这个问题? 提前谢谢!

  • 我正在尝试为R安装包。我在WSL上使用Ubuntu18.04LTS,Windows Subsystem for Linux。 通过在WSL上的R中调用,我可以很好地安装一些包。然而,其他的包裹似乎给我带来了麻烦。 我尝试的下列方法似乎都不起作用: *我尝试用安装包。 *我尝试从源代码安装到中。 *我尝试从源代码安装到个人库中。 我收到了一个类似这里讨论的错误消息,但是我无法通过编辑来修复该问题,因

  • 我正在尝试用Ubuntu在Linux的Windows子系统上配置。 我也读了以下的帖子,帖子1,帖子2,和其他几个。这些似乎都不能解决我的问题。 任何帮助都将不胜感激。

  • 我想在Windows Subsystem for Linux上安装包(在Windows 10上安装Ubuntu)。首先,我尝试通过安装它,如下所示: 在编译过程中会失败,因为它找不到GTK+库。所以我通过

  • 我安装了JDK(我需要用IzPack编译),现在正在尝试找出哪个路径是我的JAVA_HOME变量的正确路径。 在/usr/lib/jvm中,我有以下内容: java-1.6.0-openjdk-amd64 java-6-openjdk-common java-6-openjdk-amd64 java-7-openjdk-amd64 null

  • 1、安装Nginxapt-get install nginx 装完应该能正常运行了。如果之前有装APACHE要改下端口。。。或者直接apt-get remove apache2 /etc/init.d/nginx stop /etc/init.d/nginx start 2、安装php-cgiapt-get install php-cgi 3、改php-cgi的配置 Ubuntu下是 /etc/p