我的代码'模块标题'的顶行给了我一个双重警告"搜索目录'C:z3-4.3.0-x64bin'找不到"。一个用于我的.fs (f#)文件，另一个用于某些FSC文件。我相信FSC与主项目文件有关。
虽然我想我可以尝试在那个特定的位置放置一个z3库文件夹，但我真的不想这样做。为了可移植性，我必须对这个项目进行本地化。我不确定这个文件路径字符串是硬编码的，还是从询问我的系统应该安装的地方生成的。
当我搜索"The search directory"+"could not be found"+ visual + studio时，我没有得到任何有趣的结果。
此路径在Z3或f#中没有硬编码。可能有人将它添加到系统设置中，例如，PATH变量，但这不会产生此警告。根据文件夹名称，我猜想有人下载了Z3发行版(.zip)并将其解压缩到C:.
它实际上只能是以前项目中遗留下来的东西，例如，在项目设置或全局Visual Studio设置中。似乎f#正在搜索一个模块，当这样做时，它发现目录不存在，这只是一个警告，因为最终所有模块都可以在其他地方找到。
关于'FSC'，这是f#编译器的名称，很可能这个名称弹出在一些错误消息等