module - Visual Studio 2013 错误

Question

我的代码“模块标题”的第一行给了我一个双重警告“找不到搜索目录'C:\z3-4.3.0-x64\bin\'”。一个用于我的 .fs (f#) 文件，一个用于某些 FSC 文件。我相信 FSC 是或与主项目文件有关。

虽然我想我可以尝试在该特定位置放置一个 z3 库文件夹，但我真的不想这样做。我必须将此项目本地化以实现可移植性。我不确定该文件路径字符串是否是硬编码的，或者它是否是通过询问我的系统应该安装在哪里而生成的。

当我搜索“搜索目录”+“找不到”+视觉+工作室之类的东西时，我没有得到任何有趣的结果。

Answer 1

此路径未在 Z3 或 F# 中硬编码。可能有人将它添加到系统设置中，例如 PATH 变量，但这不会产生此警告。通过文件夹名称，我猜想有人下载了 Z3 发行版 (.zip) 并将其解压缩到 C: 中。

它实际上只能是以前项目遗留下来的东西，例如，在项目设置或全局 Visual Studio 设置中。似乎 F# 正在搜索一个模块，并且在执行此操作时，它发现该目录不存在，这只是一个警告，因为最终所有模块都可以在其他地方找到。

关于“FSC”，这是 F# 编译器的名称，这个名称很可能会在一些错误消息等中弹出。