Visual Studio 2013錯誤

Question

我的代碼'模塊標題'的第一行給了我一個雙重警告「找不到搜索目錄'C：\ z3-4.3.0-x64 \ bin \'」。一個用於我的.fs（f＃）文件，另一個用於某些FSC文件。我相信FSC與主要項目文件有關或與之有關。

雖然我想我可以嘗試將z3庫文件夾放在該特定位置，但我真的不想。我必須將此項目本地化以實現可移植性。我不確定該文件路徑字符串是否是硬編碼的，或者它是從詢問我的系統應該在哪裏安裝的。

當我搜索諸如「搜索目錄」+「無法找到」+ visual + studio之類的東西時，我沒有得到任何有趣的結果。

Answer 1

此路徑在Z3或F＃中未硬編碼。有人可能會將其添加到系統設置中，例如PATH變量，但不會產生此警告。通過文件夾名稱，我猜想有人下載了Z3發行版（.zip）並將其解壓縮到C：中。

它實際上只能是以前項目遺留下來的東西，例如在項目設置或全局Visual Studio設置中。看來F＃正在搜索一個模塊，並在做這件事時發現該目錄不存在，這只是一個警告，因爲最後所有模塊都可以在別處找到。

關於'FSC'，這是F＃編譯器的名字，很有可能這個名字會彈出一些錯誤消息等。