AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / computer / 问题

问题[make](computer)

Martin Hope
Miguel Angel Moreno
Asked: 2024-01-21 18:50:21 +0800 CST

调用“opam install camlidl.1.12”时出现“bwrap:execvp make:没有这样的文件或目录”

  • 5

我尝试使用常用的 OCaml 软件包安装命令在新的 Ubuntu 22 虚拟机中安装camlidl软件包:

$ opam install camlidl.1.12

但我收到了以下错误消息,这是我以前从未见过的:

[ERROR] The compilation of camlidl.1.12 failed at "make all".

#=== ERROR while compiling camlidl.1.12 =======================================#
# context     2.1.2 | linux/x86_64 | ocaml.4.13.1 | https://opam.ocaml.org#28c3ca4d
# path        ~/.opam/default/.opam-switch/build/camlidl.1.12
# command     ~/.opam/opam-init/hooks/sandbox.sh build make all
# exit-code   1
# env-file    ~/.opam/log/camlidl-513510-e00e41.env
# output-file ~/.opam/log/camlidl-513510-e00e41.out
### output ###
# bwrap: execvp make: No such file or directory

我之前曾在同一主机下运行的其他 Ubuntu 22 虚拟机中成功安装过相同的软件包,所以我发现这次安装opam命令失败了,这很奇怪。

该错误消息对我来说也很奇怪,因为我的系统在其标准位置 ( ) 中确实可用 ,并且我可以在同一个系统中成功构建/编译所有依赖于“make”的 C++ 项目,没有任何问题。make/usr/bin/make

这次我们还能犯什么错呢?

make
  • 1 个回答
  • 18 Views
Martin Hope
Camille Goudeseune
Asked: 2021-02-15 11:13:42 +0800 CST

从 Makefile 中模仿“make -j”

  • 6

shell 命令make -j并行运行 Makefile 的命令,这在现代多核 CPU 上很有用。可以从 Makefile 中调用这种并行性吗?

从 Gnu make 的手册中,我最好的猜测是使用主 Makefile 作为一个包装器,它传递-j给一个真正工作的子 make。但也许有一些环境变量或点文件或内部变量或其他无法使用的史努比咒骂方式来做到这一点。

可以限制作业的数量,例如。-j $$(nproc).

可能是Linux,但不一定。

(添加类似alias make='make -j'~/.bashrc 的东西太危险了;是否并行化的决定应该是每个 Makefile,而不是每个用户。)

shell make
  • 1 个回答
  • 125 Views
Martin Hope
user2741831
Asked: 2019-07-16 08:09:37 +0800 CST

如何将管道命令传递给终端-e?

  • 5

我想创建一个快捷方式,它在新终端中显示我命令的输出并同时将其写入日志文件。
我使用终端 -e(或 urxvt -e)来运行以下命令:

terminal -e make -j4 | tee log.log

但问题是,它将管道解释为本地管道,而不是将其定向到新终端。但是当我使用

terminal -e "make -j4 | tee log.log"

它接缝解释| 作为一个角色。evenm 当我用 \| 转义它时。
那么这里的解决方案是什么?我只是想在新的终端窗口中运行管道命令

terminal make
  • 1 个回答
  • 63 Views
Martin Hope
Sergei Morozov
Asked: 2019-05-05 13:02:12 +0800 CST

如果输出是通过管道传输的,为什么 make 会忽略转义序列

  • 10

在 Makefile 中,我想打印一个表示为十六进制数的字节,并将其传递给另一个程序的 STDIN。由于某种原因,它不起作用:

without-pipe:
    @printf '\x66\x6f\x6f'

with-bash-and-pipe:
    @/bin/bash -c "printf '\x66\x6f\x6f' | cat"

with-pipe:
    @printf '\x66\x6f\x6f' | cat

运行这个文件会产生:

$ make without-pipe 
foo

$ make with-bash-and-pipe 
foo

$ make with-pipe 
\x66\x6f\x6f

make我缺少什么功能以及使最后一个目标产生相同输出的正确方法是什么。一个with-bash-and-pipe是一种解决方法。

pipe make
  • 1 个回答
  • 208 Views
Martin Hope
SomeT
Asked: 2019-04-11 10:12:07 +0800 CST

如何在 Windows 10 中找到“make”的安装目录?

  • 0

如何在 Windows 10 中找到“make”的安装目录?

我在命令行上输入它,make所以我知道它确实已安装。

我在 Windows 10 设置的应用程序中找不到它。

我无法通过手动查看我的环境变量找到它。

有没有我可以在 make 中输入的命令来确定它在我的系统上的安装位置?

windows-10 windows make
  • 2 个回答
  • 61 Views

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    如何减少“vmmem”进程的消耗?

    • 11 个回答
  • Marko Smith

    从 Microsoft Stream 下载视频

    • 4 个回答
  • Marko Smith

    Google Chrome DevTools 无法解析 SourceMap:chrome-extension

    • 6 个回答
  • Marko Smith

    Windows 照片查看器因为内存不足而无法运行?

    • 5 个回答
  • Marko Smith

    支持结束后如何激活 WindowsXP?

    • 6 个回答
  • Marko Smith

    远程桌面间歇性冻结

    • 7 个回答
  • Marko Smith

    子网掩码 /32 是什么意思?

    • 6 个回答
  • Marko Smith

    鼠标指针在 Windows 中按下的箭头键上移动?

    • 1 个回答
  • Marko Smith

    VirtualBox 无法以 VERR_NEM_VM_CREATE_FAILED 启动

    • 8 个回答
  • Marko Smith

    应用程序不会出现在 MacBook 的摄像头和麦克风隐私设置中

    • 5 个回答
  • Martin Hope
    Vickel Firefox 不再允许粘贴到 WhatsApp 网页中? 2023-08-18 05:04:35 +0800 CST
  • Martin Hope
    Saaru Lindestøkke 为什么使用 Python 的 tar 库时 tar.xz 文件比 macOS tar 小 15 倍? 2021-03-14 09:37:48 +0800 CST
  • Martin Hope
    CiaranWelsh 如何减少“vmmem”进程的消耗? 2020-06-10 02:06:58 +0800 CST
  • Martin Hope
    Jim Windows 10 搜索未加载,显示空白窗口 2020-02-06 03:28:26 +0800 CST
  • Martin Hope
    andre_ss6 远程桌面间歇性冻结 2019-09-11 12:56:40 +0800 CST
  • Martin Hope
    Riley Carney 为什么在 URL 后面加一个点会删除登录信息? 2019-08-06 10:59:24 +0800 CST
  • Martin Hope
    zdimension 鼠标指针在 Windows 中按下的箭头键上移动? 2019-08-04 06:39:57 +0800 CST
  • Martin Hope
    jonsca 我所有的 Firefox 附加组件突然被禁用了,我该如何重新启用它们? 2019-05-04 17:58:52 +0800 CST
  • Martin Hope
    MCK 是否可以使用文本创建二维码? 2019-04-02 06:32:14 +0800 CST
  • Martin Hope
    SoniEx2 更改 git init 默认分支名称 2019-04-01 06:16:56 +0800 CST

热门标签

windows-10 linux windows microsoft-excel networking ubuntu worksheet-function bash command-line hard-drive

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve