Kompile error on MacOS Sequoia 15.7.1
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 25/100
- Issue 类型
- 缺陷
- 描述清晰度
- 需要澄清
- 活跃度
- 停滞
- 技术栈
- macos
- 领域
- build-system
调研方向
Start by reproducing kompile imp.k on a Mac M4 running Sequoia 15.7.1 with the Homebrew installation. Investigate the reported arm64 linker failure for _table_getArgumentSortsForTag; done means kompile completes successfully instead of returning the shown error.
由索引模型根据 Issue 内容生成。
描述
After my Mac M4 computer updated to Sequoia 15.7.1, the kompile tool displayed the following error message:
% kompile imp.k
Undefined symbols for architecture arm64:
"_table_getArgumentSortsForTag", referenced from:
<initial-undefines>
ld: symbol(s) not found for architecture arm64
clang++: error: linker command failed with exit code 1 (use -v to see invocation)
[Error] Critical: llvm-kompile returned nonzero exit code: 1
Examine output to see errors.
I have installed K using brew.
- 主要语言
- Python
- 星标
- 591
- 派生
- 163
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
runtimeverification/k 的其他 Issue
-
Introduce composable symbolic execution interface in pyx可能重新可做 @Stevengre 于 98 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/k#4939 · 已指派 1 人 ·
-
难度 5/5 一周以上 新手友好度 32/100
runtimeverification/k#4937 ·
-
难度 5/5 一周以上 新手友好度 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofs可能重新可做 @Stevengre 于 104 天前认领，目前没有进行中的 PR。 未关闭type:epic
runtimeverification/k#4934 · 4 条评论 · 已指派 1 人 ·
-
Support progressive depth halving as a generic policy in `Prover.advance_proof`可能重新可做 @Stevengre 于 124 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/k#4924 · 已指派 1 人 ·
查看 runtimeverification/k 的全部 Issue
相似的 Issue
-
namespace operations
难度 1/5 1 小时以内 新手友好度 82/100
EclipseFdn/open-vsx.org#13573 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
collective/icalendar#1854 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
rancher/rancher-ai-agent#412 ·
维护者通常 6 天内回复
-
难度 2/5 1-3 小时 新手友好度 84/100
TUDelftGeodesy/DePSI#134 ·
-
难度 2/5 1-3 小时 新手友好度 88/100
HenriquesLab/rxiv-maker#335 ·