用于 c++ 中的 m1 MacBook Pro 的 vscode，包括 z3 求解器库

Question

I used vim + g++ for c++ before I found vscode for m1 Mac with c++ be valid, now I already setting the .json , I can print HelloWorld and it's also can find the title include, but now I got a trouble with z3 solver,它是带有 c++ 的第三个库，我可以在 vim+(g++) 中使用它，但是在 vscode 中，我找不到库的路径，我已经在task.json参数中设置了路径，但它仍然不起作用，我'我对它很困惑，因为比起 vim，我更喜欢 vscode。

这是我的task.json

c_cpp_properties.json

这是 z3 求解器示例的代码，我已经在 include ""中显示了路径

Answer 1

好的，但是整个代码太大了，我只是复制了 header 和 output 是这个在此处输入图像描述

架构 arm64 的未定义符号，我已经在 task.json 的 args 中设置了“-l”“dylib 路径”，但我没有在命令中看到该工作，这是命令 output cd“/Users/chiyeh/Desktop/train /" && g++ ccc.cpp -o ccc && "/Users/chiyeh/Desktop/train/"ccc