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 # 컴파일러의 이름입니다.이 이름이 일부 오류 메시지 등에서 나타날 수 있습니다.