You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

Mac OS X运行KING工具出现dyld: __ZdaPvm符号缺失错误求助

Fixing dyld Symbol Not Found Error for KING Tool on Mac OS X

Let's break down this error and walk through actionable fixes to get KING running properly.

First, the error dyld: Symbol not found: __ZdaPvm stems from a C++ standard library mismatch. The KING binary you’re using was compiled for Mac OS X 10.13, which relied on an older version of libstdc++.6.dylib. But modern Mac OS versions (like Big Sur and later) default to libc++ as the C++ standard library, creating a compatibility gap that triggers this linking error.

Here are the most reliable solutions:

  • Install GCC (with matching libstdc++) and run KING with the correct library path
    Homebrew’s GCC package includes a compatible libstdc++ that works with older binaries like your KING build:

    1. Install GCC via Homebrew:
      brew install gcc
      
    2. Find the path to GCC’s libstdc++ (replace 13 with your installed GCC version—check with gcc --version):
      /usr/local/opt/gcc/lib/gcc/13/
      
    3. Run KING while pointing to this library path:
      DYLD_LIBRARY_PATH=/usr/local/opt/gcc/lib/gcc/13 ./king -b ./ex/ex.bed
      
  • Recompile KING from source (most permanent fix)
    Compiling KING directly on your system ensures it uses your Mac’s native C++ libraries, eliminating version mismatches entirely:

    1. Download the KING source code from its official release repository.
    2. Unzip the source package and navigate to the directory in Terminal.
    3. Run the compile command (typically make):
      make
      
    4. Use the newly built king executable for your command—it should work without linking errors.
  • Temporarily adjust library loading priority (quick workaround)
    If you have access to an older version of libstdc++.6.dylib (from Mac OS X 10.13 or a compatible release), you can tell dyld to load it first:

    DYLD_FALLBACK_LIBRARY_PATH=/path/to/older/libstdc++ ./king -b ./ex/ex.bed
    

    Note: This is a temporary fix and might cause conflicts with other apps, so only use it for running KING specifically.

内容的提问来源于stack exchange,提问作者Carmen Sandoval

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.05.27 06:28:18