将z3构建为静态库而不是DLL

Question

如何将Z3构建为静态库？我看到有

--staticlib build Z3 static library.

在python mk_util.py中，但它似乎没有做任何事情。 它仍然创建了dll（大约11Mb）和没有所有代码的lib，因为它只有145Kb。

谢谢

Answer 1

是的，这是一个已知问题。尝试删除.lib和.dll并再次运行nmake。在某些情况下，它第二次工作。

编辑：我在问题跟踪器中添加了一个新条目，因此我们不会忘记解决此问题（here）。