Visual Studio 2013 ошибка
Верхняя строка моего кода "Название модуля" выдает мне двойное предупреждение: "Каталог поиска" C:\z3-4.3.0-x64\bin\'не найден ". Один для моего файла.fs (F#) и один для некоторого файла FSC. Я считаю, что FSC или имеет какое-то отношение к основному файлу проекта.
Хотя я полагаю, что я мог бы попытаться поместить папку библиотеки z3 в это конкретное место, я действительно не хочу. Я должен локализовать этот проект для мобильности. Я не уверен, что эта строка пути к файлу жестко запрограммирована или она была сгенерирована из-за того, что я спросил мою систему, где подобные вещи должны быть установлены.
Когда я ищу такие вещи, как "Каталог поиска" + "невозможно найти" + visual + studio, я не получаю никаких интересных результатов.
1 ответ
Этот путь не жестко закодирован в Z3 или в F#. Возможно, кто-то добавил его в системные настройки, например, переменную PATH, но это предупреждение не выдает. По имени папки я бы предположил, что кто-то скачал дистрибутив Z3 (.zip) и разархивировал его в C:.
Это может быть только то, что осталось от предыдущих проектов, например, либо в настройках проекта, либо в глобальных настройках Visual Studio. Кажется, что F# ищет модуль, и при этом он обнаруживает, что каталог не существует, что является лишь предупреждением, потому что в конце концов все модули могут быть найдены в другом месте в любом случае.
Что касается 'FSC', это имя компилятора F#, вполне возможно, что это имя появляется в некоторых сообщениях об ошибках и т. Д.